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 #