| 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 Int8
- data Int16
- data Int32
- data Int64
- data Word8
- data Word16
- data Word32
- data Word64
- data ByteString
- type CString = Ptr CChar
- newtype CDouble = CDouble Double
- newtype CFloat = CFloat Float
- newtype CInt = CInt Int32
- newtype CIntPtr = CIntPtr Int64
- newtype CLong = CLong Int64
- newtype CUInt = CUInt Word32
- newtype CUIntPtr = CUIntPtr Word64
- newtype CULong = CULong Word64
- data Ptr a
- data FunPtr a
- castFunPtrToPtr :: FunPtr a -> Ptr b
- castPtrToFunPtr :: Ptr a -> FunPtr b
- nullPtr :: Ptr a
- plusPtr :: Ptr a -> Int -> Ptr b
- data ForeignPtr a
- unsafeForeignPtrToPtr :: ForeignPtr a -> Ptr a
- sizeOf :: Storable a => a -> Int
- peek :: Storable a => Ptr a -> IO a
- poke :: Storable a => Ptr a -> a -> IO ()
- (<$>) :: Functor f => (a -> b) -> f a -> f b
- onException :: IO a -> IO b -> IO a
- class Monad m => MonadIO (m :: Type -> Type) where
- type AttrClearC info obj attr = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrClear info obj)
- type AttrGetC info obj attr result = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrGet info obj, result ~ AttrGetType info)
- data AttrOp obj (tag :: AttrOpTag) where
- (:=) :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag
- (:=>) :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy (attr :: Symbol) -> IO b -> AttrOp obj tag
- (:~) :: (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 :: Symbol) -> (a -> b) -> AttrOp obj tag
- (:~>) :: (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 :: Symbol) -> (a -> IO b) -> AttrOp obj tag
- (:&=) :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrTransferTypeConstraint info b, AttrSetTypeConstraint info (AttrTransferType info)) => AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag
- type AttrConstructC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrConstruct info obj, AttrSetTypeConstraint info value)
- type AttrSetC info obj attr value = (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed 'AttrSet info obj, AttrSetTypeConstraint info value)
- data AttrOpTag
- type family AttrOpAllowed (tag :: AttrOpTag) (info :: *) (useType :: *) :: Constraint where ...
- class AttrInfo (info :: *) where
- type AttrAllowedOps info :: [AttrOpTag]
- type AttrBaseTypeConstraint info :: * -> Constraint
- type AttrGetType info
- type AttrSetTypeConstraint info :: * -> Constraint
- type AttrTransferTypeConstraint info :: * -> 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 :: forall o b. (AttrBaseTypeConstraint info o, AttrTransferTypeConstraint info b) => Proxy o -> b -> IO (AttrTransferType info)
- data AttrLabelProxy (a :: Symbol) = AttrLabelProxy
- clear :: forall info attr obj m. (AttrClearC info obj attr, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m ()
- 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
- data GObjectNotifySignalInfo
- data SignalConnectMode
- class SignalInfo (info :: *) where
- type HaskellCallbackType info :: *
- connectSignal :: GObject o => o -> HaskellCallbackType info -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId
- type SignalHandlerId = CULong
- connectSignalFunPtr :: GObject o => o -> Text -> FunPtr a -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId
- 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
- ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (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 :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => a
- error :: forall (r :: RuntimeRep) (a :: TYPE r). 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
Documentation
Instances
| Bounded Char | |
| Enum Char | |
| Eq Char | |
| Ord Char | |
| Read Char | |
| Show Char | |
| Storable Char | |
Defined in Foreign.Storable | |
| Foldable (UChar :: Type -> Type) | |
Defined in 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 # | |
Instances
| Bounded Int | |
| Enum Int | |
| Eq Int | |
| Integral Int | |
| Num Int | |
| Ord Int | |
| Read Int | |
| Real Int | |
Defined in GHC.Real Methods toRational :: Int -> Rational | |
| Show Int | |
| Bits Int | |
Defined in Data.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 Data.Bits | |
| Storable Int | |
Defined in Foreign.Storable | |
| Foldable (UInt :: Type -> Type) | |
Defined in 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) | |
Instances
| Bounded Int8 | |
| Enum Int8 | |
| Eq Int8 | |
| Integral Int8 | |
| Num Int8 | |
| Ord Int8 | |
| Read Int8 | |
| Real Int8 | |
Defined in GHC.Int Methods toRational :: Int8 -> Rational | |
| Show Int8 | |
| Ix Int8 | |
| Bits Int8 | |
Defined in GHC.Int | |
| FiniteBits Int8 | |
Defined in GHC.Int Methods finiteBitSize :: Int8 -> Int countLeadingZeros :: Int8 -> Int countTrailingZeros :: Int8 -> Int | |
| Storable Int8 | |
Defined in Foreign.Storable | |
Instances
Instances
Instances
Instances
Instances
Instances
Instances
data ByteString #
Instances
| Eq ByteString | |
Defined in Data.ByteString.Internal | |
| Data ByteString | |
Defined in Data.ByteString.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ByteString -> c ByteString gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ByteString toConstr :: ByteString -> Constr dataTypeOf :: ByteString -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ByteString) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ByteString) gmapT :: (forall b. Data b => b -> b) -> ByteString -> ByteString gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ByteString -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ByteString -> r gmapQ :: (forall d. Data d => d -> u) -> ByteString -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ByteString -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ByteString -> m ByteString gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ByteString -> m ByteString gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ByteString -> m ByteString | |
| Ord ByteString | |
Defined in Data.ByteString.Internal Methods compare :: ByteString -> ByteString -> Ordering (<) :: ByteString -> ByteString -> Bool (<=) :: ByteString -> ByteString -> Bool (>) :: ByteString -> ByteString -> Bool (>=) :: ByteString -> ByteString -> Bool max :: ByteString -> ByteString -> ByteString min :: ByteString -> ByteString -> ByteString | |
| Read ByteString | |
Defined in Data.ByteString.Internal Methods readsPrec :: Int -> ReadS ByteString readList :: ReadS [ByteString] readPrec :: ReadPrec ByteString readListPrec :: ReadPrec [ByteString] | |
| Show ByteString | |
Defined in Data.ByteString.Internal Methods showsPrec :: Int -> ByteString -> ShowS # show :: ByteString -> String # showList :: [ByteString] -> ShowS # | |
| IsString ByteString | |
Defined in Data.ByteString.Internal Methods fromString :: String -> ByteString | |
| Semigroup ByteString | |
Defined in Data.ByteString.Internal Methods (<>) :: ByteString -> ByteString -> ByteString sconcat :: NonEmpty ByteString -> ByteString stimes :: Integral b => b -> ByteString -> ByteString | |
| Monoid ByteString | |
Defined in Data.ByteString.Internal Methods mempty :: ByteString mappend :: ByteString -> ByteString -> ByteString mconcat :: [ByteString] -> ByteString | |
| NFData ByteString | |
Defined in Data.ByteString.Internal Methods rnf :: ByteString -> () | |
| IsGVariant ByteString Source # | |
Defined in Data.GI.Base.GVariant Methods toGVariant :: ByteString -> IO GVariant Source # fromGVariant :: GVariant -> IO (Maybe ByteString) Source # toGVariantFormatString :: ByteString -> Text Source # | |
Instances
| Enum CDouble | |
Defined in Foreign.C.Types | |
| Eq CDouble | |
| Floating CDouble | |
| Fractional CDouble | |
Defined in Foreign.C.Types | |
| Num CDouble | |
| Ord CDouble | |
| Read CDouble | |
Defined in Foreign.C.Types | |
| Real CDouble | |
Defined in Foreign.C.Types Methods toRational :: CDouble -> Rational | |
| RealFloat CDouble | |
Defined in 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 | |
| RealFrac CDouble | |
| Show CDouble | |
| Storable CDouble | |
Instances
| Enum CFloat | |
Defined in Foreign.C.Types | |
| Eq CFloat | |
| Floating CFloat | |
| Fractional CFloat | |
Defined in Foreign.C.Types | |
| Num CFloat | |
| Ord CFloat | |
| Read CFloat | |
Defined in Foreign.C.Types | |
| Real CFloat | |
Defined in Foreign.C.Types Methods toRational :: CFloat -> Rational | |
| RealFloat CFloat | |
Defined in 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 | |
| RealFrac CFloat | |
| Show CFloat | |
| Storable CFloat | |
Instances
| Bounded CInt | |
Defined in Foreign.C.Types | |
| Enum CInt | |
| Eq CInt | |
| Integral CInt | |
| Num CInt | |
| Ord CInt | |
| Read CInt | |
Defined in Foreign.C.Types | |
| Real CInt | |
Defined in Foreign.C.Types Methods toRational :: CInt -> Rational | |
| Show CInt | |
| Bits CInt | |
Defined in Foreign.C.Types | |
| FiniteBits CInt | |
Defined in Foreign.C.Types Methods finiteBitSize :: CInt -> Int countLeadingZeros :: CInt -> Int countTrailingZeros :: CInt -> Int | |
| Storable CInt | |
Defined in Foreign.C.Types | |
| IsGValue CInt Source # | |
Instances
Instances
| Bounded CLong | |
Defined in Foreign.C.Types | |
| Enum CLong | |
| Eq CLong | |
| Integral CLong | |
| Num CLong | |
| Ord CLong | |
| Read CLong | |
Defined in Foreign.C.Types | |
| Real CLong | |
Defined in Foreign.C.Types Methods toRational :: CLong -> Rational | |
| Show CLong | |
| Bits CLong | |
Defined in 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 Foreign.C.Types Methods finiteBitSize :: CLong -> Int countLeadingZeros :: CLong -> Int countTrailingZeros :: CLong -> Int | |
| Storable CLong | |
| IsGValue CLong Source # | |
Instances
| Bounded CUInt | |
Defined in Foreign.C.Types | |
| Enum CUInt | |
| Eq CUInt | |
| Integral CUInt | |
| Num CUInt | |
| Ord CUInt | |
| Read CUInt | |
Defined in Foreign.C.Types | |
| Real CUInt | |
Defined in Foreign.C.Types Methods toRational :: CUInt -> Rational | |
| Show CUInt | |
| Bits CUInt | |
Defined in 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 Foreign.C.Types Methods finiteBitSize :: CUInt -> Int countLeadingZeros :: CUInt -> Int countTrailingZeros :: CUInt -> Int | |
| Storable CUInt | |
| IsGValue CUInt Source # | |
Instances
Instances
Instances
| Eq (Ptr a) | |
| Ord (Ptr a) | |
| Show (Ptr a) | |
| Foldable (UAddr :: Type -> Type) | |
Defined in 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) | |
| IsGValue (Ptr a) Source # | |
Instances
| Eq (FunPtr a) | |
| Ord (FunPtr a) | |
| Show (FunPtr a) | |
| Storable (FunPtr a) | |
castFunPtrToPtr :: FunPtr a -> Ptr b #
castPtrToFunPtr :: Ptr a -> FunPtr b #
data ForeignPtr a #
Instances
| Eq (ForeignPtr a) | |
Defined in GHC.ForeignPtr | |
| Ord (ForeignPtr a) | |
Defined in GHC.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 | |
| Show (ForeignPtr a) | |
Defined in GHC.ForeignPtr Methods showsPrec :: Int -> ForeignPtr a -> ShowS # show :: ForeignPtr a -> String # showList :: [ForeignPtr a] -> ShowS # | |
unsafeForeignPtrToPtr :: ForeignPtr a -> Ptr a #
onException :: IO a -> IO b -> IO a #
type AttrClearC info obj attr = (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.
type AttrGetC info obj attr 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.
data AttrOp obj (tag :: AttrOpTag) where Source #
Constructors for the different operations allowed on an attribute.
Constructors
| (:=) :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy (attr :: Symbol) -> b -> AttrOp obj tag infixr 0 | Assign a value to an attribute |
| (:=>) :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrSetTypeConstraint info b) => AttrLabelProxy (attr :: Symbol) -> IO b -> AttrOp obj tag infixr 0 | Assign the result of an IO action to an attribute |
| (:~) :: (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 :: Symbol) -> (a -> b) -> AttrOp obj tag infixr 0 | Apply an update function to an attribute |
| (:~>) :: (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 :: Symbol) -> (a -> IO b) -> AttrOp obj tag infixr 0 | Apply an IO update function to an attribute |
| (:&=) :: (HasAttributeList obj, info ~ ResolveAttribute attr obj, AttrInfo info, AttrBaseTypeConstraint info obj, AttrOpAllowed tag info obj, AttrTransferTypeConstraint info b, AttrSetTypeConstraint info (AttrTransferType info)) => AttrLabelProxy (attr :: Symbol) -> 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 |
type AttrConstructC info obj attr 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 AttrSetC info obj attr 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.
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 |
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] | |
| Eq AttrOpTag Source # | |
| Ord AttrOpTag Source # | |
Defined in Data.GI.Base.Attributes | |
| Show AttrOpTag Source # | |
type family AttrOpAllowed (tag :: AttrOpTag) (info :: *) (useType :: *) :: Constraint 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 |
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 :: * -> 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 :: * -> Constraint Source #
Constraint on the value being set.
type AttrSetTypeConstraint info = (~) (AttrGetType info)
type AttrTransferTypeConstraint info :: * -> Constraint Source #
Constraint on the value being set, with allocation allowed
(see :&= below).
type AttrTransferTypeConstraint info = (~) (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 :: forall o b. (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 :: forall o b. (AttrBaseTypeConstraint info o, AttrTransferTypeConstraint info b, b ~ AttrGetType info, b ~ AttrTransferType info) => Proxy o -> b -> IO (AttrTransferType info) Source #
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 | |
clear :: forall info attr obj m. (AttrClearC info obj attr, MonadIO m) => obj -> AttrLabelProxy (attr :: Symbol) -> m () Source #
Set a nullable attribute to NULL.
module Data.GI.Base.BasicTypes
The basic type. This corresponds to a wrapped GClosure on the C
side, which is a boxed object.
Instances
| HasParentTypes (GClosure a) Source # | |
Defined in Data.GI.Base.GClosure | |
| GBoxed (GClosure a) Source # |
|
Defined in Data.GI.Base.GClosure | |
| TypedObject (GClosure a) Source # | Find the associated |
| 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
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 -> HaskellCallbackType GObjectNotifySignalInfo -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source # | |
| type HaskellCallbackType GObjectNotifySignalInfo Source # | |
Defined in Data.GI.Base.Signals | |
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. |
class SignalInfo (info :: *) where Source #
Information about an overloaded signal.
Methods
connectSignal :: GObject 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.
Instances
| SignalInfo GObjectNotifySignalInfo Source # | |
Defined in Data.GI.Base.Signals Associated Types Methods connectSignal :: GObject o => o -> HaskellCallbackType GObjectNotifySignalInfo -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source # | |
type SignalHandlerId = CULong Source #
Type of a GObject signal handler id.
connectSignalFunPtr :: GObject o => o -> Text -> FunPtr a -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source #
Connect a signal to a handler, given as a FunPtr.
module Data.GI.Base.Utils
Instances
| Enum Bool | |
| Enum Char | |
| Enum Int | |
| Enum Int8 | |
| Enum Int16 | |
| Enum Int32 | |
| Enum Int64 | |
| Enum Integer | |
Defined in GHC.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.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 Ordering | |
Defined in GHC.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 Word | |
Defined in GHC.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 Word8 | |
| Enum Word16 | |
| Enum Word32 | |
| Enum Word64 | |
| Enum VecCount | |
Defined in GHC.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.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 () | |
Defined in GHC.Enum Methods succ :: () -> () pred :: () -> () enumFrom :: () -> [()] enumFromThen :: () -> () -> [()] enumFromTo :: () -> () -> [()] enumFromThenTo :: () -> () -> () -> [()] | |
| Enum CBool | |
Defined in 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 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 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 Foreign.C.Types | |
| Enum CFloat | |
Defined in Foreign.C.Types | |
| Enum CInt | |
| Enum CIntMax | |
Defined in 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 Foreign.C.Types | |
| Enum CLLong | |
Defined in 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 | |
| Enum CPtrdiff | |
Defined in 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 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 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 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 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 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 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 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 | |
| Enum CUIntMax | |
Defined in 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 Foreign.C.Types | |
| Enum CULLong | |
Defined in 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 Foreign.C.Types | |
| Enum CUSeconds | |
Defined in 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 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 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 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 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 I16 | |
Defined in Data.Text.Foreign Methods succ :: I16 -> I16 pred :: I16 -> I16 enumFrom :: I16 -> [I16] enumFromThen :: I16 -> I16 -> [I16] enumFromTo :: I16 -> I16 -> [I16] enumFromThenTo :: I16 -> I16 -> I16 -> [I16] | |
| 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] | |
| Integral a => Enum (Ratio a) | |
Defined in GHC.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 (Proxy s) | |
Defined in 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] | |
Instances
| Show Bool | |
| Show Char | |
| Show Int | |
| Show Int8 | |
| Show Int16 | |
| Show Int32 | |
| Show Int64 | |
| Show Integer | |
| Show Natural | |
| Show Ordering | |
| Show Word | |
| Show Word8 | |
| Show Word16 | |
| Show Word32 | |
| Show Word64 | |
| Show RuntimeRep | |
| Show VecCount | |
| Show VecElem | |
| Show CallStack | |
| Show SomeTypeRep | |
| Show () | |
| Show TyCon | |
| Show Module | |
| Show TrName | |
| Show KindRep | |
| Show TypeLitSort | |
| Show SrcLoc | |
| Show SomeException | |
| Show ErrorCall | |
| Show ArithException | |
| Show NestedAtomically | |
| Show NoMethodError | |
| Show NonTermination | |
| Show PatternMatchFail | |
| Show RecConError | |
| Show RecSelError | |
| Show RecUpdError | |
| Show TypeError | |
| Show MaskingState | |
| Show AllocationLimitExceeded | |
| Show ArrayException | |
| Show AssertionFailed | |
| Show AsyncException | |
| Show BlockedIndefinitelyOnMVar | |
| Show BlockedIndefinitelyOnSTM | |
| Show CompactionFailed | |
| Show Deadlock | |
| Show IOException | |
| Show SomeAsyncException | |
| Show ByteString | |
Defined in Data.ByteString.Internal Methods showsPrec :: Int -> ByteString -> ShowS # show :: ByteString -> String # showList :: [ByteString] -> ShowS # | |
| 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 Handle | |
| Show UnexpectedNullPointerReturn Source # | |
Defined in Data.GI.Base.BasicTypes Methods showsPrec :: Int -> UnexpectedNullPointerReturn -> ShowS # show :: UnexpectedNullPointerReturn -> String # showList :: [UnexpectedNullPointerReturn] -> ShowS # | |
| Show SomeSymbol | |
| Show SomeNat | |
| Show I16 | |
| Show BufferMode | |
| Show Newline | |
| Show NewlineMode | |
| Show HandleType | |
| Show FixIOException | |
| Show GVariantSignature Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantSignature -> ShowS # show :: GVariantSignature -> String # showList :: [GVariantSignature] -> ShowS # | |
| Show GVariantObjectPath Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantObjectPath -> ShowS # show :: GVariantObjectPath -> String # showList :: [GVariantObjectPath] -> ShowS # | |
| Show GVariantHandle Source # | |
Defined in Data.GI.Base.GVariant Methods showsPrec :: Int -> GVariantHandle -> ShowS # show :: GVariantHandle -> String # showList :: [GVariantHandle] -> ShowS # | |
| Show AttrOpTag Source # | |
| Show GError Source # | |
| Show ExitCode | |
| Show IOErrorType | |
| Show a => Show [a] | |
| Show a => Show (Maybe a) | |
| Show a => Show (Ratio a) | |
| Show (Ptr a) | |
| Show (FunPtr a) | |
| Show a => Show (NonEmpty a) | |
| Show (ForeignPtr a) | |
Defined in GHC.ForeignPtr Methods showsPrec :: Int -> ForeignPtr a -> ShowS # show :: ForeignPtr a -> String # showList :: [ForeignPtr a] -> ShowS # | |
| Show a => Show (ZipList a) | |
| 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 b) => Show (Either a b) | |
| Show (TypeRep a) | |
| (Show a, Show b) => Show (a, b) | |
| Show (Proxy s) | |
| (Show k, Show a) => Show (Map k a) | |
| (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 c) => Show (a, b, c) | |
| (Show a, Show b, Show c, Show d) => Show (a, b, c, d) | |
| (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 Bool | |
| Eq Char | |
| Eq Double | |
| Eq Float | |
| Eq Int | |
| Eq Int8 | |
| Eq Int16 | |
| Eq Int32 | |
| Eq Int64 | |
| Eq Integer | |
| Eq Natural | |
| Eq Ordering | |
| Eq Word | |
| Eq Word8 | |
| Eq Word16 | |
| Eq Word32 | |
| Eq Word64 | |
| Eq SomeTypeRep | |
| Eq () | |
| Eq TyCon | |
| Eq Module | |
| Eq TrName | |
| Eq SrcLoc | |
| Eq ErrorCall | |
| Eq ArithException | |
| Eq MaskingState | |
| Eq ArrayException | |
| Eq AsyncException | |
| Eq IOException | |
| Eq ByteString | |
Defined in Data.ByteString.Internal | |
| Eq Errno | |
| 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 Handle | |
| Eq BigNat | |
| Eq SpecConstrAnnotation | |
| Eq SomeSymbol | |
| Eq SomeNat | |
| Eq I16 | |
| Eq BufferMode | |
| Eq Newline | |
| Eq NewlineMode | |
| Eq GVariantSignature Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantSignature -> GVariantSignature -> Bool # (/=) :: GVariantSignature -> GVariantSignature -> Bool # | |
| Eq GVariantObjectPath Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantObjectPath -> GVariantObjectPath -> Bool # (/=) :: GVariantObjectPath -> GVariantObjectPath -> Bool # | |
| Eq GVariantHandle Source # | |
Defined in Data.GI.Base.GVariant Methods (==) :: GVariantHandle -> GVariantHandle -> Bool # (/=) :: GVariantHandle -> GVariantHandle -> Bool # | |
| Eq AttrOpTag Source # | |
| Eq ExitCode | |
| Eq IOErrorType | |
| Eq a => Eq [a] | |
| Eq a => Eq (Maybe a) | |
| Eq a => Eq (Ratio a) | |
| Eq (StablePtr a) | |
| Eq (Ptr a) | |
| Eq (FunPtr a) | |
| Eq a => Eq (NonEmpty a) | |
| Eq (IORef a) | |
| Eq (ForeignPtr a) | |
Defined in GHC.ForeignPtr | |
| Eq (ManagedPtr a) Source # | Two |
Defined in Data.GI.Base.BasicTypes | |
| Eq a => Eq (ZipList a) | |
| 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 b) => Eq (Either a b) | |
| Eq (TypeRep a) | |
| (Eq a, Eq b) => Eq (a, b) | |
| Eq (Proxy s) | |
| (Eq k, Eq a) => Eq (Map k a) | |
| (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 c) => Eq (a, b, c) | |
| (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) | |
| (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
| Monad IO | |
| Functor IO | |
| MonadFix IO | |
Defined in Control.Monad.Fix | |
| MonadFail IO | |
Defined in Control.Monad.Fail | |
| Applicative IO | |
| Alternative IO | |
| MonadPlus IO | |
| MonadIO IO | |
Defined in Control.Monad.IO.Class | |
| Semigroup a => Semigroup (IO a) | |
| Monoid a => Monoid (IO a) | |
class Applicative m => Monad (m :: Type -> Type) where #
Minimal complete definition
Instances
| Monad [] | |
| Monad Maybe | |
| Monad IO | |
| Monad NonEmpty | |
| Monad P | |
| Monad ReadP | |
| Monad (Either e) | |
| Monoid a => Monad ((,) a) | |
| Monad (Proxy :: Type -> Type) | |
| Monad m => Monad (WrappedMonad m) | |
| (Monoid a, Monoid b) => Monad ((,,) a b) | |
| Monad ((->) r :: Type -> Type) | |
| (Monoid a, Monoid b, Monoid c) => Monad ((,,,) a b c) | |
| (Applicative f, Monad f) => Monad (WhenMissing f k x) | |
| (Monad f, Applicative f) => Monad (WhenMatched f k x y) | |
Instances
| Monad Maybe | |
| Functor Maybe | |
| MonadFix Maybe | |
Defined in Control.Monad.Fix | |
| MonadFail Maybe | |
Defined in Control.Monad.Fail | |
| Applicative Maybe | |
| Foldable Maybe | |
Defined in 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 | |
| Alternative Maybe | |
| MonadPlus Maybe | |
| Eq a => Eq (Maybe a) | |
| Ord a => Ord (Maybe a) | |
| Read a => Read (Maybe a) | |
| Show a => Show (Maybe a) | |
| Semigroup a => Semigroup (Maybe a) | |
| Semigroup a => Monoid (Maybe a) | |
| IsGVariant a => IsGVariant (Maybe a) Source # | |
Defined in Data.GI.Base.GVariant | |
| IsGValue (Maybe String) Source # | |
| IsGValue (Maybe Text) Source # | |
Instances
| Bounded Bool | |
| Enum Bool | |
| Eq Bool | |
| Ord Bool | |
| Read Bool | |
| Show Bool | |
| Bits Bool | |
Defined in Data.Bits | |
| FiniteBits Bool | |
Defined in Data.Bits Methods finiteBitSize :: Bool -> Int countLeadingZeros :: Bool -> Int countTrailingZeros :: Bool -> Int | |
| Storable Bool | |
Defined in Foreign.Storable | |
| IsGVariantBasicType Bool Source # | |
Defined in Data.GI.Base.GVariant | |
| IsGVariant Bool Source # | |
Defined in Data.GI.Base.GVariant | |
| IsGValue Bool Source # | |
Instances
| Eq Float | |
| Floating Float | |
| Ord Float | |
| Read Float | |
| RealFloat Float | |
Defined in GHC.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 | |
| IsGValue Float Source # | |
| Foldable (UFloat :: Type -> Type) | |
Defined in 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) | |
Instances
| Eq Double | |
| Floating Double | |
| Ord Double | |
| Read Double | |
| RealFloat Double | |
Defined in GHC.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 | |
| IsGVariantBasicType Double Source # | |
Defined in Data.GI.Base.GVariant | |
| IsGVariant Double Source # | |
Defined in Data.GI.Base.GVariant | |
| IsGValue Double Source # | |
| Foldable (UDouble :: Type -> Type) | |
Defined in 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) | |
undefined :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => a #
error :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => [Char] -> a #
fromIntegral :: (Integral a, Num b) => a -> b #
realToFrac :: (Real a, Fractional b) => a -> b #