hdf5-1.8.15: Haskell interface to the HDF5 scientific data storage library.

Safe Haskell | None
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 :: Type -> Type) |
Instance details Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.9-EraSdp0lx7uJnqESyrqLTP" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

Methods

from1 :: Tagged s a -> Rep1 (Tagged s) a Source #

to1 :: 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 #
Bifoldable1 (Tagged :: Type -> Type -> Type) |
Instance details Defined in Data.Tagged Methods bifold1 :: Semigroup m => Tagged m m -> m Source # bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Tagged a b -> m 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 #
Foldable1 (Tagged a) |

Instance details

Defined in Data.Tagged

Methods

fold1 :: Semigroup m => Tagged a m -> m Source #

foldMap1 :: Semigroup m => (a0 -> m) -> Tagged a a0 -> m Source #

foldMap1' :: Semigroup m => (a0 -> m) -> Tagged a a0 -> m Source #

toNonEmpty :: Tagged a a0 -> NonEmpty a0 Source #

maximum :: Ord a0 => Tagged a a0 -> a0 Source #

minimum :: Ord a0 => Tagged a a0 -> a0 Source #

head :: Tagged a a0 -> a0 Source #

last :: Tagged a a0 -> a0 Source #

foldrMap1 :: (a0 -> b) -> (a0 -> b -> b) -> Tagged a a0 -> b Source #

foldlMap1' :: (a0 -> b) -> (b -> a0 -> b) -> Tagged a a0 -> b Source #

foldlMap1 :: (a0 -> b) -> (b -> a0 -> b) -> Tagged a a0 -> b Source #

foldrMap1' :: (a0 -> b) -> (a0 -> b -> b) -> Tagged a a0 -> b 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 #
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 #
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 #

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 #
NFData b => NFData (Tagged s b) |
Instance details Defined in Data.Tagged Methods rnf :: Tagged s b -> () 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 #
(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 #
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 #

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 #

Generic (Tagged s b) |

Instance details

Defined in Data.Tagged

Associated Types

type Rep (Tagged s b) |
Instance details Defined in Data.Tagged type Rep (Tagged s b) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.9-EraSdp0lx7uJnqESyrqLTP" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

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 #
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.9-EraSdp0lx7uJnqESyrqLTP" '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.9-EraSdp0lx7uJnqESyrqLTP" '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 #