Safe Haskell	Safe-Inferred
Language	Haskell2010

Bindings.HDF5.PropertyList

Synopsis

data PropertyListClassID
root :: PropertyListClassID
objectCreate :: PropertyListClassID
fileCreate :: PropertyListClassID
fileAccess :: PropertyListClassID
datasetCreate :: PropertyListClassID
datasetAccess :: PropertyListClassID
datasetXfer :: PropertyListClassID
fileMount :: PropertyListClassID
groupCreate :: PropertyListClassID
groupAccess :: PropertyListClassID
datatypeCreate :: PropertyListClassID
datatypeAccess :: PropertyListClassID
stringCreate :: PropertyListClassID
attributeCreate :: PropertyListClassID
objectCopy :: PropertyListClassID
linkCreate :: PropertyListClassID
linkAccess :: PropertyListClassID
getClassName :: PropertyListClassID -> IO ByteString
data PropertyListID
class (HId t, FromHId t) => PropertyListOrClass t
class PropertyListOrClass t => PropertyList t where
- staticPlistClass :: Tagged t PropertyListClassID
newtype Tagged (s :: k) b = Tagged {
- unTagged :: b
}
castPropertyList :: (PropertyList a, PropertyList b) => a -> IO (Maybe b)
createPropertyList :: PropertyList t => IO t
createPropertyListWithClass :: PropertyListClassID -> IO PropertyListID
propertyExists :: PropertyList t => t -> ByteString -> IO Bool
getPropertySize :: PropertyListOrClass t => t -> ByteString -> IO CSize
getNProps :: PropertyListOrClass t => t -> IO CSize
getPropertyListClass :: PropertyList t => t -> IO PropertyListClassID
getPropertyListClassParent :: PropertyListClassID -> IO PropertyListClassID
propertyListsEqual :: (PropertyListOrClass a, PropertyListOrClass b) => a -> b -> IO Bool
propertyListIsA :: PropertyList t => t -> PropertyListClassID -> IO Bool
closePropertyListClass :: PropertyListClassID -> IO ()
closePropertyList :: PropertyList t => t -> IO ()

Documentation

data PropertyListClassID Source #

Instances

Instances details

Eq PropertyListClassID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods (==) :: PropertyListClassID -> PropertyListClassID -> Bool Source # (/=) :: PropertyListClassID -> PropertyListClassID -> Bool Source #
HDFResultType PropertyListClassID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods isError :: PropertyListClassID -> Bool Source #
FromHId PropertyListClassID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods uncheckedFromHId :: HId_t -> PropertyListClassID Source #
HId PropertyListClassID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods hid :: PropertyListClassID -> HId_t Source #
PropertyListOrClass PropertyListClassID Source #
Instance details Defined in Bindings.HDF5.PropertyList

root :: PropertyListClassID Source #

objectCreate :: PropertyListClassID Source #

fileCreate :: PropertyListClassID Source #

fileAccess :: PropertyListClassID Source #

datasetCreate :: PropertyListClassID Source #

datasetAccess :: PropertyListClassID Source #

datasetXfer :: PropertyListClassID Source #

fileMount :: PropertyListClassID Source #

groupCreate :: PropertyListClassID Source #

groupAccess :: PropertyListClassID Source #

datatypeCreate :: PropertyListClassID Source #

datatypeAccess :: PropertyListClassID Source #

stringCreate :: PropertyListClassID Source #

attributeCreate :: PropertyListClassID Source #

objectCopy :: PropertyListClassID Source #

linkCreate :: PropertyListClassID Source #

linkAccess :: PropertyListClassID Source #

getClassName :: PropertyListClassID -> IO ByteString Source #

data PropertyListID Source #

Instances

Instances details

Eq PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods (==) :: PropertyListID -> PropertyListID -> Bool Source # (/=) :: PropertyListID -> PropertyListID -> Bool Source #
HDFResultType PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods isError :: PropertyListID -> Bool Source #
FromHId PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods uncheckedFromHId :: HId_t -> PropertyListID Source #
HId PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods hid :: PropertyListID -> HId_t Source #
PropertyList PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods staticPlistClass :: Tagged PropertyListID PropertyListClassID Source #
PropertyListOrClass PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList

class (HId t, FromHId t) => PropertyListOrClass t Source #

Instances

Instances details

PropertyListOrClass PropertyListClassID Source #
Instance details Defined in Bindings.HDF5.PropertyList
PropertyListOrClass PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList
PropertyListOrClass DAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.DAPL
PropertyListOrClass DCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.DCPL
PropertyListOrClass DXPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.DXPL
PropertyListOrClass FAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.FAPL
PropertyListOrClass FCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.FCPL
PropertyListOrClass FMPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.FMPL
PropertyListOrClass GAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.GAPL
PropertyListOrClass GCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.GCPL
PropertyListOrClass LAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.LAPL
PropertyListOrClass LCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.LCPL
PropertyListOrClass OCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.OCPL
PropertyListOrClass OCPYPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.OCPYPL
PropertyListOrClass STRCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.STRCPL
PropertyListOrClass TAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.TAPL
PropertyListOrClass TCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.TCPL

class PropertyListOrClass t => PropertyList t where Source #

Methods

staticPlistClass :: Tagged t PropertyListClassID Source #

Instances

Instances details

PropertyList PropertyListID Source #
Instance details Defined in Bindings.HDF5.PropertyList Methods staticPlistClass :: Tagged PropertyListID PropertyListClassID Source #
PropertyList DAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.DAPL Methods staticPlistClass :: Tagged DAPL PropertyListClassID Source #
PropertyList DCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.DCPL Methods staticPlistClass :: Tagged DCPL PropertyListClassID Source #
PropertyList DXPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.DXPL Methods staticPlistClass :: Tagged DXPL PropertyListClassID Source #
PropertyList FAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.FAPL Methods staticPlistClass :: Tagged FAPL PropertyListClassID Source #
PropertyList FCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.FCPL Methods staticPlistClass :: Tagged FCPL PropertyListClassID Source #
PropertyList FMPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.FMPL Methods staticPlistClass :: Tagged FMPL PropertyListClassID Source #
PropertyList GAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.GAPL Methods staticPlistClass :: Tagged GAPL PropertyListClassID Source #
PropertyList GCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.GCPL Methods staticPlistClass :: Tagged GCPL PropertyListClassID Source #
PropertyList LAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.LAPL Methods staticPlistClass :: Tagged LAPL PropertyListClassID Source #
PropertyList LCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.LCPL Methods staticPlistClass :: Tagged LCPL PropertyListClassID Source #
PropertyList OCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.OCPL Methods staticPlistClass :: Tagged OCPL PropertyListClassID Source #
PropertyList OCPYPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.OCPYPL Methods staticPlistClass :: Tagged OCPYPL PropertyListClassID Source #
PropertyList STRCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.STRCPL Methods staticPlistClass :: Tagged STRCPL PropertyListClassID Source #
PropertyList TAPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.TAPL Methods staticPlistClass :: Tagged TAPL PropertyListClassID Source #
PropertyList TCPL Source #
Instance details Defined in Bindings.HDF5.PropertyList.TCPL Methods staticPlistClass :: Tagged TCPL PropertyListClassID Source #

newtype Tagged (s :: k) b Source #

A Tagged s b value is a value b with an attached phantom type s. This can be used in place of the more traditional but less safe idiom of passing in an undefined value with the type, because unlike an (s -> b), a Tagged s b can't try to use the argument s as a real value.

Moreover, you don't have to rely on the compiler to inline away the extra argument, because the newtype is "free"

Tagged has kind k -> * -> * if the compiler supports PolyKinds, therefore there is an extra k showing in the instance haddocks that may cause confusion.

Constructors

Tagged
Fields unTagged :: b

Instances

Instances details

Generic1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged Associated Types type Rep1 (Tagged s) :: k -> Type Source # Methods from1 :: forall (a :: k). Tagged s a -> Rep1 (Tagged s) a Source # to1 :: forall (a :: k). Rep1 (Tagged s) a -> Tagged s a Source #
Bifoldable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bifold :: Monoid m => Tagged m m -> m Source # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Tagged a b -> m Source # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Tagged a b -> c Source # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Tagged a b -> c Source #
Bifunctor (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bimap :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d Source # first :: (a -> b) -> Tagged a c -> Tagged b c Source # second :: (b -> c) -> Tagged a b -> Tagged a c Source #
Bitraversable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Tagged a b -> f (Tagged c d) Source #
Eq2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Tagged a c -> Tagged b d -> Bool Source #
Ord2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Tagged a c -> Tagged b d -> Ordering Source #
Read2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Tagged a b) Source # liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Tagged a b] Source # liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Tagged a b) Source # liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Tagged a b] Source #
Show2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Tagged a b -> ShowS Source # liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Tagged a b] -> ShowS Source #
Foldable (Tagged s)
Instance details Defined in Data.Tagged Methods fold :: Monoid m => Tagged s m -> m Source # foldMap :: Monoid m => (a -> m) -> Tagged s a -> m Source # foldMap' :: Monoid m => (a -> m) -> Tagged s a -> m Source # foldr :: (a -> b -> b) -> b -> Tagged s a -> b Source # foldr' :: (a -> b -> b) -> b -> Tagged s a -> b Source # foldl :: (b -> a -> b) -> b -> Tagged s a -> b Source # foldl' :: (b -> a -> b) -> b -> Tagged s a -> b Source # foldr1 :: (a -> a -> a) -> Tagged s a -> a Source # foldl1 :: (a -> a -> a) -> Tagged s a -> a Source # toList :: Tagged s a -> [a] Source # null :: Tagged s a -> Bool Source # length :: Tagged s a -> Int Source # elem :: Eq a => a -> Tagged s a -> Bool Source # maximum :: Ord a => Tagged s a -> a Source # minimum :: Ord a => Tagged s a -> a Source # sum :: Num a => Tagged s a -> a Source # product :: Num a => Tagged s a -> a Source #
Eq1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftEq :: (a -> b -> Bool) -> Tagged s a -> Tagged s b -> Bool Source #
Ord1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftCompare :: (a -> b -> Ordering) -> Tagged s a -> Tagged s b -> Ordering Source #
Read1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Tagged s a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Tagged s a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Tagged s a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Tagged s a] Source #
Show1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Tagged s a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Tagged s a] -> ShowS Source #
Traversable (Tagged s)
Instance details Defined in Data.Tagged Methods traverse :: Applicative f => (a -> f b) -> Tagged s a -> f (Tagged s b) Source # sequenceA :: Applicative f => Tagged s (f a) -> f (Tagged s a) Source # mapM :: Monad m => (a -> m b) -> Tagged s a -> m (Tagged s b) Source # sequence :: Monad m => Tagged s (m a) -> m (Tagged s a) Source #
Applicative (Tagged s)
Instance details Defined in Data.Tagged Methods pure :: a -> Tagged s a Source # (<>) :: Tagged s (a -> b) -> Tagged s a -> Tagged s b Source # liftA2 :: (a -> b -> c) -> Tagged s a -> Tagged s b -> Tagged s c Source # (>) :: Tagged s a -> Tagged s b -> Tagged s b Source # (<*) :: Tagged s a -> Tagged s b -> Tagged s a Source #
Functor (Tagged s)
Instance details Defined in Data.Tagged Methods fmap :: (a -> b) -> Tagged s a -> Tagged s b Source # (<$) :: a -> Tagged s b -> Tagged s a Source #
Monad (Tagged s)
Instance details Defined in Data.Tagged Methods (>>=) :: Tagged s a -> (a -> Tagged s b) -> Tagged s b Source # (>>) :: Tagged s a -> Tagged s b -> Tagged s b Source # return :: a -> Tagged s a Source #
(Data s, Data b) => Data (Tagged s b)
Instance details Defined in Data.Tagged Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Tagged s b -> c (Tagged s b) Source # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Tagged s b) Source # toConstr :: Tagged s b -> Constr Source # dataTypeOf :: Tagged s b -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Tagged s b)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tagged s b)) Source # gmapT :: (forall b0. Data b0 => b0 -> b0) -> Tagged s b -> Tagged s b Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Tagged s b -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tagged s b -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source #
IsString a => IsString (Tagged s a)
Instance details Defined in Data.Tagged Methods fromString :: String -> Tagged s a Source #
Storable a => Storable (Tagged s a)
Instance details Defined in Data.Tagged Methods sizeOf :: Tagged s a -> Int Source # alignment :: Tagged s a -> Int Source # peekElemOff :: Ptr (Tagged s a) -> Int -> IO (Tagged s a) Source # pokeElemOff :: Ptr (Tagged s a) -> Int -> Tagged s a -> IO () Source # peekByteOff :: Ptr b -> Int -> IO (Tagged s a) Source # pokeByteOff :: Ptr b -> Int -> Tagged s a -> IO () Source # peek :: Ptr (Tagged s a) -> IO (Tagged s a) Source # poke :: Ptr (Tagged s a) -> Tagged s a -> IO () Source #
(Semigroup a, Monoid a) => Monoid (Tagged s a)
Instance details Defined in Data.Tagged Methods mempty :: Tagged s a Source # mappend :: Tagged s a -> Tagged s a -> Tagged s a Source # mconcat :: [Tagged s a] -> Tagged s a Source #
Semigroup a => Semigroup (Tagged s a)
Instance details Defined in Data.Tagged Methods (<>) :: Tagged s a -> Tagged s a -> Tagged s a Source # sconcat :: NonEmpty (Tagged s a) -> Tagged s a Source # stimes :: Integral b => b -> Tagged s a -> Tagged s a Source #
Bits a => Bits (Tagged s a)
Instance details Defined in Data.Tagged Methods (.&.) :: Tagged s a -> Tagged s a -> Tagged s a Source # (.\|.) :: Tagged s a -> Tagged s a -> Tagged s a Source # xor :: Tagged s a -> Tagged s a -> Tagged s a Source # complement :: Tagged s a -> Tagged s a Source # shift :: Tagged s a -> Int -> Tagged s a Source # rotate :: Tagged s a -> Int -> Tagged s a Source # zeroBits :: Tagged s a Source # bit :: Int -> Tagged s a Source # setBit :: Tagged s a -> Int -> Tagged s a Source # clearBit :: Tagged s a -> Int -> Tagged s a Source # complementBit :: Tagged s a -> Int -> Tagged s a Source # testBit :: Tagged s a -> Int -> Bool Source # bitSizeMaybe :: Tagged s a -> Maybe Int Source # bitSize :: Tagged s a -> Int Source # isSigned :: Tagged s a -> Bool Source # shiftL :: Tagged s a -> Int -> Tagged s a Source # unsafeShiftL :: Tagged s a -> Int -> Tagged s a Source # shiftR :: Tagged s a -> Int -> Tagged s a Source # unsafeShiftR :: Tagged s a -> Int -> Tagged s a Source # rotateL :: Tagged s a -> Int -> Tagged s a Source # rotateR :: Tagged s a -> Int -> Tagged s a Source # popCount :: Tagged s a -> Int Source #
FiniteBits a => FiniteBits (Tagged s a)
Instance details Defined in Data.Tagged Methods finiteBitSize :: Tagged s a -> Int Source # countLeadingZeros :: Tagged s a -> Int Source # countTrailingZeros :: Tagged s a -> Int Source #
Bounded b => Bounded (Tagged s b)
Instance details Defined in Data.Tagged Methods minBound :: Tagged s b Source # maxBound :: Tagged s b Source #
Enum a => Enum (Tagged s a)
Instance details Defined in Data.Tagged Methods succ :: Tagged s a -> Tagged s a Source # pred :: Tagged s a -> Tagged s a Source # toEnum :: Int -> Tagged s a Source # fromEnum :: Tagged s a -> Int Source # enumFrom :: Tagged s a -> [Tagged s a] Source # enumFromThen :: Tagged s a -> Tagged s a -> [Tagged s a] Source # enumFromTo :: Tagged s a -> Tagged s a -> [Tagged s a] Source # enumFromThenTo :: Tagged s a -> Tagged s a -> Tagged s a -> [Tagged s a] Source #
Floating a => Floating (Tagged s a)
Instance details Defined in Data.Tagged Methods pi :: Tagged s a Source # exp :: Tagged s a -> Tagged s a Source # log :: Tagged s a -> Tagged s a Source # sqrt :: Tagged s a -> Tagged s a Source # (**) :: Tagged s a -> Tagged s a -> Tagged s a Source # logBase :: Tagged s a -> Tagged s a -> Tagged s a Source # sin :: Tagged s a -> Tagged s a Source # cos :: Tagged s a -> Tagged s a Source # tan :: Tagged s a -> Tagged s a Source # asin :: Tagged s a -> Tagged s a Source # acos :: Tagged s a -> Tagged s a Source # atan :: Tagged s a -> Tagged s a Source # sinh :: Tagged s a -> Tagged s a Source # cosh :: Tagged s a -> Tagged s a Source # tanh :: Tagged s a -> Tagged s a Source # asinh :: Tagged s a -> Tagged s a Source # acosh :: Tagged s a -> Tagged s a Source # atanh :: Tagged s a -> Tagged s a Source # log1p :: Tagged s a -> Tagged s a Source # expm1 :: Tagged s a -> Tagged s a Source # log1pexp :: Tagged s a -> Tagged s a Source # log1mexp :: Tagged s a -> Tagged s a Source #
RealFloat a => RealFloat (Tagged s a)
Instance details Defined in Data.Tagged Methods floatRadix :: Tagged s a -> Integer Source # floatDigits :: Tagged s a -> Int Source # floatRange :: Tagged s a -> (Int, Int) Source # decodeFloat :: Tagged s a -> (Integer, Int) Source # encodeFloat :: Integer -> Int -> Tagged s a Source # exponent :: Tagged s a -> Int Source # significand :: Tagged s a -> Tagged s a Source # scaleFloat :: Int -> Tagged s a -> Tagged s a Source # isNaN :: Tagged s a -> Bool Source # isInfinite :: Tagged s a -> Bool Source # isDenormalized :: Tagged s a -> Bool Source # isNegativeZero :: Tagged s a -> Bool Source # isIEEE :: Tagged s a -> Bool Source # atan2 :: Tagged s a -> Tagged s a -> Tagged s a Source #
Generic (Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep (Tagged s b) :: Type -> Type Source # Methods from :: Tagged s b -> Rep (Tagged s b) x Source # to :: Rep (Tagged s b) x -> Tagged s b Source #
Ix b => Ix (Tagged s b)
Instance details Defined in Data.Tagged Methods range :: (Tagged s b, Tagged s b) -> [Tagged s b] Source # index :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source # unsafeIndex :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source # inRange :: (Tagged s b, Tagged s b) -> Tagged s b -> Bool Source # rangeSize :: (Tagged s b, Tagged s b) -> Int Source # unsafeRangeSize :: (Tagged s b, Tagged s b) -> Int Source #
Num a => Num (Tagged s a)
Instance details Defined in Data.Tagged Methods (+) :: Tagged s a -> Tagged s a -> Tagged s a Source # (-) :: Tagged s a -> Tagged s a -> Tagged s a Source # (*) :: Tagged s a -> Tagged s a -> Tagged s a Source # negate :: Tagged s a -> Tagged s a Source # abs :: Tagged s a -> Tagged s a Source # signum :: Tagged s a -> Tagged s a Source # fromInteger :: Integer -> Tagged s a Source #
Read b => Read (Tagged s b)
Instance details Defined in Data.Tagged Methods readsPrec :: Int -> ReadS (Tagged s b) Source # readList :: ReadS [Tagged s b] Source # readPrec :: ReadPrec (Tagged s b) Source # readListPrec :: ReadPrec [Tagged s b] Source #
Fractional a => Fractional (Tagged s a)
Instance details Defined in Data.Tagged Methods (/) :: Tagged s a -> Tagged s a -> Tagged s a Source # recip :: Tagged s a -> Tagged s a Source # fromRational :: Rational -> Tagged s a Source #
Integral a => Integral (Tagged s a)
Instance details Defined in Data.Tagged Methods quot :: Tagged s a -> Tagged s a -> Tagged s a Source # rem :: Tagged s a -> Tagged s a -> Tagged s a Source # div :: Tagged s a -> Tagged s a -> Tagged s a Source # mod :: Tagged s a -> Tagged s a -> Tagged s a Source # quotRem :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) Source # divMod :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) Source # toInteger :: Tagged s a -> Integer Source #
Real a => Real (Tagged s a)
Instance details Defined in Data.Tagged Methods toRational :: Tagged s a -> Rational Source #
RealFrac a => RealFrac (Tagged s a)
Instance details Defined in Data.Tagged Methods properFraction :: Integral b => Tagged s a -> (b, Tagged s a) Source # truncate :: Integral b => Tagged s a -> b Source # round :: Integral b => Tagged s a -> b Source # ceiling :: Integral b => Tagged s a -> b Source # floor :: Integral b => Tagged s a -> b Source #
Show b => Show (Tagged s b)
Instance details Defined in Data.Tagged Methods showsPrec :: Int -> Tagged s b -> ShowS Source # show :: Tagged s b -> String Source # showList :: [Tagged s b] -> ShowS Source #
NFData b => NFData (Tagged s b)
Instance details Defined in Data.Tagged Methods rnf :: Tagged s b -> () Source #
Eq b => Eq (Tagged s b)
Instance details Defined in Data.Tagged Methods (==) :: Tagged s b -> Tagged s b -> Bool Source # (/=) :: Tagged s b -> Tagged s b -> Bool Source #
Ord b => Ord (Tagged s b)
Instance details Defined in Data.Tagged Methods compare :: Tagged s b -> Tagged s b -> Ordering Source # (<) :: Tagged s b -> Tagged s b -> Bool Source # (<=) :: Tagged s b -> Tagged s b -> Bool Source # (>) :: Tagged s b -> Tagged s b -> Bool Source # (>=) :: Tagged s b -> Tagged s b -> Bool Source # max :: Tagged s b -> Tagged s b -> Tagged s b Source # min :: Tagged s b -> Tagged s b -> Tagged s b Source #
type Rep1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.7-GvZycfxKsC4DmpASSrou9n" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Rep (Tagged s b)
Instance details Defined in Data.Tagged type Rep (Tagged s b) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.7-GvZycfxKsC4DmpASSrou9n" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

castPropertyList :: (PropertyList a, PropertyList b) => a -> IO (Maybe b) Source #

createPropertyList :: PropertyList t => IO t Source #

createPropertyListWithClass :: PropertyListClassID -> IO PropertyListID Source #

propertyExists :: PropertyList t => t -> ByteString -> IO Bool Source #

getPropertySize :: PropertyListOrClass t => t -> ByteString -> IO CSize Source #

getNProps :: PropertyListOrClass t => t -> IO CSize Source #

getPropertyListClass :: PropertyList t => t -> IO PropertyListClassID Source #

getPropertyListClassParent :: PropertyListClassID -> IO PropertyListClassID Source #

propertyListsEqual :: (PropertyListOrClass a, PropertyListOrClass b) => a -> b -> IO Bool Source #

propertyListIsA :: PropertyList t => t -> PropertyListClassID -> IO Bool Source #

closePropertyListClass :: PropertyListClassID -> IO () Source #

closePropertyList :: PropertyList t => t -> IO () Source #