Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
- On :: (GObject obj, SignalInfo info) => SignalProxy obj info -> HaskellCallbackType info -> 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
- type SignalHandlerId = CULong
- class SignalInfo (info :: *) where
- type HaskellCallbackType info :: *
- connectSignal :: GObject o => o -> HaskellCallbackType info -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId
- data SignalConnectMode
- data GObjectNotifySignalInfo
- 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 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 toRational :: Int -> Rational | |
Show Int | |
Bits Int | |
Defined in Data.Bits 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 | |
Foldable (UInt :: Type -> Type) | |
Defined in Data.Foldable 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 toRational :: Int8 -> Rational | |
Show Int8 | |
Ix Int8 | |
Bits Int8 | |
Defined in GHC.Int | |
FiniteBits Int8 | |
Defined in GHC.Int | |
Storable Int8 | |
Defined in Foreign.Storable |
Instances
Bounded Int16 | |
Enum Int16 | |
Eq Int16 | |
Integral Int16 | |
Num Int16 | |
Ord Int16 | |
Read Int16 | |
Real Int16 | |
Defined in GHC.Int toRational :: Int16 -> Rational | |
Show Int16 | |
Ix Int16 | |
Bits Int16 | |
Defined in GHC.Int (.&.) :: Int16 -> Int16 -> Int16 (.|.) :: Int16 -> Int16 -> Int16 xor :: Int16 -> Int16 -> Int16 complement :: Int16 -> Int16 shift :: Int16 -> Int -> Int16 rotate :: Int16 -> Int -> Int16 setBit :: Int16 -> Int -> Int16 clearBit :: Int16 -> Int -> Int16 complementBit :: Int16 -> Int -> Int16 testBit :: Int16 -> Int -> Bool bitSizeMaybe :: Int16 -> Maybe Int shiftL :: Int16 -> Int -> Int16 unsafeShiftL :: Int16 -> Int -> Int16 shiftR :: Int16 -> Int -> Int16 unsafeShiftR :: Int16 -> Int -> Int16 rotateL :: Int16 -> Int -> Int16 | |
FiniteBits Int16 | |
Defined in GHC.Int | |
Storable Int16 | |
Defined in Foreign.Storable | |
IsGVariantBasicType Int16 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGVariant Int16 Source # | |
Defined in Data.GI.Base.GVariant |
Instances
Bounded Int32 | |
Enum Int32 | |
Eq Int32 | |
Integral Int32 | |
Num Int32 | |
Ord Int32 | |
Read Int32 | |
Real Int32 | |
Defined in GHC.Int toRational :: Int32 -> Rational | |
Show Int32 | |
Ix Int32 | |
Bits Int32 | |
Defined in GHC.Int (.&.) :: Int32 -> Int32 -> Int32 (.|.) :: Int32 -> Int32 -> Int32 xor :: Int32 -> Int32 -> Int32 complement :: Int32 -> Int32 shift :: Int32 -> Int -> Int32 rotate :: Int32 -> Int -> Int32 setBit :: Int32 -> Int -> Int32 clearBit :: Int32 -> Int -> Int32 complementBit :: Int32 -> Int -> Int32 testBit :: Int32 -> Int -> Bool bitSizeMaybe :: Int32 -> Maybe Int shiftL :: Int32 -> Int -> Int32 unsafeShiftL :: Int32 -> Int -> Int32 shiftR :: Int32 -> Int -> Int32 unsafeShiftR :: Int32 -> Int -> Int32 rotateL :: Int32 -> Int -> Int32 | |
FiniteBits Int32 | |
Defined in GHC.Int | |
Storable Int32 | |
Defined in Foreign.Storable | |
IsGVariantBasicType Int32 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGVariant Int32 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGValue Int32 Source # | |
Instances
Bounded Int64 | |
Enum Int64 | |
Eq Int64 | |
Integral Int64 | |
Num Int64 | |
Ord Int64 | |
Read Int64 | |
Real Int64 | |
Defined in GHC.Int toRational :: Int64 -> Rational | |
Show Int64 | |
Ix Int64 | |
Bits Int64 | |
Defined in GHC.Int (.&.) :: Int64 -> Int64 -> Int64 (.|.) :: Int64 -> Int64 -> Int64 xor :: Int64 -> Int64 -> Int64 complement :: Int64 -> Int64 shift :: Int64 -> Int -> Int64 rotate :: Int64 -> Int -> Int64 setBit :: Int64 -> Int -> Int64 clearBit :: Int64 -> Int -> Int64 complementBit :: Int64 -> Int -> Int64 testBit :: Int64 -> Int -> Bool bitSizeMaybe :: Int64 -> Maybe Int shiftL :: Int64 -> Int -> Int64 unsafeShiftL :: Int64 -> Int -> Int64 shiftR :: Int64 -> Int -> Int64 unsafeShiftR :: Int64 -> Int -> Int64 rotateL :: Int64 -> Int -> Int64 | |
FiniteBits Int64 | |
Defined in GHC.Int | |
Storable Int64 | |
Defined in Foreign.Storable | |
IsGVariantBasicType Int64 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGVariant Int64 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGValue Int64 Source # | |
Instances
Bounded Word8 | |
Enum Word8 | |
Eq Word8 | |
Integral Word8 | |
Num Word8 | |
Ord Word8 | |
Read Word8 | |
Real Word8 | |
Defined in GHC.Word toRational :: Word8 -> Rational | |
Show Word8 | |
Ix Word8 | |
Bits Word8 | |
Defined in GHC.Word (.&.) :: Word8 -> Word8 -> Word8 (.|.) :: Word8 -> Word8 -> Word8 xor :: Word8 -> Word8 -> Word8 complement :: Word8 -> Word8 shift :: Word8 -> Int -> Word8 rotate :: Word8 -> Int -> Word8 setBit :: Word8 -> Int -> Word8 clearBit :: Word8 -> Int -> Word8 complementBit :: Word8 -> Int -> Word8 testBit :: Word8 -> Int -> Bool bitSizeMaybe :: Word8 -> Maybe Int shiftL :: Word8 -> Int -> Word8 unsafeShiftL :: Word8 -> Int -> Word8 shiftR :: Word8 -> Int -> Word8 unsafeShiftR :: Word8 -> Int -> Word8 rotateL :: Word8 -> Int -> Word8 | |
FiniteBits Word8 | |
Defined in GHC.Word | |
Storable Word8 | |
Defined in Foreign.Storable | |
IsGVariantBasicType Word8 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGVariant Word8 Source # | |
Defined in Data.GI.Base.GVariant |
Instances
Bounded Word16 | |
Enum Word16 | |
Eq Word16 | |
Integral Word16 | |
Num Word16 | |
Ord Word16 | |
Read Word16 | |
Real Word16 | |
Defined in GHC.Word toRational :: Word16 -> Rational | |
Show Word16 | |
Ix Word16 | |
Bits Word16 | |
Defined in GHC.Word (.&.) :: Word16 -> Word16 -> Word16 (.|.) :: Word16 -> Word16 -> Word16 xor :: Word16 -> Word16 -> Word16 complement :: Word16 -> Word16 shift :: Word16 -> Int -> Word16 rotate :: Word16 -> Int -> Word16 setBit :: Word16 -> Int -> Word16 clearBit :: Word16 -> Int -> Word16 complementBit :: Word16 -> Int -> Word16 testBit :: Word16 -> Int -> Bool bitSizeMaybe :: Word16 -> Maybe Int shiftL :: Word16 -> Int -> Word16 unsafeShiftL :: Word16 -> Int -> Word16 shiftR :: Word16 -> Int -> Word16 unsafeShiftR :: Word16 -> Int -> Word16 rotateL :: Word16 -> Int -> Word16 | |
FiniteBits Word16 | |
Defined in GHC.Word | |
Storable Word16 | |
IsGVariantBasicType Word16 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGVariant Word16 Source # | |
Defined in Data.GI.Base.GVariant |
Instances
Bounded Word32 | |
Enum Word32 | |
Eq Word32 | |
Integral Word32 | |
Num Word32 | |
Ord Word32 | |
Read Word32 | |
Real Word32 | |
Defined in GHC.Word toRational :: Word32 -> Rational | |
Show Word32 | |
Ix Word32 | |
Bits Word32 | |
Defined in GHC.Word (.&.) :: Word32 -> Word32 -> Word32 (.|.) :: Word32 -> Word32 -> Word32 xor :: Word32 -> Word32 -> Word32 complement :: Word32 -> Word32 shift :: Word32 -> Int -> Word32 rotate :: Word32 -> Int -> Word32 setBit :: Word32 -> Int -> Word32 clearBit :: Word32 -> Int -> Word32 complementBit :: Word32 -> Int -> Word32 testBit :: Word32 -> Int -> Bool bitSizeMaybe :: Word32 -> Maybe Int shiftL :: Word32 -> Int -> Word32 unsafeShiftL :: Word32 -> Int -> Word32 shiftR :: Word32 -> Int -> Word32 unsafeShiftR :: Word32 -> Int -> Word32 rotateL :: Word32 -> Int -> Word32 | |
FiniteBits Word32 | |
Defined in GHC.Word | |
Storable Word32 | |
IsGVariantBasicType Word32 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGVariant Word32 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGValue Word32 Source # | |
Instances
Bounded Word64 | |
Enum Word64 | |
Eq Word64 | |
Integral Word64 | |
Num Word64 | |
Ord Word64 | |
Read Word64 | |
Real Word64 | |
Defined in GHC.Word toRational :: Word64 -> Rational | |
Show Word64 | |
Ix Word64 | |
Bits Word64 | |
Defined in GHC.Word (.&.) :: Word64 -> Word64 -> Word64 (.|.) :: Word64 -> Word64 -> Word64 xor :: Word64 -> Word64 -> Word64 complement :: Word64 -> Word64 shift :: Word64 -> Int -> Word64 rotate :: Word64 -> Int -> Word64 setBit :: Word64 -> Int -> Word64 clearBit :: Word64 -> Int -> Word64 complementBit :: Word64 -> Int -> Word64 testBit :: Word64 -> Int -> Bool bitSizeMaybe :: Word64 -> Maybe Int shiftL :: Word64 -> Int -> Word64 unsafeShiftL :: Word64 -> Int -> Word64 shiftR :: Word64 -> Int -> Word64 unsafeShiftR :: Word64 -> Int -> Word64 rotateL :: Word64 -> Int -> Word64 | |
FiniteBits Word64 | |
Defined in GHC.Word | |
Storable Word64 | |
IsGVariantBasicType Word64 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGVariant Word64 Source # | |
Defined in Data.GI.Base.GVariant | |
IsGValue Word64 Source # | |
data ByteString #
Instances
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 toRational :: CDouble -> Rational | |
RealFloat CDouble | |
Defined in Foreign.C.Types 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 | |
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 toRational :: CFloat -> Rational | |
RealFloat CFloat | |
Defined in Foreign.C.Types 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 toRational :: CInt -> Rational | |
Show CInt | |
Bits CInt | |
Defined in Foreign.C.Types | |
FiniteBits CInt | |
Defined in Foreign.C.Types | |
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 toRational :: CLong -> Rational | |
Show CLong | |
Bits CLong | |
Defined in Foreign.C.Types (.&.) :: 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 | |
Storable CLong | |
Defined in Foreign.C.Types | |
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 toRational :: CUInt -> Rational | |
Show CUInt | |
Bits CUInt | |
Defined in Foreign.C.Types (.&.) :: 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 | |
Storable CUInt | |
Defined in Foreign.C.Types | |
IsGValue CUInt Source # | |
Instances
Instances
Bounded CULong | |
Defined in Foreign.C.Types | |
Enum CULong | |
Eq CULong | |
Integral CULong | |
Num CULong | |
Ord CULong | |
Read CULong | |
Defined in Foreign.C.Types | |
Real CULong | |
Defined in Foreign.C.Types toRational :: CULong -> Rational | |
Show CULong | |
Bits CULong | |
Defined in Foreign.C.Types (.&.) :: CULong -> CULong -> CULong (.|.) :: CULong -> CULong -> CULong xor :: CULong -> CULong -> CULong complement :: CULong -> CULong shift :: CULong -> Int -> CULong rotate :: CULong -> Int -> CULong setBit :: CULong -> Int -> CULong clearBit :: CULong -> Int -> CULong complementBit :: CULong -> Int -> CULong testBit :: CULong -> Int -> Bool bitSizeMaybe :: CULong -> Maybe Int shiftL :: CULong -> Int -> CULong unsafeShiftL :: CULong -> Int -> CULong shiftR :: CULong -> Int -> CULong unsafeShiftR :: CULong -> Int -> CULong rotateL :: CULong -> Int -> CULong | |
FiniteBits CULong | |
Defined in Foreign.C.Types | |
Storable CULong | |
IsGValue CULong Source # | |
Instances
Eq (Ptr a) | |
Ord (Ptr a) | |
Show (Ptr a) | |
Foldable (UAddr :: Type -> Type) | |
Defined in Data.Foldable 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 (==) :: ForeignPtr a -> ForeignPtr a -> Bool # (/=) :: ForeignPtr a -> ForeignPtr a -> Bool # | |
Ord (ForeignPtr a) | |
Defined in GHC.ForeignPtr 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 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.
(:=) :: (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 |
On :: (GObject obj, SignalInfo info) => SignalProxy obj info -> HaskellCallbackType info -> AttrOp obj tag | Connect the given signal to a signal handler. |
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.
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 | |
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.
AttrOpAllowed tag info useType = AttrOpIsAllowed tag (AttrAllowedOps info) (AttrLabel info) (AttrOrigin info) useType |
class AttrInfo (info :: *) where Source #
Info describing an attribute.
Nothing
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.
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.
Instances
a ~ x => IsLabel x (AttrLabelProxy a) Source # | |
Defined in Data.GI.Base.Attributes 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
type SignalHandlerId = CULong Source #
Type of a GObject
signal handler id.
class SignalInfo (info :: *) where Source #
Information about an overloaded signal.
type HaskellCallbackType info :: * Source #
The type for the signal handler.
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 connectSignal :: GObject o => o -> HaskellCallbackType GObjectNotifySignalInfo -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source # |
data SignalConnectMode Source #
Whether to connect a handler to a signal with connectSignal
so
that it runs before/after the default handler for the given signal.
SignalConnectBefore | Run before the default handler. |
SignalConnectAfter | Run after the default handler. |
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 connectSignal :: GObject o => o -> HaskellCallbackType GObjectNotifySignalInfo -> SignalConnectMode -> Maybe Text -> IO SignalHandlerId Source # | |
type HaskellCallbackType GObjectNotifySignalInfo Source # | |
Defined in Data.GI.Base.Signals |
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 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 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 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 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 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 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 succ :: () -> () pred :: () -> () enumFrom :: () -> [()] enumFromThen :: () -> () -> [()] enumFromTo :: () -> () -> [()] enumFromThenTo :: () -> () -> () -> [()] | |
Enum CBool | |
Defined in Foreign.C.Types 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 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 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 | |
Enum CInt | |
Enum CIntMax | |
Defined in Foreign.C.Types 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 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 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 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 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 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 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 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 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 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 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 succ :: CULLong -> CULLong pred :: CULLong -> CULLong enumFrom :: CULLong -> [CULLong] enumFromThen :: CULLong -> CULLong -> [CULLong] enumFromTo :: CULLong -> CULLong -> [CULLong] enumFromThenTo :: CULLong -> CULLong -> CULLong -> [CULLong] | |
Enum CULong | |
Enum CUSeconds | |
Defined in Foreign.C.Types 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 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 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 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 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 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 | |
Enum GParamFlag Source # | |
Defined in Data.GI.Base.GParamSpec succ :: GParamFlag -> GParamFlag pred :: GParamFlag -> GParamFlag toEnum :: Int -> GParamFlag # fromEnum :: GParamFlag -> Int # enumFrom :: GParamFlag -> [GParamFlag] enumFromThen :: GParamFlag -> GParamFlag -> [GParamFlag] enumFromTo :: GParamFlag -> GParamFlag -> [GParamFlag] enumFromThenTo :: GParamFlag -> GParamFlag -> GParamFlag -> [GParamFlag] | |
Integral a => Enum (Ratio a) | |
Defined in GHC.Real 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 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 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 showsPrec :: Int -> UnexpectedNullPointerReturn -> ShowS # show :: UnexpectedNullPointerReturn -> String # showList :: [UnexpectedNullPointerReturn] -> ShowS # | |
Show GType Source # | |
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 showsPrec :: Int -> GVariantSignature -> ShowS # show :: GVariantSignature -> String # showList :: [GVariantSignature] -> ShowS # | |
Show GVariantObjectPath Source # | |
Defined in Data.GI.Base.GVariant showsPrec :: Int -> GVariantObjectPath -> ShowS # show :: GVariantObjectPath -> String # showList :: [GVariantObjectPath] -> ShowS # | |
Show GVariantHandle Source # | |
Defined in Data.GI.Base.GVariant showsPrec :: Int -> GVariantHandle -> ShowS # show :: GVariantHandle -> String # showList :: [GVariantHandle] -> ShowS # | |
Show AttrOpTag Source # | |
Show GParamFlag Source # | |
Defined in Data.GI.Base.GParamSpec showsPrec :: Int -> GParamFlag -> ShowS # show :: GParamFlag -> String # showList :: [GParamFlag] -> ShowS # | |
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 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 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 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 (==) :: ByteString -> ByteString -> Bool # (/=) :: ByteString -> ByteString -> Bool # | |
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 GType Source # | |
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 (==) :: GVariantSignature -> GVariantSignature -> Bool # (/=) :: GVariantSignature -> GVariantSignature -> Bool # | |
Eq GVariantObjectPath Source # | |
Defined in Data.GI.Base.GVariant (==) :: GVariantObjectPath -> GVariantObjectPath -> Bool # (/=) :: GVariantObjectPath -> GVariantObjectPath -> Bool # | |
Eq GVariantHandle Source # | |
Defined in Data.GI.Base.GVariant (==) :: GVariantHandle -> GVariantHandle -> Bool # (/=) :: GVariantHandle -> GVariantHandle -> Bool # | |
Eq AttrOpTag Source # | |
Eq GParamFlag Source # | |
Defined in Data.GI.Base.GParamSpec (==) :: GParamFlag -> GParamFlag -> Bool # (/=) :: GParamFlag -> GParamFlag -> Bool # | |
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 (==) :: ForeignPtr a -> ForeignPtr a -> Bool # (/=) :: ForeignPtr a -> ForeignPtr a -> Bool # | |
Eq (ManagedPtr a) Source # | Two |
Defined in Data.GI.Base.BasicTypes (==) :: ManagedPtr a -> ManagedPtr a -> Bool # (/=) :: ManagedPtr a -> ManagedPtr a -> Bool # | |
Eq a => Eq (ZipList a) | |
Eq a => Eq (GVariantSinglet a) Source # | |
Defined in Data.GI.Base.GVariant (==) :: 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 (==) :: 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 #
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 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 | |
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 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 | |
Defined in Foreign.Storable | |
IsGValue Float Source # | |
Foldable (UFloat :: Type -> Type) | |
Defined in Data.Foldable 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 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 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 #