| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.GI.Base.ShortPrelude
Description
The Haskell Prelude exports a number of symbols that can easily collide with functions appearing in bindings. The generated code requires just a small subset of the functions in the Prelude, together with some of the functionality in Data.GI.Base, we reexport this explicitly here.
Synopsis
- data Char
- ord :: Char -> Int
- chr :: Int -> Char
- data Int
- data Int32
- data Int64
- data Int8
- data Int16
- data Word8
- data Word32
- data Word64
- data Word16
- data ByteString
- newtype CInt = CInt Int32
- newtype CUInt = CUInt Word32
- type CString = Ptr CChar
- newtype CFloat = CFloat Float
- newtype CDouble = CDouble Double
- newtype CLong = CLong Int32
- newtype CULong = CULong Word32
- newtype CIntPtr = CIntPtr Int32
- newtype CUIntPtr = CUIntPtr Word32
- data Ptr a
- plusPtr :: Ptr a -> Int -> Ptr b
- nullPtr :: Ptr a
- data FunPtr a
- castFunPtrToPtr :: FunPtr a -> Ptr b
- castPtrToFunPtr :: Ptr a -> FunPtr b
- data ForeignPtr a
- unsafeForeignPtrToPtr :: ForeignPtr a -> Ptr a
- peek :: Storable a => Ptr a -> IO a
- poke :: Storable a => Ptr a -> a -> IO ()
- sizeOf :: Storable a => a -> Int
- (<$>) :: Functor f => (a -> b) -> f a -> f b
- onException :: IO a -> IO b -> IO a
- class Monad m => MonadIO (m :: Type -> Type) where
- data AttrOp obj (tag :: AttrOpTag) where
- (:=) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy attr -> b -> AttrOp obj tag
- (:=>) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy attr -> IO b -> AttrOp obj tag
- (:~) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b a. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, AttrSetTypeConstraint info b, a ~ AttrGetType info) => AttrLabelProxy attr -> (a -> b) -> AttrOp obj tag
- (:~>) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b a. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, AttrSetTypeConstraint info b, a ~ AttrGetType info) => AttrLabelProxy attr -> (a -> IO b) -> AttrOp obj tag
- (:&=) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrTransferTypeConstraint info b, AttrSetTypeConstraint info (AttrTransferType info)) => AttrLabelProxy attr -> b -> AttrOp obj tag
- (:!<~) :: forall obj info (attr :: Symbol) (tag1 :: AttrOpTag) b model (tag :: AttrOpTag). (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag1 info obj, AttrSetTypeConstraint info b, ?_haskell_gi_modelProxy :: ModelProxy model) => AttrLabelProxy attr -> DynVal model b -> AttrOp obj tag
- (:<~) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b model. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b, AttrOpAllowed 'AttrGet info obj, EqMaybe b (AttrGetType info), ?_haskell_gi_modelProxy :: ModelProxy model) => AttrLabelProxy attr -> DynVal model b -> AttrOp obj tag
- Bind :: forall obj info (propName :: Symbol) (tag :: AttrOpTag) model outType (components :: [Symbol]) (fieldName :: Symbol). (HasAttributeList obj, GObject obj, info ~ ResolveAttribute propName obj, AttrInfo info, KnownSymbol (AttrLabel info), AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrOpAllowed 'AttrPut info obj, ?_haskell_gi_modelProxy :: ModelProxy model, outType ~ AttrGetType info, AttrSetTypeConstraint info outType, components ~ Components fieldName, PathFieldAccess components model outType, KnownSymbol fieldName, Eq outType) => AttrLabelProxy propName -> AttrLabelProxy fieldName -> AttrOp obj tag
- On :: forall obj info (tag :: AttrOpTag). (GObject obj, SignalInfo info) => SignalProxy obj info -> ((?self :: obj) => HaskellCallbackType info) -> AttrOp obj tag
- After :: forall obj info (tag :: AttrOpTag). (GObject obj, SignalInfo info) => SignalProxy obj info -> ((?self :: obj) => HaskellCallbackType info) -> AttrOp obj tag
- class AttrInfo info where
- type AttrAllowedOps info :: [AttrOpTag]
- type AttrBaseTypeConstraint info :: Type -> Constraint
- type AttrGetType info
- type AttrSetTypeConstraint info :: Type -> Constraint
- type AttrTransferTypeConstraint info :: Type -> Constraint
- type AttrTransferType info
- type AttrLabel info :: Symbol
- type AttrOrigin info
- attrGet :: AttrBaseTypeConstraint info o => o -> IO (AttrGetType info)
- attrSet :: (AttrBaseTypeConstraint info o, AttrSetTypeConstraint info b) => o -> b -> IO ()
- attrClear :: AttrBaseTypeConstraint info o => o -> IO ()
- attrConstruct :: (AttrBaseTypeConstraint info o, AttrSetTypeConstraint info b) => b -> IO (GValueConstruct o)
- attrTransfer :: (AttrBaseTypeConstraint info o, AttrTransferTypeConstraint info b) => Proxy o -> b -> IO (AttrTransferType info)
- attrPut :: AttrBaseTypeConstraint info o => o -> AttrGetType info -> IO ()
- dbgAttrInfo :: Maybe ResolvedSymbolInfo
- data AttrOpTag
- type family AttrOpAllowed (tag :: AttrOpTag) info useType where ...
- type AttrGetC info obj (attr :: Symbol) result = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrGet info obj, result ~ AttrGetType info)
- type AttrSetC info obj (attr :: Symbol) value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrSet info obj, AttrSetTypeConstraint info value)
- type AttrConstructC info obj (attr :: Symbol) value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrConstruct info obj, AttrSetTypeConstraint info value)
- type AttrClearC info obj (attr :: Symbol) = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrClear info obj)
- clear :: forall info (attr :: Symbol) obj m. (AttrClearC info obj attr, MonadIO m) => obj -> AttrLabelProxy attr -> m ()
- data AttrLabelProxy (a :: Symbol) = AttrLabelProxy
- resolveAttr :: forall info (attr :: Symbol) obj. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info) => obj -> AttrLabelProxy attr -> Maybe ResolvedSymbolInfo
- bindPropToField :: forall o info (prop :: Symbol) (field :: Symbol) model outType (tag :: AttrOpTag) (components :: [Symbol]). (HasAttributeList o, GObject o, info ~ ResolveAttribute prop o, AttrInfo info, KnownSymbol (AttrLabel info), AttrBaseTypeConstraint info o, AttrOpAllowed tag info o, AttrOpAllowed 'AttrPut info o, ?_haskell_gi_modelProxy :: ModelProxy model, outType ~ AttrGetType info, AttrSetTypeConstraint info outType, components ~ Components field, PathFieldAccess components model outType, KnownSymbol field, Eq outType) => Proxy tag -> o -> AttrLabelProxy prop -> AttrLabelProxy field -> IO ()
- class EqMaybe a b where
- type family AttrLabel info :: Symbol
- type family AttrGetType info
- type family AttrBaseTypeConstraint info :: Type -> Constraint
- type family AttrAllowedOps info :: [AttrOpTag]
- type family AttrSetTypeConstraint info :: Type -> Constraint
- type family AttrTransferTypeConstraint info :: Type -> Constraint
- type family AttrTransferType info
- type family AttrOrigin info
- module Data.GI.Base.BasicTypes
- module Data.GI.Base.BasicConversions
- data GClosure a
- module Data.GI.Base.Constructible
- module Data.GI.Base.GError
- module Data.GI.Base.GHashTable
- module Data.GI.Base.GParamSpec
- module Data.GI.Base.GObject
- module Data.GI.Base.GVariant
- module Data.GI.Base.GValue
- module Data.GI.Base.ManagedPtr
- class SignalInfo info where
- type HaskellCallbackType info
- connectSignal :: GObject o => o -> (o -> HaskellCallbackType info) -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId
- dbgSignalInfo :: Maybe ResolvedSymbolInfo
- data SignalConnectMode
- connectSignalFunPtr :: GObject o => o -> Text -> FunPtr a -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId
- type SignalHandlerId = CULong
- data GObjectNotifySignalInfo
- type family HaskellCallbackType info
- module Data.GI.Base.Utils
- data Symbol
- class Enum a where
- class Show a where
- class Eq a where
- data IO a
- class Applicative m => Monad (m :: Type -> Type) where
- data Maybe a
- (.) :: (b -> c) -> (a -> b) -> a -> c
- ($) :: (a -> b) -> a -> b
- (++) :: [a] -> [a] -> [a]
- (=<<) :: Monad m => (a -> m b) -> m a -> m b
- (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- data Bool
- data Float
- data Double
- undefined :: HasCallStack => a
- error :: HasCallStack => [Char] -> a
- map :: (a -> b) -> [a] -> [b]
- length :: Foldable t => t a -> Int
- mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
- mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()
- when :: Applicative f => Bool -> f () -> f ()
- fromIntegral :: (Integral a, Num b) => a -> b
- realToFrac :: (Real a, Fractional b) => a -> b
- class a ~# b => (a :: k) ~ (b :: k)
Documentation
Instances
| IsChar Char | |||||
| PrintfArg Char | |||||
Defined in Text.Printf | |||||
| Bounded Char | |||||
Defined in GHC.Internal.Enum | |||||
| Enum Char | |||||
| Storable Char | |||||
Defined in GHC.Internal.Foreign.Storable | |||||
| Show Char | |||||
| Eq Char | |||||
| Ord Char | |||||
| TestCoercion SChar | |||||
Defined in GHC.Internal.TypeLits Methods testCoercion :: forall (a :: Char) (b :: Char). SChar a -> SChar b -> Maybe (Coercion a b) | |||||
| TestEquality SChar | |||||
Defined in GHC.Internal.TypeLits Methods testEquality :: forall (a :: Char) (b :: Char). SChar a -> SChar b -> Maybe (a :~: b) | |||||
| Generic1 (URec Char :: k -> Type) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Foldable (UChar :: Type -> Type) | |||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => UChar m -> m foldMap :: Monoid m => (a -> m) -> UChar a -> m foldMap' :: Monoid m => (a -> m) -> UChar a -> m foldr :: (a -> b -> b) -> b -> UChar a -> b foldr' :: (a -> b -> b) -> b -> UChar a -> b foldl :: (b -> a -> b) -> b -> UChar a -> b foldl' :: (b -> a -> b) -> b -> UChar a -> b foldr1 :: (a -> a -> a) -> UChar a -> a foldl1 :: (a -> a -> a) -> UChar a -> a toList :: UChar a -> [a] elem :: Eq a => a -> UChar a -> Bool maximum :: Ord a => UChar a -> a minimum :: Ord a => UChar a -> a sum :: Num a => UChar a -> a product :: Num a => UChar a -> a | |||||
| Traversable (UChar :: Type -> Type) | |||||
| IsGValue (Maybe String) Source # | |||||
Defined in Data.GI.Base.GValue | |||||
| Functor (URec Char :: Type -> Type) | |||||
| Generic (URec Char p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Show (URec Char p) | |||||
| Eq (URec Char p) | |||||
| Ord (URec Char p) | |||||
Defined in GHC.Internal.Generics | |||||
| data URec Char (p :: k) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep1 (URec Char :: k -> Type) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep (URec Char p) | |||||
Defined in GHC.Internal.Generics | |||||
Instances
| PrintfArg Int | |||||
Defined in Text.Printf | |||||
| Bits Int | |||||
Defined in GHC.Internal.Bits Methods complement :: Int -> Int complementBit :: Int -> Int -> Int bitSizeMaybe :: Int -> Maybe Int unsafeShiftL :: Int -> Int -> Int unsafeShiftR :: Int -> Int -> Int | |||||
| FiniteBits Int | |||||
Defined in GHC.Internal.Bits | |||||
| Bounded Int | |||||
Defined in GHC.Internal.Enum | |||||
| Enum Int | |||||
| Storable Int | |||||
Defined in GHC.Internal.Foreign.Storable | |||||
| Num Int | |||||
| Integral Int | |||||
| Real Int | |||||
Defined in GHC.Internal.Real Methods toRational :: Int -> Rational | |||||
| Show Int | |||||
| Eq Int | |||||
| Ord Int | |||||
| Each Int (IntMap a) (IntMap b) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (IntMap a) (IntMap b) a b Source # | |||||
| Each Int (Seq a) (Seq b) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (Seq a) (Seq b) a b Source # | |||||
| Each Int (NonEmpty a) (NonEmpty b) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (NonEmpty a) (NonEmpty b) a b Source # | |||||
| Each Int [a] [b] a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int [a] [b] a b Source # | |||||
| Generic1 (URec Int :: k -> Type) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| (a ~ a1, b ~ b1) => Each Int (a, a1) (b, b1) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1) (b, b1) a b Source # | |||||
| (a ~ a1, a ~ a2, b ~ b1, b ~ b2) => Each Int (a, a1, a2) (b, b1, b2) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2) (b, b1, b2) a b Source # | |||||
| (a ~ a1, a ~ a2, a ~ a3, b ~ b1, b ~ b2, b ~ b3) => Each Int (a, a1, a2, a3) (b, b1, b2, b3) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2, a3) (b, b1, b2, b3) a b Source # | |||||
| (a ~ a1, a ~ a2, a ~ a3, a ~ a4, b ~ b1, b ~ b2, b ~ b3, b ~ b4) => Each Int (a, a1, a2, a3, a4) (b, b1, b2, b3, b4) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2, a3, a4) (b, b1, b2, b3, b4) a b Source # | |||||
| (a ~ a1, a ~ a2, a ~ a3, a ~ a4, a ~ a5, b ~ b1, b ~ b2, b ~ b3, b ~ b4, b ~ b5) => Each Int (a, a1, a2, a3, a4, a5) (b, b1, b2, b3, b4, b5) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2, a3, a4, a5) (b, b1, b2, b3, b4, b5) a b Source # | |||||
| (a ~ a1, a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, b ~ b1, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6) => Each Int (a, a1, a2, a3, a4, a5, a6) (b, b1, b2, b3, b4, b5, b6) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2, a3, a4, a5, a6) (b, b1, b2, b3, b4, b5, b6) a b Source # | |||||
| (a ~ a1, a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, a ~ a7, b ~ b1, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6, b ~ b7) => Each Int (a, a1, a2, a3, a4, a5, a6, a7) (b, b1, b2, b3, b4, b5, b6, b7) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2, a3, a4, a5, a6, a7) (b, b1, b2, b3, b4, b5, b6, b7) a b Source # | |||||
| (a ~ a1, a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, a ~ a7, a ~ a8, b ~ b1, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6, b ~ b7, b ~ b8) => Each Int (a, a1, a2, a3, a4, a5, a6, a7, a8) (b, b1, b2, b3, b4, b5, b6, b7, b8) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2, a3, a4, a5, a6, a7, a8) (b, b1, b2, b3, b4, b5, b6, b7, b8) a b Source # | |||||
| (a ~ a1, a ~ a2, a ~ a3, a ~ a4, a ~ a5, a ~ a6, a ~ a7, a ~ a8, a ~ a9, b ~ b1, b ~ b2, b ~ b3, b ~ b4, b ~ b5, b ~ b6, b ~ b7, b ~ b8, b ~ b9) => Each Int (a, a1, a2, a3, a4, a5, a6, a7, a8, a9) (b, b1, b2, b3, b4, b5, b6, b7, b8, b9) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal Int (a, a1, a2, a3, a4, a5, a6, a7, a8, a9) (b, b1, b2, b3, b4, b5, b6, b7, b8, b9) a b Source # | |||||
| Foldable (UInt :: Type -> Type) | |||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => UInt m -> m foldMap :: Monoid m => (a -> m) -> UInt a -> m foldMap' :: Monoid m => (a -> m) -> UInt a -> m foldr :: (a -> b -> b) -> b -> UInt a -> b foldr' :: (a -> b -> b) -> b -> UInt a -> b foldl :: (b -> a -> b) -> b -> UInt a -> b foldl' :: (b -> a -> b) -> b -> UInt a -> b foldr1 :: (a -> a -> a) -> UInt a -> a foldl1 :: (a -> a -> a) -> UInt a -> a toList :: UInt a -> [a] elem :: Eq a => a -> UInt a -> Bool maximum :: Ord a => UInt a -> a minimum :: Ord a => UInt a -> a sum :: Num a => UInt a -> a product :: Num a => UInt a -> a | |||||
| Traversable (UInt :: Type -> Type) | |||||
| Each [Int] (Tree a) (Tree b) a b |
| ||||
Defined in Optics.Each.Core Methods each :: IxTraversal [Int] (Tree a) (Tree b) a b Source # | |||||
| Functor (URec Int :: Type -> Type) | |||||
| Generic (URec Int p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Show (URec Int p) | |||||
| Eq (URec Int p) | |||||
| Ord (URec Int p) | |||||
| data URec Int (p :: k) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep1 (URec Int :: k -> Type) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep (URec Int p) | |||||
Defined in GHC.Internal.Generics | |||||
Instances
Instances
Instances
| PrintfArg Int8 | |
Defined in Text.Printf | |
| Bits Int8 | |
Defined in GHC.Internal.Int | |
| FiniteBits Int8 | |
Defined in GHC.Internal.Int Methods finiteBitSize :: Int8 -> Int countLeadingZeros :: Int8 -> Int countTrailingZeros :: Int8 -> Int | |
| Bounded Int8 | |
Defined in GHC.Internal.Int | |
| Enum Int8 | |
| Storable Int8 | |
Defined in GHC.Internal.Foreign.Storable | |
| Ix Int8 | |
| Num Int8 | |
| Read Int8 | |
Defined in GHC.Internal.Int | |
| Integral Int8 | |
| Real Int8 | |
Defined in GHC.Internal.Int Methods toRational :: Int8 -> Rational | |
| Show Int8 | |
| Eq Int8 | |
| Ord Int8 | |
Instances
Instances
Instances
Instances
Instances
data ByteString #
Instances
Instances
| Bits CInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| FiniteBits CInt | |
Defined in GHC.Internal.Foreign.C.Types Methods finiteBitSize :: CInt -> Int countLeadingZeros :: CInt -> Int countTrailingZeros :: CInt -> Int | |
| Bounded CInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CInt | |
| Storable CInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| Ix CInt | |
| Num CInt | |
| Read CInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| Integral CInt | |
| Real CInt | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CInt -> Rational | |
| Show CInt | |
| Eq CInt | |
| Ord CInt | |
| IsGValue CInt Source # | |
Defined in Data.GI.Base.GValue | |
Instances
| Bits CUInt | |
Defined in GHC.Internal.Foreign.C.Types Methods (.&.) :: CUInt -> CUInt -> CUInt (.|.) :: CUInt -> CUInt -> CUInt xor :: CUInt -> CUInt -> CUInt complement :: CUInt -> CUInt shift :: CUInt -> Int -> CUInt rotate :: CUInt -> Int -> CUInt setBit :: CUInt -> Int -> CUInt clearBit :: CUInt -> Int -> CUInt complementBit :: CUInt -> Int -> CUInt testBit :: CUInt -> Int -> Bool bitSizeMaybe :: CUInt -> Maybe Int shiftL :: CUInt -> Int -> CUInt unsafeShiftL :: CUInt -> Int -> CUInt shiftR :: CUInt -> Int -> CUInt unsafeShiftR :: CUInt -> Int -> CUInt rotateL :: CUInt -> Int -> CUInt | |
| FiniteBits CUInt | |
Defined in GHC.Internal.Foreign.C.Types Methods finiteBitSize :: CUInt -> Int countLeadingZeros :: CUInt -> Int countTrailingZeros :: CUInt -> Int | |
| Bounded CUInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CUInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| Storable CUInt | |
| Ix CUInt | |
| Num CUInt | |
| Read CUInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| Integral CUInt | |
| Real CUInt | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CUInt -> Rational | |
| Show CUInt | |
| Eq CUInt | |
| Ord CUInt | |
| IsGValue CUInt Source # | |
Defined in Data.GI.Base.GValue | |
Instances
| Enum CFloat | |
Defined in GHC.Internal.Foreign.C.Types | |
| Floating CFloat | |
| RealFloat CFloat | |
Defined in GHC.Internal.Foreign.C.Types Methods floatRadix :: CFloat -> Integer floatDigits :: CFloat -> Int floatRange :: CFloat -> (Int, Int) decodeFloat :: CFloat -> (Integer, Int) encodeFloat :: Integer -> Int -> CFloat significand :: CFloat -> CFloat scaleFloat :: Int -> CFloat -> CFloat isInfinite :: CFloat -> Bool isDenormalized :: CFloat -> Bool isNegativeZero :: CFloat -> Bool | |
| Storable CFloat | |
| Num CFloat | |
| Read CFloat | |
Defined in GHC.Internal.Foreign.C.Types | |
| Fractional CFloat | |
Defined in GHC.Internal.Foreign.C.Types | |
| Real CFloat | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CFloat -> Rational | |
| RealFrac CFloat | |
| Show CFloat | |
| Eq CFloat | |
| Ord CFloat | |
Instances
| Enum CDouble | |
Defined in GHC.Internal.Foreign.C.Types | |
| Floating CDouble | |
| RealFloat CDouble | |
Defined in GHC.Internal.Foreign.C.Types Methods floatRadix :: CDouble -> Integer floatDigits :: CDouble -> Int floatRange :: CDouble -> (Int, Int) decodeFloat :: CDouble -> (Integer, Int) encodeFloat :: Integer -> Int -> CDouble significand :: CDouble -> CDouble scaleFloat :: Int -> CDouble -> CDouble isInfinite :: CDouble -> Bool isDenormalized :: CDouble -> Bool isNegativeZero :: CDouble -> Bool | |
| Storable CDouble | |
| Num CDouble | |
| Read CDouble | |
Defined in GHC.Internal.Foreign.C.Types | |
| Fractional CDouble | |
Defined in GHC.Internal.Foreign.C.Types | |
| Real CDouble | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CDouble -> Rational | |
| RealFrac CDouble | |
| Show CDouble | |
| Eq CDouble | |
| Ord CDouble | |
Instances
| Bits CLong | |
Defined in GHC.Internal.Foreign.C.Types Methods (.&.) :: CLong -> CLong -> CLong (.|.) :: CLong -> CLong -> CLong xor :: CLong -> CLong -> CLong complement :: CLong -> CLong shift :: CLong -> Int -> CLong rotate :: CLong -> Int -> CLong setBit :: CLong -> Int -> CLong clearBit :: CLong -> Int -> CLong complementBit :: CLong -> Int -> CLong testBit :: CLong -> Int -> Bool bitSizeMaybe :: CLong -> Maybe Int shiftL :: CLong -> Int -> CLong unsafeShiftL :: CLong -> Int -> CLong shiftR :: CLong -> Int -> CLong unsafeShiftR :: CLong -> Int -> CLong rotateL :: CLong -> Int -> CLong | |
| FiniteBits CLong | |
Defined in GHC.Internal.Foreign.C.Types Methods finiteBitSize :: CLong -> Int countLeadingZeros :: CLong -> Int countTrailingZeros :: CLong -> Int | |
| Bounded CLong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CLong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Storable CLong | |
| Ix CLong | |
| Num CLong | |
| Read CLong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Integral CLong | |
| Real CLong | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CLong -> Rational | |
| Show CLong | |
| Eq CLong | |
| Ord CLong | |
| IsGValue CLong Source # | |
Defined in Data.GI.Base.GValue | |
Instances
| Bits CULong | |
Defined in GHC.Internal.Foreign.C.Types Methods (.&.) :: CULong -> CULong -> CULong (.|.) :: CULong -> CULong -> CULong xor :: CULong -> CULong -> CULong complement :: CULong -> CULong shift :: CULong -> Int -> CULong rotate :: CULong -> Int -> CULong setBit :: CULong -> Int -> CULong clearBit :: CULong -> Int -> CULong complementBit :: CULong -> Int -> CULong testBit :: CULong -> Int -> Bool bitSizeMaybe :: CULong -> Maybe Int shiftL :: CULong -> Int -> CULong unsafeShiftL :: CULong -> Int -> CULong shiftR :: CULong -> Int -> CULong unsafeShiftR :: CULong -> Int -> CULong rotateL :: CULong -> Int -> CULong | |
| FiniteBits CULong | |
Defined in GHC.Internal.Foreign.C.Types Methods finiteBitSize :: CULong -> Int countLeadingZeros :: CULong -> Int countTrailingZeros :: CULong -> Int | |
| Bounded CULong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CULong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Storable CULong | |
| Ix CULong | |
| Num CULong | |
| Read CULong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Integral CULong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Real CULong | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CULong -> Rational | |
| Show CULong | |
| Eq CULong | |
| Ord CULong | |
| IsGValue CULong Source # | |
Defined in Data.GI.Base.GValue | |
Instances
| Bits CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types Methods (.&.) :: CIntPtr -> CIntPtr -> CIntPtr (.|.) :: CIntPtr -> CIntPtr -> CIntPtr xor :: CIntPtr -> CIntPtr -> CIntPtr complement :: CIntPtr -> CIntPtr shift :: CIntPtr -> Int -> CIntPtr rotate :: CIntPtr -> Int -> CIntPtr setBit :: CIntPtr -> Int -> CIntPtr clearBit :: CIntPtr -> Int -> CIntPtr complementBit :: CIntPtr -> Int -> CIntPtr testBit :: CIntPtr -> Int -> Bool bitSizeMaybe :: CIntPtr -> Maybe Int shiftL :: CIntPtr -> Int -> CIntPtr unsafeShiftL :: CIntPtr -> Int -> CIntPtr shiftR :: CIntPtr -> Int -> CIntPtr unsafeShiftR :: CIntPtr -> Int -> CIntPtr rotateL :: CIntPtr -> Int -> CIntPtr | |
| FiniteBits CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types Methods finiteBitSize :: CIntPtr -> Int countLeadingZeros :: CIntPtr -> Int countTrailingZeros :: CIntPtr -> Int | |
| Bounded CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Storable CIntPtr | |
| Ix CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Num CIntPtr | |
| Read CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Integral CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Real CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CIntPtr -> Rational | |
| Show CIntPtr | |
| Eq CIntPtr | |
| Ord CIntPtr | |
Instances
| Bits CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types Methods (.&.) :: CUIntPtr -> CUIntPtr -> CUIntPtr (.|.) :: CUIntPtr -> CUIntPtr -> CUIntPtr xor :: CUIntPtr -> CUIntPtr -> CUIntPtr complement :: CUIntPtr -> CUIntPtr shift :: CUIntPtr -> Int -> CUIntPtr rotate :: CUIntPtr -> Int -> CUIntPtr setBit :: CUIntPtr -> Int -> CUIntPtr clearBit :: CUIntPtr -> Int -> CUIntPtr complementBit :: CUIntPtr -> Int -> CUIntPtr testBit :: CUIntPtr -> Int -> Bool bitSizeMaybe :: CUIntPtr -> Maybe Int shiftL :: CUIntPtr -> Int -> CUIntPtr unsafeShiftL :: CUIntPtr -> Int -> CUIntPtr shiftR :: CUIntPtr -> Int -> CUIntPtr unsafeShiftR :: CUIntPtr -> Int -> CUIntPtr rotateL :: CUIntPtr -> Int -> CUIntPtr | |
| FiniteBits CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types Methods finiteBitSize :: CUIntPtr -> Int countLeadingZeros :: CUIntPtr -> Int countTrailingZeros :: CUIntPtr -> Int | |
| Bounded CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Storable CUIntPtr | |
| Ix CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Num CUIntPtr | |
| Read CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Integral CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Real CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types Methods toRational :: CUIntPtr -> Rational | |
| Show CUIntPtr | |
| Eq CUIntPtr | |
| Ord CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
Instances
| Generic1 (URec (Ptr ()) :: k -> Type) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Foldable (UAddr :: Type -> Type) | |||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => UAddr m -> m foldMap :: Monoid m => (a -> m) -> UAddr a -> m foldMap' :: Monoid m => (a -> m) -> UAddr a -> m foldr :: (a -> b -> b) -> b -> UAddr a -> b foldr' :: (a -> b -> b) -> b -> UAddr a -> b foldl :: (b -> a -> b) -> b -> UAddr a -> b foldl' :: (b -> a -> b) -> b -> UAddr a -> b foldr1 :: (a -> a -> a) -> UAddr a -> a foldl1 :: (a -> a -> a) -> UAddr a -> a toList :: UAddr a -> [a] elem :: Eq a => a -> UAddr a -> Bool maximum :: Ord a => UAddr a -> a minimum :: Ord a => UAddr a -> a sum :: Num a => UAddr a -> a product :: Num a => UAddr a -> a | |||||
| Traversable (UAddr :: Type -> Type) | |||||
| Storable (Ptr a) | |||||
| Show (Ptr a) | |||||
| Eq (Ptr a) | |||||
| Ord (Ptr a) | |||||
| IsGValue (Ptr a) Source # | |||||
Defined in Data.GI.Base.GValue | |||||
| Functor (URec (Ptr ()) :: Type -> Type) | |||||
| Generic (URec (Ptr ()) p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Eq (URec (Ptr ()) p) | |||||
| Ord (URec (Ptr ()) p) | |||||
Defined in GHC.Internal.Generics Methods compare :: URec (Ptr ()) p -> URec (Ptr ()) p -> Ordering (<) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool (<=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool (>) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool (>=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool max :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p min :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p | |||||
| data URec (Ptr ()) (p :: k) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep1 (URec (Ptr ()) :: k -> Type) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep (URec (Ptr ()) p) | |||||
Defined in GHC.Internal.Generics | |||||
Instances
| Storable (FunPtr a) | |
| Show (FunPtr a) | |
| Eq (FunPtr a) | |
| Ord (FunPtr a) | |
castFunPtrToPtr :: FunPtr a -> Ptr b #
castPtrToFunPtr :: Ptr a -> FunPtr b #
data ForeignPtr a #
Instances
| Show (ForeignPtr a) | |
Defined in GHC.Internal.ForeignPtr Methods showsPrec :: Int -> ForeignPtr a -> ShowS # show :: ForeignPtr a -> String # showList :: [ForeignPtr a] -> ShowS # | |
| Eq (ForeignPtr a) | |
Defined in GHC.Internal.ForeignPtr | |
| Ord (ForeignPtr a) | |
Defined in GHC.Internal.ForeignPtr Methods compare :: ForeignPtr a -> ForeignPtr a -> Ordering (<) :: ForeignPtr a -> ForeignPtr a -> Bool (<=) :: ForeignPtr a -> ForeignPtr a -> Bool (>) :: ForeignPtr a -> ForeignPtr a -> Bool (>=) :: ForeignPtr a -> ForeignPtr a -> Bool max :: ForeignPtr a -> ForeignPtr a -> ForeignPtr a min :: ForeignPtr a -> ForeignPtr a -> ForeignPtr a | |
unsafeForeignPtrToPtr :: ForeignPtr a -> Ptr a #
onException :: IO a -> IO b -> IO a #
class Monad m => MonadIO (m :: Type -> Type) where #
Instances
| MonadIO IO | |
Defined in Control.Monad.IO.Class | |
| MonadIO m => MonadIO (IdentityT m) | |
Defined in Control.Monad.Trans.Identity | |
| MonadIO m => MonadIO (ReaderT r m) | |
Defined in Control.Monad.Trans.Reader | |
| MonadIO m => MonadIO (StateT s m) | |
Defined in Control.Monad.Trans.State.Lazy | |
data AttrOp obj (tag :: AttrOpTag) where Source #
Constructors for the different operations allowed on an attribute.
Constructors
| (:=) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy attr -> b -> AttrOp obj tag infixr 0 | Assign a value to an attribute |
| (:=>) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy attr -> IO b -> AttrOp obj tag infixr 0 | Assign the result of an IO action to an attribute |
| (:~) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b a. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, AttrSetTypeConstraint info b, a ~ AttrGetType info) => AttrLabelProxy attr -> (a -> b) -> AttrOp obj tag infixr 0 | Apply an update function to an attribute |
| (:~>) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b a. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, tag ~ 'AttrSet, AttrOpAllowed 'AttrSet info obj, AttrOpAllowed 'AttrGet info obj, AttrSetTypeConstraint info b, a ~ AttrGetType info) => AttrLabelProxy attr -> (a -> IO b) -> AttrOp obj tag infixr 0 | Apply an IO update function to an attribute |
| (:&=) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrTransferTypeConstraint info b, AttrSetTypeConstraint info (AttrTransferType info)) => AttrLabelProxy attr -> b -> AttrOp obj tag | Assign a value to an attribute, allocating any necessary
memory for representing the Haskell value as a C value. Note
that it is the responsibility of the caller to make sure that
the memory is freed when no longer used, otherwise there will
be a memory leak. In the majority of cases you probably want to
use |
| (:!<~) :: forall obj info (attr :: Symbol) (tag1 :: AttrOpTag) b model (tag :: AttrOpTag). (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag1 info obj, AttrSetTypeConstraint info b, ?_haskell_gi_modelProxy :: ModelProxy model) => AttrLabelProxy attr -> DynVal model b -> AttrOp obj tag infixr 0 | Bind a property to the given |
| (:<~) :: forall obj info (attr :: Symbol) (tag :: AttrOpTag) b model. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b, AttrOpAllowed 'AttrGet info obj, EqMaybe b (AttrGetType info), ?_haskell_gi_modelProxy :: ModelProxy model) => AttrLabelProxy attr -> DynVal model b -> AttrOp obj tag infixr 0 | Bind a property to the given |
| Bind :: forall obj info (propName :: Symbol) (tag :: AttrOpTag) model outType (components :: [Symbol]) (fieldName :: Symbol). (HasAttributeList obj, GObject obj, info ~ ResolveAttribute propName obj, AttrInfo info, KnownSymbol (AttrLabel info), AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrOpAllowed 'AttrPut info obj, ?_haskell_gi_modelProxy :: ModelProxy model, outType ~ AttrGetType info, AttrSetTypeConstraint info outType, components ~ Components fieldName, PathFieldAccess components model outType, KnownSymbol fieldName, Eq outType) => AttrLabelProxy propName -> AttrLabelProxy fieldName -> AttrOp obj tag | Given an AttrLabelProxy, bind the given attribute to the corresponding field in the model proxy (if there's one), so that changes in the attribute are reflected back into changes of the model. |
| On :: forall obj info (tag :: AttrOpTag). (GObject obj, SignalInfo info) => SignalProxy obj info -> ((?self :: obj) => HaskellCallbackType info) -> AttrOp obj tag | Connect the given signal to a signal handler. |
| After :: forall obj info (tag :: AttrOpTag). (GObject obj, SignalInfo info) => SignalProxy obj info -> ((?self :: obj) => HaskellCallbackType info) -> AttrOp obj tag | Like |
class AttrInfo info where Source #
Info describing an attribute.
Minimal complete definition
Nothing
Associated Types
type AttrAllowedOps info :: [AttrOpTag] Source #
The operations that are allowed on the attribute.
type AttrBaseTypeConstraint info :: Type -> Constraint Source #
Constraint on the type for which we are allowed to create/set/get the attribute.
type AttrGetType info Source #
Type returned by attrGet.
type AttrSetTypeConstraint info :: Type -> Constraint Source #
Constraint on the value being set.
type AttrSetTypeConstraint info = Type ~ AttrGetType info
type AttrTransferTypeConstraint info :: Type -> Constraint Source #
Constraint on the value being set, with allocation allowed
(see :&= below).
type AttrTransferTypeConstraint info = Type ~ AttrTransferType info
type AttrTransferType info Source #
Type resulting from the allocation.
type AttrTransferType info = AttrGetType info
type AttrLabel info :: Symbol Source #
Name of the attribute.
type AttrOrigin info Source #
Type which introduces the attribute.
Methods
attrGet :: AttrBaseTypeConstraint info o => o -> IO (AttrGetType info) Source #
Get the value of the given attribute.
default attrGet :: CheckNotElem 'AttrGet (AttrAllowedOps info) (GetNotProvidedError info) => o -> IO (AttrGetType info) Source #
attrSet :: (AttrBaseTypeConstraint info o, AttrSetTypeConstraint info b) => o -> b -> IO () Source #
Set the value of the given attribute, after the object having the attribute has already been created.
default attrSet :: CheckNotElem 'AttrSet (AttrAllowedOps info) (SetNotProvidedError info) => o -> b -> IO () Source #
attrClear :: AttrBaseTypeConstraint info o => o -> IO () Source #
Set the value of the given attribute to NULL (for nullable
attributes).
default attrClear :: CheckNotElem 'AttrClear (AttrAllowedOps info) (ClearNotProvidedError info) => o -> IO () Source #
attrConstruct :: (AttrBaseTypeConstraint info o, AttrSetTypeConstraint info b) => b -> IO (GValueConstruct o) Source #
Build a GValue representing the attribute.
default attrConstruct :: CheckNotElem 'AttrConstruct (AttrAllowedOps info) (ConstructNotProvidedError info) => b -> IO (GValueConstruct o) Source #
attrTransfer :: (AttrBaseTypeConstraint info o, AttrTransferTypeConstraint info b) => Proxy o -> b -> IO (AttrTransferType info) Source #
Allocate memory as necessary to generate a settable type from the transfer type. This is useful for types which needs allocations for marshalling from Haskell to C, this makes the allocation explicit.
default attrTransfer :: (AttrBaseTypeConstraint info o, AttrTransferTypeConstraint info b, b ~ AttrGetType info, b ~ AttrTransferType info) => Proxy o -> b -> IO (AttrTransferType info) Source #
attrPut :: AttrBaseTypeConstraint info o => o -> AttrGetType info -> IO () Source #
Like attrSet, but it uses the same type as the getter. This
is useful for some nullable types, for which the getter returns
Maybe a, while the setter takes an a. attrPut will
instead accept an Maybe a.
default attrPut :: CheckNotElem 'AttrPut (AttrAllowedOps info) (PutNotProvidedError info) => o -> AttrGetType info -> IO () Source #
dbgAttrInfo :: Maybe ResolvedSymbolInfo Source #
Return some information about the overloaded attribute,
useful for debugging. See resolveAttr for how to access this
conveniently.
Possible operations on an attribute.
Constructors
| AttrGet | It is possible to read the value of the attribute
with |
| AttrSet | It is possible to write the value of the attribute
with |
| AttrConstruct | It is possible to set the value of the attribute
in |
| AttrClear | It is possible to clear the value of the
(nullable) attribute with |
| AttrPut | It is possible to set a value of the same type as
the one returned by |
Instances
| Bounded AttrOpTag Source # | |
Defined in Data.GI.Base.Attributes | |
| Enum AttrOpTag Source # | |
Defined in Data.GI.Base.Attributes Methods succ :: AttrOpTag -> AttrOpTag pred :: AttrOpTag -> AttrOpTag fromEnum :: AttrOpTag -> Int # enumFrom :: AttrOpTag -> [AttrOpTag] enumFromThen :: AttrOpTag -> AttrOpTag -> [AttrOpTag] enumFromTo :: AttrOpTag -> AttrOpTag -> [AttrOpTag] enumFromThenTo :: AttrOpTag -> AttrOpTag -> AttrOpTag -> [AttrOpTag] | |
| Show AttrOpTag Source # | |
| Eq AttrOpTag Source # | |
| Ord AttrOpTag Source # | |
Defined in Data.GI.Base.Attributes | |
type family AttrOpAllowed (tag :: AttrOpTag) info useType where ... Source #
Whether a given AttrOpTag is allowed on an attribute, given the
info type.
Equations
| AttrOpAllowed tag info useType = AttrOpIsAllowed tag (AttrAllowedOps info) (AttrLabel info) (AttrOrigin info) useType |
type AttrGetC info obj (attr :: Symbol) result = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrGet info obj, result ~ AttrGetType info) Source #
Constraints on a obj/attr pair so get is possible,
producing a value of type result.
type AttrSetC info obj (attr :: Symbol) value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrSet info obj, AttrSetTypeConstraint info value) Source #
Constraint on a obj/attr pair so that set works on values
of type value.
type AttrConstructC info obj (attr :: Symbol) value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrConstruct info obj, AttrSetTypeConstraint info value) Source #
Constraint on a obj/value pair so that
new works on values of type value.
type AttrClearC info obj (attr :: Symbol) = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrClear info obj) Source #
Constraint on a obj/attr pair so that clear is allowed.
clear :: forall info (attr :: Symbol) obj m. (AttrClearC info obj attr, MonadIO m) => obj -> AttrLabelProxy attr -> m () Source #
Set a nullable attribute to NULL.
data AttrLabelProxy (a :: Symbol) Source #
A proxy for attribute labels.
Constructors
| AttrLabelProxy |
Instances
| a ~ x => IsLabel x (AttrLabelProxy a) Source # | |
Defined in Data.GI.Base.Attributes Methods fromLabel :: AttrLabelProxy a | |
resolveAttr :: forall info (attr :: Symbol) obj. (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info) => obj -> AttrLabelProxy attr -> Maybe ResolvedSymbolInfo Source #
Return the fully qualified attribute name that a given overloaded attribute resolves to (mostly useful for debugging).
resolveAttr #sensitive button
bindPropToField :: forall o info (prop :: Symbol) (field :: Symbol) model outType (tag :: AttrOpTag) (components :: [Symbol]). (HasAttributeList o, GObject o, info ~ ResolveAttribute prop o, AttrInfo info, KnownSymbol (AttrLabel info), AttrBaseTypeConstraint info o, AttrOpAllowed tag info o, AttrOpAllowed 'AttrPut info o, ?_haskell_gi_modelProxy :: ModelProxy model, outType ~ AttrGetType info, AttrSetTypeConstraint info outType, components ~ Components field, PathFieldAccess components model outType, KnownSymbol field, Eq outType) => Proxy tag -> o -> AttrLabelProxy prop -> AttrLabelProxy field -> IO () Source #
Create a binding between the given property of an object and a field in the model.
type family AttrGetType info Source #
Type returned by attrGet.
type family AttrBaseTypeConstraint info :: Type -> Constraint Source #
Constraint on the type for which we are allowed to create/set/get the attribute.
type family AttrAllowedOps info :: [AttrOpTag] Source #
The operations that are allowed on the attribute.
type family AttrSetTypeConstraint info :: Type -> Constraint Source #
Constraint on the value being set.
type family AttrTransferTypeConstraint info :: Type -> Constraint Source #
Constraint on the value being set, with allocation allowed
(see :&= below).
type family AttrTransferType info Source #
Type resulting from the allocation.
type family AttrOrigin info Source #
Type which introduces the attribute.
module Data.GI.Base.BasicTypes
The basic type. This corresponds to a wrapped GClosure on the C
side, which is a boxed object.
Instances
| GBoxed (GClosure a) Source # |
|
Defined in Data.GI.Base.GClosure | |
| TypedObject (GClosure a) Source # | Find the associated |
| HasParentTypes (GClosure a) Source # | |
Defined in Data.GI.Base.GClosure | |
| type ParentTypes (GClosure a) Source # | There are no types in the bindings that a closure can be safely cast to. |
Defined in Data.GI.Base.GClosure | |
module Data.GI.Base.Constructible
module Data.GI.Base.GError
module Data.GI.Base.GHashTable
module Data.GI.Base.GParamSpec
module Data.GI.Base.GObject
module Data.GI.Base.GVariant
module Data.GI.Base.GValue
module Data.GI.Base.ManagedPtr
class SignalInfo info where Source #
Information about an overloaded signal.
Minimal complete definition
Methods
connectSignal :: GObject o => o -> (o -> HaskellCallbackType info) -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source #
Connect a Haskell function to a signal of the given GObject,
specifying whether the handler will be called before or after the
default handler. Note that the callback being passed here admits
an extra initial parameter with respect to the usual Haskell
callback type. This will be passed as an implicit ?self
argument to the Haskell callback.
dbgSignalInfo :: Maybe ResolvedSymbolInfo Source #
Optional extra debug information, for resolveSignal below.
Instances
| SignalInfo GObjectNotifySignalInfo Source # | |||||
Defined in Data.GI.Base.Signals Associated Types
Methods connectSignal :: GObject o => o -> (o -> HaskellCallbackType GObjectNotifySignalInfo) -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source # | |||||
data SignalConnectMode Source #
Whether to connect a handler to a signal with connectSignal so
that it runs before/after the default handler for the given signal.
Constructors
| SignalConnectBefore | Run before the default handler. |
| SignalConnectAfter | Run after the default handler. |
connectSignalFunPtr :: GObject o => o -> Text -> FunPtr a -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source #
Connect a signal to a handler, given as a FunPtr.
type SignalHandlerId = CULong Source #
Type of a GObject signal handler id.
data GObjectNotifySignalInfo Source #
Connection information for a "notify" signal indicating that a
specific property changed (see PropertyNotify for the relevant
constructor).
Instances
| SignalInfo GObjectNotifySignalInfo Source # | |||||
Defined in Data.GI.Base.Signals Associated Types
Methods connectSignal :: GObject o => o -> (o -> HaskellCallbackType GObjectNotifySignalInfo) -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source # | |||||
| type HaskellCallbackType GObjectNotifySignalInfo Source # | |||||
Defined in Data.GI.Base.Signals | |||||
module Data.GI.Base.Utils
Instances
| SingKind Symbol | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| TestCoercion SSymbol | |||||
Defined in GHC.Internal.TypeLits Methods testCoercion :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (Coercion a b) | |||||
| TestEquality SSymbol | |||||
Defined in GHC.Internal.TypeLits Methods testEquality :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (a :~: b) | |||||
| KnownSymbol a => SingI (a :: Symbol) | |||||
Defined in GHC.Internal.Generics Methods sing :: Sing a | |||||
| (GConstructorImpl repDefined name s t a b, _name ~ AppendSymbol "_" name) => GenericOptic repDefined (_name :: Symbol) A_Prism s t a b | |||||
Defined in Optics.Label Methods genericOptic :: Optic A_Prism NoIx s t a b | |||||
| GFieldImpl name s t a b => GenericOptic repDefined (name :: Symbol) A_Lens s t a b | |||||
Defined in Optics.Label Methods genericOptic :: Optic A_Lens NoIx s t a b | |||||
| (HasField fieldName field a, KnownSymbol fieldName) => HasField (fieldName :: Symbol) (DynVal model field) (DynVal model a) | |||||
Defined in Data.GI.Base.DynVal | |||||
| (path ~ GSetFieldPath con epath, When (IsLeft epath) (HideReps g h), GSetFieldProd path g h b) => GSetFieldSum ('PathLeaf epath) (M1 C ('MetaCons con fix hs) g) (M1 C ('MetaCons con fix hs) h) b | |||||
Defined in Optics.Internal.Generic Methods gsetFieldSum :: M1 C ('MetaCons con fix hs) g x -> b -> M1 C ('MetaCons con fix hs) h x Source # | |||||
| GAffineFieldMaybe epath g h a b => GAffineFieldSum ('PathLeaf epath) (M1 C m g) (M1 C m h) a b | |||||
Defined in Optics.Internal.Generic Methods gafieldSum :: AffineTraversalVL (M1 C m g x) (M1 C m h x) a b Source # | |||||
| (GFieldImpl fieldName model model val val, NonEmpty fieldName ('Text "Field names cannot be empty"), KnownSymbol fieldName) => PathFieldAccess '[fieldName] model val Source # | |||||
Defined in Data.GI.Base.Internal.PathFieldAccess Methods pathFieldAccess :: Proxy '[fieldName] -> Proxy model -> (Lens' model val, [Text]) Source # | |||||
| (GFieldImpl fieldName model model val val, KnownSymbol fieldName, PathFieldAccess rest val inner) => PathFieldAccess (fieldName ': rest) model inner Source # | |||||
Defined in Data.GI.Base.Internal.PathFieldAccess Methods pathFieldAccess :: Proxy (fieldName ': rest) -> Proxy model -> (Lens' model inner, [Text]) Source # | |||||
| g ~ h => GAffineFieldMaybe ('Left name :: Either Symbol [Path]) g h a b | |||||
Defined in Optics.Internal.Generic Methods gafieldMaybe :: AffineTraversalVL (g x) (h x) a b | |||||
| GFieldProd prodPath g h a b => GAffineFieldMaybe ('Right prodPath :: Either Symbol [Path]) g h a b | |||||
Defined in Optics.Internal.Generic Methods gafieldMaybe :: AffineTraversalVL (g x) (h x) a b | |||||
| (GSetFieldSum path1 g1 h1 b, GSetFieldSum path2 g2 h2 b) => GSetFieldSum ('PathTree path1 path2) (g1 :+: g2) (h1 :+: h2) b | |||||
Defined in Optics.Internal.Generic Methods gsetFieldSum :: (g1 :+: g2) x -> b -> (h1 :+: h2) x Source # | |||||
| (GAffineFieldSum path1 g1 h1 a b, GAffineFieldSum path2 g2 h2 a b) => GAffineFieldSum ('PathTree path1 path2) (g1 :+: g2) (h1 :+: h2) a b | |||||
Defined in Optics.Internal.Generic Methods gafieldSum :: AffineTraversalVL ((g1 :+: g2) x) ((h1 :+: h2) x) a b Source # | |||||
| type DemoteRep Symbol | |||||
Defined in GHC.Internal.Generics type DemoteRep Symbol = String | |||||
| data Sing (s :: Symbol) | |||||
Defined in GHC.Internal.Generics | |||||
Instances
| Enum ByteOrder | |
Defined in GHC.Internal.ByteOrder Methods succ :: ByteOrder -> ByteOrder pred :: ByteOrder -> ByteOrder fromEnum :: ByteOrder -> Int # enumFrom :: ByteOrder -> [ByteOrder] enumFromThen :: ByteOrder -> ByteOrder -> [ByteOrder] enumFromTo :: ByteOrder -> ByteOrder -> [ByteOrder] enumFromThenTo :: ByteOrder -> ByteOrder -> ByteOrder -> [ByteOrder] | |
| Enum CBool | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CBool -> CBool pred :: CBool -> CBool enumFrom :: CBool -> [CBool] enumFromThen :: CBool -> CBool -> [CBool] enumFromTo :: CBool -> CBool -> [CBool] enumFromThenTo :: CBool -> CBool -> CBool -> [CBool] | |
| Enum CChar | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CChar -> CChar pred :: CChar -> CChar enumFrom :: CChar -> [CChar] enumFromThen :: CChar -> CChar -> [CChar] enumFromTo :: CChar -> CChar -> [CChar] enumFromThenTo :: CChar -> CChar -> CChar -> [CChar] | |
| Enum CClock | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CClock -> CClock pred :: CClock -> CClock enumFrom :: CClock -> [CClock] enumFromThen :: CClock -> CClock -> [CClock] enumFromTo :: CClock -> CClock -> [CClock] enumFromThenTo :: CClock -> CClock -> CClock -> [CClock] | |
| Enum CDouble | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CFloat | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CInt | |
| Enum CIntMax | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CIntMax -> CIntMax pred :: CIntMax -> CIntMax enumFrom :: CIntMax -> [CIntMax] enumFromThen :: CIntMax -> CIntMax -> [CIntMax] enumFromTo :: CIntMax -> CIntMax -> [CIntMax] enumFromThenTo :: CIntMax -> CIntMax -> CIntMax -> [CIntMax] | |
| Enum CIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CLLong | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CLLong -> CLLong pred :: CLLong -> CLLong enumFrom :: CLLong -> [CLLong] enumFromThen :: CLLong -> CLLong -> [CLLong] enumFromTo :: CLLong -> CLLong -> [CLLong] enumFromThenTo :: CLLong -> CLLong -> CLLong -> [CLLong] | |
| Enum CLong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CPtrdiff | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CPtrdiff -> CPtrdiff pred :: CPtrdiff -> CPtrdiff enumFrom :: CPtrdiff -> [CPtrdiff] enumFromThen :: CPtrdiff -> CPtrdiff -> [CPtrdiff] enumFromTo :: CPtrdiff -> CPtrdiff -> [CPtrdiff] enumFromThenTo :: CPtrdiff -> CPtrdiff -> CPtrdiff -> [CPtrdiff] | |
| Enum CSChar | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CSChar -> CSChar pred :: CSChar -> CSChar enumFrom :: CSChar -> [CSChar] enumFromThen :: CSChar -> CSChar -> [CSChar] enumFromTo :: CSChar -> CSChar -> [CSChar] enumFromThenTo :: CSChar -> CSChar -> CSChar -> [CSChar] | |
| Enum CSUSeconds | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CSUSeconds -> CSUSeconds pred :: CSUSeconds -> CSUSeconds fromEnum :: CSUSeconds -> Int # enumFrom :: CSUSeconds -> [CSUSeconds] enumFromThen :: CSUSeconds -> CSUSeconds -> [CSUSeconds] enumFromTo :: CSUSeconds -> CSUSeconds -> [CSUSeconds] enumFromThenTo :: CSUSeconds -> CSUSeconds -> CSUSeconds -> [CSUSeconds] | |
| Enum CShort | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CShort -> CShort pred :: CShort -> CShort enumFrom :: CShort -> [CShort] enumFromThen :: CShort -> CShort -> [CShort] enumFromTo :: CShort -> CShort -> [CShort] enumFromThenTo :: CShort -> CShort -> CShort -> [CShort] | |
| Enum CSigAtomic | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CSigAtomic -> CSigAtomic pred :: CSigAtomic -> CSigAtomic fromEnum :: CSigAtomic -> Int # enumFrom :: CSigAtomic -> [CSigAtomic] enumFromThen :: CSigAtomic -> CSigAtomic -> [CSigAtomic] enumFromTo :: CSigAtomic -> CSigAtomic -> [CSigAtomic] enumFromThenTo :: CSigAtomic -> CSigAtomic -> CSigAtomic -> [CSigAtomic] | |
| Enum CSize | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CSize -> CSize pred :: CSize -> CSize enumFrom :: CSize -> [CSize] enumFromThen :: CSize -> CSize -> [CSize] enumFromTo :: CSize -> CSize -> [CSize] enumFromThenTo :: CSize -> CSize -> CSize -> [CSize] | |
| Enum CTime | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CTime -> CTime pred :: CTime -> CTime enumFrom :: CTime -> [CTime] enumFromThen :: CTime -> CTime -> [CTime] enumFromTo :: CTime -> CTime -> [CTime] enumFromThenTo :: CTime -> CTime -> CTime -> [CTime] | |
| Enum CUChar | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CUChar -> CUChar pred :: CUChar -> CUChar enumFrom :: CUChar -> [CUChar] enumFromThen :: CUChar -> CUChar -> [CUChar] enumFromTo :: CUChar -> CUChar -> [CUChar] enumFromThenTo :: CUChar -> CUChar -> CUChar -> [CUChar] | |
| Enum CUInt | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CUIntMax | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CUIntMax -> CUIntMax pred :: CUIntMax -> CUIntMax enumFrom :: CUIntMax -> [CUIntMax] enumFromThen :: CUIntMax -> CUIntMax -> [CUIntMax] enumFromTo :: CUIntMax -> CUIntMax -> [CUIntMax] enumFromThenTo :: CUIntMax -> CUIntMax -> CUIntMax -> [CUIntMax] | |
| Enum CUIntPtr | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CULLong | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CULLong -> CULLong pred :: CULLong -> CULLong enumFrom :: CULLong -> [CULLong] enumFromThen :: CULLong -> CULLong -> [CULLong] enumFromTo :: CULLong -> CULLong -> [CULLong] enumFromThenTo :: CULLong -> CULLong -> CULLong -> [CULLong] | |
| Enum CULong | |
Defined in GHC.Internal.Foreign.C.Types | |
| Enum CUSeconds | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CUSeconds -> CUSeconds pred :: CUSeconds -> CUSeconds fromEnum :: CUSeconds -> Int # enumFrom :: CUSeconds -> [CUSeconds] enumFromThen :: CUSeconds -> CUSeconds -> [CUSeconds] enumFromTo :: CUSeconds -> CUSeconds -> [CUSeconds] enumFromThenTo :: CUSeconds -> CUSeconds -> CUSeconds -> [CUSeconds] | |
| Enum CUShort | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CUShort -> CUShort pred :: CUShort -> CUShort enumFrom :: CUShort -> [CUShort] enumFromThen :: CUShort -> CUShort -> [CUShort] enumFromTo :: CUShort -> CUShort -> [CUShort] enumFromThenTo :: CUShort -> CUShort -> CUShort -> [CUShort] | |
| Enum CWchar | |
Defined in GHC.Internal.Foreign.C.Types Methods succ :: CWchar -> CWchar pred :: CWchar -> CWchar enumFrom :: CWchar -> [CWchar] enumFromThen :: CWchar -> CWchar -> [CWchar] enumFromTo :: CWchar -> CWchar -> [CWchar] enumFromThenTo :: CWchar -> CWchar -> CWchar -> [CWchar] | |
| Enum IntPtr | |
Defined in GHC.Internal.Foreign.Ptr Methods succ :: IntPtr -> IntPtr pred :: IntPtr -> IntPtr enumFrom :: IntPtr -> [IntPtr] enumFromThen :: IntPtr -> IntPtr -> [IntPtr] enumFromTo :: IntPtr -> IntPtr -> [IntPtr] enumFromThenTo :: IntPtr -> IntPtr -> IntPtr -> [IntPtr] | |
| Enum WordPtr | |
Defined in GHC.Internal.Foreign.Ptr Methods succ :: WordPtr -> WordPtr pred :: WordPtr -> WordPtr enumFrom :: WordPtr -> [WordPtr] enumFromThen :: WordPtr -> WordPtr -> [WordPtr] enumFromTo :: WordPtr -> WordPtr -> [WordPtr] enumFromThenTo :: WordPtr -> WordPtr -> WordPtr -> [WordPtr] | |
| Enum Associativity | |
Defined in GHC.Internal.Generics Methods succ :: Associativity -> Associativity pred :: Associativity -> Associativity toEnum :: Int -> Associativity # fromEnum :: Associativity -> Int # enumFrom :: Associativity -> [Associativity] enumFromThen :: Associativity -> Associativity -> [Associativity] enumFromTo :: Associativity -> Associativity -> [Associativity] enumFromThenTo :: Associativity -> Associativity -> Associativity -> [Associativity] | |
| Enum DecidedStrictness | |
Defined in GHC.Internal.Generics Methods succ :: DecidedStrictness -> DecidedStrictness pred :: DecidedStrictness -> DecidedStrictness toEnum :: Int -> DecidedStrictness # fromEnum :: DecidedStrictness -> Int # enumFrom :: DecidedStrictness -> [DecidedStrictness] enumFromThen :: DecidedStrictness -> DecidedStrictness -> [DecidedStrictness] enumFromTo :: DecidedStrictness -> DecidedStrictness -> [DecidedStrictness] enumFromThenTo :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness -> [DecidedStrictness] | |
| Enum SourceStrictness | |
Defined in GHC.Internal.Generics Methods succ :: SourceStrictness -> SourceStrictness pred :: SourceStrictness -> SourceStrictness toEnum :: Int -> SourceStrictness # fromEnum :: SourceStrictness -> Int # enumFrom :: SourceStrictness -> [SourceStrictness] enumFromThen :: SourceStrictness -> SourceStrictness -> [SourceStrictness] enumFromTo :: SourceStrictness -> SourceStrictness -> [SourceStrictness] enumFromThenTo :: SourceStrictness -> SourceStrictness -> SourceStrictness -> [SourceStrictness] | |
| Enum SourceUnpackedness | |
Defined in GHC.Internal.Generics Methods succ :: SourceUnpackedness -> SourceUnpackedness pred :: SourceUnpackedness -> SourceUnpackedness toEnum :: Int -> SourceUnpackedness # fromEnum :: SourceUnpackedness -> Int # enumFrom :: SourceUnpackedness -> [SourceUnpackedness] enumFromThen :: SourceUnpackedness -> SourceUnpackedness -> [SourceUnpackedness] enumFromTo :: SourceUnpackedness -> SourceUnpackedness -> [SourceUnpackedness] enumFromThenTo :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness -> [SourceUnpackedness] | |
| Enum Int16 | |
| Enum Int32 | |
| Enum Int64 | |
| Enum Int8 | |
| Enum Word16 | |
Defined in GHC.Internal.Word | |
| Enum Word32 | |
Defined in GHC.Internal.Word | |
| Enum Word64 | |
Defined in GHC.Internal.Word | |
| Enum Word8 | |
| Enum Ordering | |
Defined in GHC.Internal.Enum Methods succ :: Ordering -> Ordering pred :: Ordering -> Ordering enumFrom :: Ordering -> [Ordering] enumFromThen :: Ordering -> Ordering -> [Ordering] enumFromTo :: Ordering -> Ordering -> [Ordering] enumFromThenTo :: Ordering -> Ordering -> Ordering -> [Ordering] | |
| Enum AttrOpTag Source # | |
Defined in Data.GI.Base.Attributes Methods succ :: AttrOpTag -> AttrOpTag pred :: AttrOpTag -> AttrOpTag fromEnum :: AttrOpTag -> Int # enumFrom :: AttrOpTag -> [AttrOpTag] enumFromThen :: AttrOpTag -> AttrOpTag -> [AttrOpTag] enumFromTo :: AttrOpTag -> AttrOpTag -> [AttrOpTag] enumFromThenTo :: AttrOpTag -> AttrOpTag -> AttrOpTag -> [AttrOpTag] | |
| Enum GParamFlag Source # | |
Defined in Data.GI.Base.GParamSpec Methods succ :: GParamFlag -> GParamFlag pred :: GParamFlag -> GParamFlag toEnum :: Int -> GParamFlag # fromEnum :: GParamFlag -> Int # enumFrom :: GParamFlag -> [GParamFlag] enumFromThen :: GParamFlag -> GParamFlag -> [GParamFlag] enumFromTo :: GParamFlag -> GParamFlag -> [GParamFlag] enumFromThenTo :: GParamFlag -> GParamFlag -> GParamFlag -> [GParamFlag] | |
| Enum I8 | |
Defined in Data.Text.Foreign Methods succ :: I8 -> I8 pred :: I8 -> I8 enumFrom :: I8 -> [I8] enumFromThen :: I8 -> I8 -> [I8] enumFromTo :: I8 -> I8 -> [I8] enumFromThenTo :: I8 -> I8 -> I8 -> [I8] | |
| Enum FPFormat | |
Defined in Data.Text.Lazy.Builder.RealFloat Methods succ :: FPFormat -> FPFormat pred :: FPFormat -> FPFormat enumFrom :: FPFormat -> [FPFormat] enumFromThen :: FPFormat -> FPFormat -> [FPFormat] enumFromTo :: FPFormat -> FPFormat -> [FPFormat] enumFromThenTo :: FPFormat -> FPFormat -> FPFormat -> [FPFormat] | |
| Enum Integer | |
Defined in GHC.Internal.Enum Methods succ :: Integer -> Integer pred :: Integer -> Integer enumFrom :: Integer -> [Integer] enumFromThen :: Integer -> Integer -> [Integer] enumFromTo :: Integer -> Integer -> [Integer] enumFromThenTo :: Integer -> Integer -> Integer -> [Integer] | |
| Enum Natural | |
Defined in GHC.Internal.Enum Methods succ :: Natural -> Natural pred :: Natural -> Natural enumFrom :: Natural -> [Natural] enumFromThen :: Natural -> Natural -> [Natural] enumFromTo :: Natural -> Natural -> [Natural] enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] | |
| Enum () | |
Defined in GHC.Internal.Enum Methods succ :: () -> () pred :: () -> () enumFrom :: () -> [()] enumFromThen :: () -> () -> [()] enumFromTo :: () -> () -> [()] enumFromThenTo :: () -> () -> () -> [()] | |
| Enum Bool | |
| Enum Char | |
| Enum Double | |
Defined in GHC.Internal.Float | |
| Enum Float | |
| Enum Int | |
| Enum Levity | |
Defined in GHC.Internal.Enum Methods succ :: Levity -> Levity pred :: Levity -> Levity enumFrom :: Levity -> [Levity] enumFromThen :: Levity -> Levity -> [Levity] enumFromTo :: Levity -> Levity -> [Levity] enumFromThenTo :: Levity -> Levity -> Levity -> [Levity] | |
| Enum VecCount | |
Defined in GHC.Internal.Enum Methods succ :: VecCount -> VecCount pred :: VecCount -> VecCount enumFrom :: VecCount -> [VecCount] enumFromThen :: VecCount -> VecCount -> [VecCount] enumFromTo :: VecCount -> VecCount -> [VecCount] enumFromThenTo :: VecCount -> VecCount -> VecCount -> [VecCount] | |
| Enum VecElem | |
Defined in GHC.Internal.Enum Methods succ :: VecElem -> VecElem pred :: VecElem -> VecElem enumFrom :: VecElem -> [VecElem] enumFromThen :: VecElem -> VecElem -> [VecElem] enumFromTo :: VecElem -> VecElem -> [VecElem] enumFromThenTo :: VecElem -> VecElem -> VecElem -> [VecElem] | |
| Enum Word | |
Defined in GHC.Internal.Enum Methods succ :: Word -> Word pred :: Word -> Word enumFrom :: Word -> [Word] enumFromThen :: Word -> Word -> [Word] enumFromTo :: Word -> Word -> [Word] enumFromThenTo :: Word -> Word -> Word -> [Word] | |
| Enum a => Enum (First a) | |
Defined in Data.Semigroup Methods succ :: First a -> First a pred :: First a -> First a enumFrom :: First a -> [First a] enumFromThen :: First a -> First a -> [First a] enumFromTo :: First a -> First a -> [First a] enumFromThenTo :: First a -> First a -> First a -> [First a] | |
| Enum a => Enum (Last a) | |
Defined in Data.Semigroup Methods succ :: Last a -> Last a pred :: Last a -> Last a enumFrom :: Last a -> [Last a] enumFromThen :: Last a -> Last a -> [Last a] enumFromTo :: Last a -> Last a -> [Last a] enumFromThenTo :: Last a -> Last a -> Last a -> [Last a] | |
| Enum a => Enum (Max a) | |
Defined in Data.Semigroup Methods succ :: Max a -> Max a pred :: Max a -> Max a enumFrom :: Max a -> [Max a] enumFromThen :: Max a -> Max a -> [Max a] enumFromTo :: Max a -> Max a -> [Max a] enumFromThenTo :: Max a -> Max a -> Max a -> [Max a] | |
| Enum a => Enum (Min a) | |
Defined in Data.Semigroup Methods succ :: Min a -> Min a pred :: Min a -> Min a enumFrom :: Min a -> [Min a] enumFromThen :: Min a -> Min a -> [Min a] enumFromTo :: Min a -> Min a -> [Min a] enumFromThenTo :: Min a -> Min a -> Min a -> [Min a] | |
| Enum a => Enum (WrappedMonoid a) | |
Defined in Data.Semigroup Methods succ :: WrappedMonoid a -> WrappedMonoid a pred :: WrappedMonoid a -> WrappedMonoid a toEnum :: Int -> WrappedMonoid a # fromEnum :: WrappedMonoid a -> Int # enumFrom :: WrappedMonoid a -> [WrappedMonoid a] enumFromThen :: WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] enumFromTo :: WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] enumFromThenTo :: WrappedMonoid a -> WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] | |
| Integral a => Enum (Ratio a) | |
Defined in GHC.Internal.Real Methods succ :: Ratio a -> Ratio a pred :: Ratio a -> Ratio a enumFrom :: Ratio a -> [Ratio a] enumFromThen :: Ratio a -> Ratio a -> [Ratio a] enumFromTo :: Ratio a -> Ratio a -> [Ratio a] enumFromThenTo :: Ratio a -> Ratio a -> Ratio a -> [Ratio a] | |
| Enum a => Enum (Solo a) | |
Defined in GHC.Internal.Enum Methods succ :: Solo a -> Solo a pred :: Solo a -> Solo a enumFrom :: Solo a -> [Solo a] enumFromThen :: Solo a -> Solo a -> [Solo a] enumFromTo :: Solo a -> Solo a -> [Solo a] enumFromThenTo :: Solo a -> Solo a -> Solo a -> [Solo a] | |
| Enum (Fixed a) | |
Defined in Data.Fixed Methods succ :: Fixed a -> Fixed a pred :: Fixed a -> Fixed a enumFrom :: Fixed a -> [Fixed a] enumFromThen :: Fixed a -> Fixed a -> [Fixed a] enumFromTo :: Fixed a -> Fixed a -> [Fixed a] enumFromThenTo :: Fixed a -> Fixed a -> Fixed a -> [Fixed a] | |
| Enum (Proxy s) | |
Defined in GHC.Internal.Data.Proxy Methods succ :: Proxy s -> Proxy s pred :: Proxy s -> Proxy s enumFrom :: Proxy s -> [Proxy s] enumFromThen :: Proxy s -> Proxy s -> [Proxy s] enumFromTo :: Proxy s -> Proxy s -> [Proxy s] enumFromThenTo :: Proxy s -> Proxy s -> Proxy s -> [Proxy s] | |
| Enum (f (g a)) => Enum (Compose f g a) | |
Defined in Data.Functor.Compose Methods succ :: Compose f g a -> Compose f g a pred :: Compose f g a -> Compose f g a toEnum :: Int -> Compose f g a # fromEnum :: Compose f g a -> Int # enumFrom :: Compose f g a -> [Compose f g a] enumFromThen :: Compose f g a -> Compose f g a -> [Compose f g a] enumFromTo :: Compose f g a -> Compose f g a -> [Compose f g a] enumFromThenTo :: Compose f g a -> Compose f g a -> Compose f g a -> [Compose f g a] | |
Instances
| Show ByteArray | |
| Show Timeout | |
| Show Builder | |
| Show FormatMode | |
| Show ByteString | |
Defined in Data.ByteString.Internal.Type Methods showsPrec :: Int -> ByteString -> ShowS # show :: ByteString -> String # showList :: [ByteString] -> ShowS # | |
| Show SizeOverflowException | |
| Show ByteString | |
| Show ShortByteString | |
| Show IntSet | |
| Show BitQueue | |
| Show BitQueueB | |
| Show Void | |
| Show ByteOrder | |
| Show NestedAtomically | |
| Show NoMatchingContinuationPrompt | |
| Show NoMethodError | |
| Show NonTermination | |
| Show PatternMatchFail | |
| Show RecConError | |
| Show RecSelError | |
| Show RecUpdError | |
| Show TypeError | |
| Show Dynamic | |
| Show SomeTypeRep | |
| Show ErrorCall | |
| Show ArithException | |
| Show SomeException | |
| Show CBool | |
| Show CChar | |
| Show CClock | |
| Show CDouble | |
| Show CFloat | |
| Show CInt | |
| Show CIntMax | |
| Show CIntPtr | |
| Show CLLong | |
| Show CLong | |
| Show CPtrdiff | |
| Show CSChar | |
| Show CSUSeconds | |
| Show CShort | |
| Show CSigAtomic | |
| Show CSize | |
| Show CTime | |
| Show CUChar | |
| Show CUInt | |
| Show CUIntMax | |
| Show CUIntPtr | |
| Show CULLong | |
| Show CULong | |
| Show CUSeconds | |
| Show CUShort | |
| Show CWchar | |
| Show IntPtr | |
| Show WordPtr | |
| Show Associativity | |
| Show DecidedStrictness | |
| Show Fixity | |
| Show SourceStrictness | |
| Show SourceUnpackedness | |
| Show MaskingState | |
| Show BufferMode | |
| Show Handle | |
| Show HandleType | |
| Show Newline | |
| Show NewlineMode | |
| Show Int16 | |
| Show Int32 | |
| Show Int64 | |
| Show Int8 | |
| Show FractionalExponentBase | |
| Show CallStack | |
| Show SrcLoc | |
| Show SomeChar | |
| Show SomeSymbol | |
| Show Word16 | |
| Show Word32 | |
| Show Word64 | |
| Show Word8 | |
| Show KindRep | |
| Show Module | |
| Show Ordering | |
| Show TrName | |
| Show TyCon | |
| Show TypeLitSort | |
| Show AttrOpTag Source # | |
| Show GType Source # | |
| Show UnexpectedNullPointerReturn Source # | |
Defined in Data.GI.Base.BasicTypes Methods showsPrec :: Int -> UnexpectedNullPointerReturn -> ShowS # show :: UnexpectedNullPointerReturn -> String # showList :: [UnexpectedNullPointerReturn] -> ShowS # | |
| Show DVKey Source # | |
| Show GError Source # | |
| Show GParamFlag Source # | |
Defined in Data.GI.Base.GParamSpec Methods showsPrec :: Int -> GParamFlag -> ShowS # show :: GParamFlag -> String # showList :: [GParamFlag] -> ShowS # | |
| Show GVariantHandle Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantHandle -> ShowS # show :: GVariantHandle -> String # showList :: [GVariantHandle] -> ShowS # | |
| Show GVariantObjectPath Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantObjectPath -> ShowS # show :: GVariantObjectPath -> String # showList :: [GVariantObjectPath] -> ShowS # | |
| Show GVariantSignature Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantSignature -> ShowS # show :: GVariantSignature -> String # showList :: [GVariantSignature] -> ShowS # | |
| Show ResolvedSymbolInfo Source # | |
Defined in Data.GI.Base.Overloading Methods showsPrec :: Int -> ResolvedSymbolInfo -> ShowS # show :: ResolvedSymbolInfo -> String # showList :: [ResolvedSymbolInfo] -> ShowS # | |
| Show Decoding | |
| Show UnicodeException | |
| Show I8 | |
| Show Text | |
| Show Builder | |
| Show PartialUtf8CodePoint | |
| Show Utf8State | |
| Show DecoderState | |
| Show Size | |
| Show FPFormat | |
| Show Iter | |
| Show Integer | |
| Show Natural | |
| Show () | |
| Show Bool | |
| Show Char | |
| Show Double | |
| Show Float | |
| Show Int | |
| Show Levity | |
| Show RuntimeRep | |
| Show VecCount | |
| Show VecElem | |
| Show Word | |
| Show a => Show (Complex a) | |
| Show a => Show (First a) | |
| Show a => Show (Last a) | |
| Show a => Show (Max a) | |
| Show a => Show (Min a) | |
| Show m => Show (WrappedMonoid m) | |
| Show vertex => Show (SCC vertex) | |
| Show a => Show (IntMap a) | |
| Show a => Show (Seq a) | |
| Show a => Show (ViewL a) | |
| Show a => Show (ViewR a) | |
| Show a => Show (Intersection a) | |
| Show a => Show (Set a) | |
| Show a => Show (Tree a) | |
| Show a => Show (NonEmpty a) | |
| Show a => Show (ExceptionWithContext a) | |
| Show e => Show (NoBacktrace e) | |
| Show (ForeignPtr a) | |
Defined in GHC.Internal.ForeignPtr Methods showsPrec :: Int -> ForeignPtr a -> ShowS # show :: ForeignPtr a -> String # showList :: [ForeignPtr a] -> ShowS # | |
| Show p => Show (Par1 p) | |
| Show (FunPtr a) | |
| Show (Ptr a) | |
| Show a => Show (Ratio a) | |
| Show (SChar c) | |
| Show (SSymbol s) | |
| Show a => Show (HValue a) Source # | |
| Show a => Show (GVariantSinglet a) Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantSinglet a -> ShowS # show :: GVariantSinglet a -> String # showList :: [GVariantSinglet a] -> ShowS # | |
| Show a => Show (Maybe a) | |
| Show a => Show (Solo a) | |
| Show a => Show [a] | |
| HasResolution a => Show (Fixed a) | |
| (Show a, Show b) => Show (Arg a b) | |
| (Show k, Show a) => Show (Map k a) | |
| Show (Proxy s) | |
| Show (TypeRep a) | |
| Show (U1 p) | |
| Show (V1 p) | |
| (Show key, Show value) => Show (GVariantDictEntry key value) Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantDictEntry key value -> ShowS # show :: GVariantDictEntry key value -> String # showList :: [GVariantDictEntry key value] -> ShowS # | |
| (Show a, Show b) => Show (a, b) | |
| Show (f p) => Show (Rec1 f p) | |
| Show (URec Char p) | |
| Show (URec Double p) | |
| Show (URec Float p) | |
| Show (URec Int p) | |
| Show (URec Word p) | |
| (Show1 f, Show a) => Show (Backwards f a) | |
| (Show1 f, Show a) => Show (IdentityT f a) | |
| Show a => Show (Constant a b) | |
| (Show1 f, Show a) => Show (Reverse f a) | |
| (Show a, Show b, Show c) => Show (a, b, c) | |
| (Show (f a), Show (g a)) => Show (Product f g a) | |
| (Show (f a), Show (g a)) => Show (Sum f g a) | |
| (Show (f p), Show (g p)) => Show ((f :*: g) p) | |
| (Show (f p), Show (g p)) => Show ((f :+: g) p) | |
| Show c => Show (K1 i c p) | |
| (Show a, Show b, Show c, Show d) => Show (a, b, c, d) | |
| Show (f (g a)) => Show (Compose f g a) | |
| Show (f (g p)) => Show ((f :.: g) p) | |
| Show (f p) => Show (M1 i c f p) | |
| (Show a, Show b, Show c, Show d, Show e) => Show (a, b, c, d, e) | |
| (Show a, Show b, Show c, Show d, Show e, Show f) => Show (a, b, c, d, e, f) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (a, b, c, d, e, f, g) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (a, b, c, d, e, f, g, h) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (a, b, c, d, e, f, g, h, i) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (a, b, c, d, e, f, g, h, i, j) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (a, b, c, d, e, f, g, h, i, j, k) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (a, b, c, d, e, f, g, h, i, j, k, l) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |
Instances
| Eq ByteArray | |
| Eq Timeout | |
| Eq ByteString | |
Defined in Data.ByteString.Internal.Type | |
| Eq ByteString | |
| Eq ShortByteString | |
| Eq IntSet | |
| Eq BigNat | |
| Eq Void | |
| Eq ByteOrder | |
| Eq SomeTypeRep | |
| Eq ErrorCall | |
| Eq ArithException | |
| Eq CBool | |
| Eq CChar | |
| Eq CClock | |
| Eq CDouble | |
| Eq CFloat | |
| Eq CInt | |
| Eq CIntMax | |
| Eq CIntPtr | |
| Eq CLLong | |
| Eq CLong | |
| Eq CPtrdiff | |
| Eq CSChar | |
| Eq CSUSeconds | |
| Eq CShort | |
| Eq CSigAtomic | |
| Eq CSize | |
| Eq CTime | |
| Eq CUChar | |
| Eq CUInt | |
| Eq CUIntMax | |
| Eq CUIntPtr | |
| Eq CULLong | |
| Eq CULong | |
| Eq CUSeconds | |
| Eq CUShort | |
| Eq CWchar | |
| Eq IntPtr | |
| Eq WordPtr | |
| Eq Associativity | |
| Eq DecidedStrictness | |
| Eq Fixity | |
| Eq SourceStrictness | |
| Eq SourceUnpackedness | |
| Eq MaskingState | |
| Eq BufferMode | |
| Eq Handle | |
| Eq Newline | |
| Eq NewlineMode | |
| Eq Int16 | |
| Eq Int32 | |
| Eq Int64 | |
| Eq Int8 | |
| Eq SrcLoc | |
| Eq SomeChar | |
| Eq SomeSymbol | |
| Eq Word16 | |
| Eq Word32 | |
| Eq Word64 | |
| Eq Word8 | |
| Eq Module | |
| Eq Ordering | |
| Eq TrName | |
| Eq TyCon | |
| Eq AttrOpTag Source # | |
| Eq GType Source # | |
| Eq DVKey Source # | |
| Eq GParamFlag Source # | |
Defined in Data.GI.Base.GParamSpec | |
| Eq GVariantHandle Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantHandle -> GVariantHandle -> Bool # (/=) :: GVariantHandle -> GVariantHandle -> Bool # | |
| Eq GVariantObjectPath Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantObjectPath -> GVariantObjectPath -> Bool # (/=) :: GVariantObjectPath -> GVariantObjectPath -> Bool # | |
| Eq GVariantSignature Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantSignature -> GVariantSignature -> Bool # (/=) :: GVariantSignature -> GVariantSignature -> Bool # | |
| Eq UnicodeException | |
| Eq I8 | |
| Eq Text | |
| Eq Builder | |
| Eq PartialUtf8CodePoint | |
| Eq Utf8State | |
| Eq DecoderState | |
| Eq Size | |
| Eq Integer | |
| Eq Natural | |
| Eq () | |
| Eq Bool | |
| Eq Char | |
| Eq Double | |
| Eq Float | |
| Eq Int | |
| Eq Word | |
| Eq (Chan a) | |
| Eq (MutableByteArray s) | |
| Eq a => Eq (Complex a) | |
| Eq a => Eq (First a) | |
| Eq a => Eq (Last a) | |
| Eq a => Eq (Max a) | |
| Eq a => Eq (Min a) | |
| Eq m => Eq (WrappedMonoid m) | |
| Eq vertex => Eq (SCC vertex) | |
| Eq a => Eq (IntMap a) | |
| Eq a => Eq (Seq a) | |
| Eq a => Eq (ViewL a) | |
| Eq a => Eq (ViewR a) | |
| Eq a => Eq (Intersection a) | |
| Eq a => Eq (Set a) | |
| Eq a => Eq (Tree a) | |
| Eq a => Eq (NonEmpty a) | |
| Eq (ForeignPtr a) | |
Defined in GHC.Internal.ForeignPtr | |
| Eq p => Eq (Par1 p) | |
| Eq (IORef a) | |
| Eq (FunPtr a) | |
| Eq (Ptr a) | |
| Eq a => Eq (Ratio a) | |
| Eq (StablePtr a) | |
| Eq (SChar c) | |
| Eq (SSymbol s) | |
| Eq (ManagedPtr a) Source # | Two |
Defined in Data.GI.Base.BasicTypes | |
| Eq a => Eq (HValue a) Source # | |
| Eq a => Eq (GVariantSinglet a) Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantSinglet a -> GVariantSinglet a -> Bool # (/=) :: GVariantSinglet a -> GVariantSinglet a -> Bool # | |
| Eq a => Eq (Stream a) | |
| Eq a => Eq (Maybe a) | |
| Eq a => Eq (Solo a) | |
| Eq a => Eq [a] | |
| Eq (Fixed a) | |
| Eq a => Eq (Arg a b) | |
| (Eq k, Eq a) => Eq (Map k a) | |
| Eq (Proxy s) | |
| Eq (TypeRep a) | |
| Eq (U1 p) | |
| Eq (V1 p) | |
| (Eq key, Eq value) => Eq (GVariantDictEntry key value) Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantDictEntry key value -> GVariantDictEntry key value -> Bool # (/=) :: GVariantDictEntry key value -> GVariantDictEntry key value -> Bool # | |
| (Eq a, Eq b) => Eq (a, b) | |
| (Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a) | |
| Eq (f p) => Eq (Rec1 f p) | |
| Eq (URec (Ptr ()) p) | |
| Eq (URec Char p) | |
| Eq (URec Double p) | |
| Eq (URec Float p) | |
| Eq (URec Int p) | |
| Eq (URec Word p) | |
| (Eq1 f, Eq a) => Eq (Backwards f a) | |
| (Eq1 f, Eq a) => Eq (IdentityT f a) | |
| Eq a => Eq (Constant a b) | |
| (Eq1 f, Eq a) => Eq (Reverse f a) | |
| (Eq a, Eq b, Eq c) => Eq (a, b, c) | |
| (Eq (f a), Eq (g a)) => Eq (Product f g a) | |
| (Eq (f a), Eq (g a)) => Eq (Sum f g a) | |
| (Eq (f p), Eq (g p)) => Eq ((f :*: g) p) | |
| (Eq (f p), Eq (g p)) => Eq ((f :+: g) p) | |
| Eq c => Eq (K1 i c p) | |
| (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) | |
| Eq (f (g a)) => Eq (Compose f g a) | |
| Eq (f (g p)) => Eq ((f :.: g) p) | |
| Eq (f p) => Eq (M1 i c f p) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (a, b, c, d, e, f, g, h) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (a, b, c, d, e, f, g, h, i) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (a, b, c, d, e, f, g, h, i, j) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (a, b, c, d, e, f, g, h, i, j, k, l) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |
Instances
| MonadIO IO | |
Defined in Control.Monad.IO.Class | |
| Alternative IO | |
| Applicative IO | |
| Functor IO | |
| Monad IO | |
| MonadPlus IO | |
| MonadFail IO | |
Defined in GHC.Internal.Control.Monad.Fail | |
| MonadFix IO | |
Defined in GHC.Internal.Control.Monad.Fix | |
| a ~ () => HPrintfType (IO a) | |
Defined in Text.Printf | |
| a ~ () => PrintfType (IO a) | |
Defined in Text.Printf | |
| Monoid a => Monoid (IO a) | |
| Semigroup a => Semigroup (IO a) | |
class Applicative m => Monad (m :: Type -> Type) where #
Minimal complete definition
Instances
| Monad Complex | |
| Monad First | |
| Monad Last | |
| Monad Max | |
| Monad Min | |
| Monad Put | |
| Monad Seq | |
| Monad Tree | |
| Monad NonEmpty | |
| Monad Par1 | |
| Monad IO | |
| Monad Maybe | |
| Monad Solo | |
| Monad [] | |
| Monad m => Monad (WrappedMonad m) | |
| Monad (SetM s) | |
| Monad (Proxy :: Type -> Type) | |
| Monad (U1 :: Type -> Type) | |
| Monad (IParser t) | |
| Monoid a => Monad ((,) a) | |
| (Applicative f, Monad f) => Monad (WhenMissing f x) | |
| Monad f => Monad (Rec1 f) | |
| Monad m => Monad (IdentityT m) | |
| Monad m => Monad (ReaderT r m) | |
| Monad m => Monad (StateT s m) | |
| Monad m => Monad (Reverse m) | |
| (Monoid a, Monoid b) => Monad ((,,) a b) | |
| (Monad f, Monad g) => Monad (Product f g) | |
| (Monad f, Applicative f) => Monad (WhenMatched f x y) | |
| (Applicative f, Monad f) => Monad (WhenMissing f k x) | |
| (Monad f, Monad g) => Monad (f :*: g) | |
| (Monoid a, Monoid b, Monoid c) => Monad ((,,,) a b c) | |
| Monad ((->) r) | |
| (Monad f, Applicative f) => Monad (WhenMatched f k x y) | |
| Monad f => Monad (M1 i c f) | |
Instances
| MonadZip Maybe | |||||
| Eq1 Maybe | |||||
| Ord1 Maybe | |||||
Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> Maybe a -> Maybe b -> Ordering | |||||
| Read1 Maybe | |||||
Defined in Data.Functor.Classes Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Maybe a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Maybe a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Maybe a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Maybe a] | |||||
| Show1 Maybe | |||||
Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Maybe a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Maybe a] -> ShowS | |||||
| Alternative Maybe | |||||
| Applicative Maybe | |||||
| Functor Maybe | |||||
| Monad Maybe | |||||
| MonadPlus Maybe | |||||
| MonadFail Maybe | |||||
Defined in GHC.Internal.Control.Monad.Fail | |||||
| MonadFix Maybe | |||||
Defined in GHC.Internal.Control.Monad.Fix | |||||
| Foldable Maybe | |||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => Maybe m -> m foldMap :: Monoid m => (a -> m) -> Maybe a -> m foldMap' :: Monoid m => (a -> m) -> Maybe a -> m foldr :: (a -> b -> b) -> b -> Maybe a -> b foldr' :: (a -> b -> b) -> b -> Maybe a -> b foldl :: (b -> a -> b) -> b -> Maybe a -> b foldl' :: (b -> a -> b) -> b -> Maybe a -> b foldr1 :: (a -> a -> a) -> Maybe a -> a foldl1 :: (a -> a -> a) -> Maybe a -> a elem :: Eq a => a -> Maybe a -> Bool maximum :: Ord a => Maybe a -> a | |||||
| Traversable Maybe | |||||
| Generic1 Maybe | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Eq a => EqMaybe a (Maybe a) Source # | |||||
| Each () (Maybe a) (Maybe b) a b |
| ||||
Defined in Optics.Each.Core | |||||
| Semigroup a => Monoid (Maybe a) | |||||
| Semigroup a => Semigroup (Maybe a) | |||||
| Generic (Maybe a) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| SingKind a => SingKind (Maybe a) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Show a => Show (Maybe a) | |||||
| Eq a => Eq (Maybe a) | |||||
| Ord a => Ord (Maybe a) | |||||
| IsGValue (Maybe GParamSpec) Source # | |||||
Defined in Data.GI.Base.GValue Methods gvalueGType_ :: IO GType Source # gvalueSet_ :: Ptr GValue -> Maybe GParamSpec -> IO () Source # gvalueGet_ :: Ptr GValue -> IO (Maybe GParamSpec) Source # | |||||
| IsGValue (Maybe Text) Source # | |||||
Defined in Data.GI.Base.GValue | |||||
| IsGValue (Maybe String) Source # | |||||
Defined in Data.GI.Base.GValue | |||||
| IsGVariant a => IsGVariant (Maybe a) Source # | |||||
Defined in Data.GI.Base.GVariant | |||||
| At (Maybe a) | |||||
| Ixed (Maybe a) | |||||
| AsEmpty (Maybe a) | |||||
| SingI ('Nothing :: Maybe a) | |||||
Defined in GHC.Internal.Generics | |||||
| SingI a2 => SingI ('Just a2 :: Maybe a1) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep1 Maybe | |||||
Defined in GHC.Internal.Generics | |||||
| type DemoteRep (Maybe a) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep (Maybe a) | |||||
Defined in GHC.Internal.Generics | |||||
| data Sing (b :: Maybe a) | |||||
| type Index (Maybe a) | |||||
Defined in Optics.At.Core | |||||
| type IxKind (Maybe a) | |||||
Defined in Optics.At.Core | |||||
| type IxValue (Maybe a) | |||||
Defined in Optics.At.Core | |||||
Instances
| Bits Bool | |||||
Defined in GHC.Internal.Bits | |||||
| FiniteBits Bool | |||||
Defined in GHC.Internal.Bits Methods finiteBitSize :: Bool -> Int countLeadingZeros :: Bool -> Int countTrailingZeros :: Bool -> Int | |||||
| Bounded Bool | |||||
Defined in GHC.Internal.Enum | |||||
| Enum Bool | |||||
| Storable Bool | |||||
Defined in GHC.Internal.Foreign.Storable | |||||
| Generic Bool | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| SingKind Bool | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Show Bool | |||||
| Eq Bool | |||||
| Ord Bool | |||||
| IsGValue Bool Source # | |||||
Defined in Data.GI.Base.GValue | |||||
| IsGVariant Bool Source # | |||||
Defined in Data.GI.Base.GVariant | |||||
| IsGVariantBasicType Bool Source # | |||||
Defined in Data.GI.Base.GVariant | |||||
| SingI 'False | |||||
Defined in GHC.Internal.Generics Methods sing :: Sing 'False | |||||
| SingI 'True | |||||
Defined in GHC.Internal.Generics Methods sing :: Sing 'True | |||||
| type DemoteRep Bool | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep Bool | |||||
Defined in GHC.Internal.Generics type Rep Bool = D1 ('MetaData "Bool" "GHC.Types" "ghc-prim" 'False) (C1 ('MetaCons "False" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "True" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
| data Sing (a :: Bool) | |||||
Defined in GHC.Internal.Generics | |||||
Instances
| PrintfArg Float | |||||
Defined in Text.Printf | |||||
| Enum Float | |||||
| Floating Float | |||||
| RealFloat Float | |||||
Defined in GHC.Internal.Float Methods floatRadix :: Float -> Integer floatDigits :: Float -> Int floatRange :: Float -> (Int, Int) decodeFloat :: Float -> (Integer, Int) encodeFloat :: Integer -> Int -> Float significand :: Float -> Float scaleFloat :: Int -> Float -> Float isInfinite :: Float -> Bool isDenormalized :: Float -> Bool isNegativeZero :: Float -> Bool | |||||
| Storable Float | |||||
| Num Float | |||||
| Fractional Float | |||||
Defined in GHC.Internal.Float | |||||
| Real Float | |||||
Defined in GHC.Internal.Float Methods toRational :: Float -> Rational | |||||
| RealFrac Float | |||||
| Show Float | |||||
| Eq Float | |||||
| Ord Float | |||||
| IsGValue Float Source # | |||||
Defined in Data.GI.Base.GValue | |||||
| Generic1 (URec Float :: k -> Type) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Foldable (UFloat :: Type -> Type) | |||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => UFloat m -> m foldMap :: Monoid m => (a -> m) -> UFloat a -> m foldMap' :: Monoid m => (a -> m) -> UFloat a -> m foldr :: (a -> b -> b) -> b -> UFloat a -> b foldr' :: (a -> b -> b) -> b -> UFloat a -> b foldl :: (b -> a -> b) -> b -> UFloat a -> b foldl' :: (b -> a -> b) -> b -> UFloat a -> b foldr1 :: (a -> a -> a) -> UFloat a -> a foldl1 :: (a -> a -> a) -> UFloat a -> a toList :: UFloat a -> [a] elem :: Eq a => a -> UFloat a -> Bool maximum :: Ord a => UFloat a -> a minimum :: Ord a => UFloat a -> a sum :: Num a => UFloat a -> a product :: Num a => UFloat a -> a | |||||
| Traversable (UFloat :: Type -> Type) | |||||
| Functor (URec Float :: Type -> Type) | |||||
| Generic (URec Float p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Show (URec Float p) | |||||
| Eq (URec Float p) | |||||
| Ord (URec Float p) | |||||
Defined in GHC.Internal.Generics | |||||
| data URec Float (p :: k) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep1 (URec Float :: k -> Type) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep (URec Float p) | |||||
Defined in GHC.Internal.Generics | |||||
Instances
| PrintfArg Double | |||||
Defined in Text.Printf | |||||
| Enum Double | |||||
Defined in GHC.Internal.Float | |||||
| Floating Double | |||||
| RealFloat Double | |||||
Defined in GHC.Internal.Float Methods floatRadix :: Double -> Integer floatDigits :: Double -> Int floatRange :: Double -> (Int, Int) decodeFloat :: Double -> (Integer, Int) encodeFloat :: Integer -> Int -> Double significand :: Double -> Double scaleFloat :: Int -> Double -> Double isInfinite :: Double -> Bool isDenormalized :: Double -> Bool isNegativeZero :: Double -> Bool | |||||
| Storable Double | |||||
| Num Double | |||||
| Fractional Double | |||||
Defined in GHC.Internal.Float | |||||
| Real Double | |||||
Defined in GHC.Internal.Float Methods toRational :: Double -> Rational | |||||
| RealFrac Double | |||||
| Show Double | |||||
| Eq Double | |||||
| Ord Double | |||||
| IsGValue Double Source # | |||||
Defined in Data.GI.Base.GValue | |||||
| IsGVariant Double Source # | |||||
Defined in Data.GI.Base.GVariant | |||||
| IsGVariantBasicType Double Source # | |||||
Defined in Data.GI.Base.GVariant | |||||
| Generic1 (URec Double :: k -> Type) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Foldable (UDouble :: Type -> Type) | |||||
Defined in GHC.Internal.Data.Foldable Methods fold :: Monoid m => UDouble m -> m foldMap :: Monoid m => (a -> m) -> UDouble a -> m foldMap' :: Monoid m => (a -> m) -> UDouble a -> m foldr :: (a -> b -> b) -> b -> UDouble a -> b foldr' :: (a -> b -> b) -> b -> UDouble a -> b foldl :: (b -> a -> b) -> b -> UDouble a -> b foldl' :: (b -> a -> b) -> b -> UDouble a -> b foldr1 :: (a -> a -> a) -> UDouble a -> a foldl1 :: (a -> a -> a) -> UDouble a -> a toList :: UDouble a -> [a] elem :: Eq a => a -> UDouble a -> Bool maximum :: Ord a => UDouble a -> a minimum :: Ord a => UDouble a -> a sum :: Num a => UDouble a -> a product :: Num a => UDouble a -> a | |||||
| Traversable (UDouble :: Type -> Type) | |||||
| Functor (URec Double :: Type -> Type) | |||||
| Generic (URec Double p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Show (URec Double p) | |||||
| Eq (URec Double p) | |||||
| Ord (URec Double p) | |||||
Defined in GHC.Internal.Generics | |||||
| data URec Double (p :: k) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep1 (URec Double :: k -> Type) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep (URec Double p) | |||||
Defined in GHC.Internal.Generics | |||||
undefined :: HasCallStack => a #
error :: HasCallStack => [Char] -> a #
fromIntegral :: (Integral a, Num b) => a -> b #
realToFrac :: (Real a, Fractional b) => a -> b #