Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Bindings.HDF5.PropertyList
Documentation
data PropertyListClassID Source #
Instances
Eq PropertyListClassID Source # | |
Defined in Bindings.HDF5.PropertyList Methods (==) :: PropertyListClassID -> PropertyListClassID -> Bool (/=) :: PropertyListClassID -> PropertyListClassID -> Bool | |
HDFResultType PropertyListClassID Source # | |
Defined in Bindings.HDF5.PropertyList Methods isError :: PropertyListClassID -> Bool Source # | |
FromHId PropertyListClassID Source # | |
Defined in Bindings.HDF5.PropertyList Methods | |
HId PropertyListClassID Source # | |
Defined in Bindings.HDF5.PropertyList Methods hid :: PropertyListClassID -> HId_t Source # | |
PropertyListOrClass PropertyListClassID Source # | |
Defined in Bindings.HDF5.PropertyList |
getClassName :: PropertyListClassID -> IO ByteString Source #
data PropertyListID Source #
Instances
Eq PropertyListID Source # | |
Defined in Bindings.HDF5.PropertyList Methods (==) :: PropertyListID -> PropertyListID -> Bool (/=) :: PropertyListID -> PropertyListID -> Bool | |
HDFResultType PropertyListID Source # | |
Defined in Bindings.HDF5.PropertyList Methods isError :: PropertyListID -> Bool Source # | |
FromHId PropertyListID Source # | |
Defined in Bindings.HDF5.PropertyList Methods | |
HId PropertyListID Source # | |
Defined in Bindings.HDF5.PropertyList Methods hid :: PropertyListID -> HId_t Source # | |
PropertyList PropertyListID Source # | |
Defined in Bindings.HDF5.PropertyList | |
PropertyListOrClass PropertyListID Source # | |
Defined in Bindings.HDF5.PropertyList |
class (HId t, FromHId t) => PropertyListOrClass t Source #
Instances
class PropertyListOrClass t => PropertyList t where Source #
Methods
Instances
Instances
Generic1 (Tagged s :: Type -> Type) | |
Bifoldable (Tagged :: Type -> Type -> Type) | |
Bifoldable1 (Tagged :: Type -> Type -> Type) | |
Defined in Data.Tagged Methods bifold1 :: Semigroup m => Tagged m m -> m bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Tagged a b -> m | |
Bifunctor (Tagged :: Type -> Type -> Type) | |
Bitraversable (Tagged :: Type -> Type -> Type) | |
Defined in Data.Tagged Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Tagged a b -> f (Tagged c d) | |
Eq2 (Tagged :: Type -> Type -> Type) | |
Defined in Data.Tagged | |
Ord2 (Tagged :: Type -> Type -> Type) | |
Defined in Data.Tagged Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Tagged a c -> Tagged b d -> Ordering | |
Read2 (Tagged :: Type -> Type -> Type) | |
Defined in Data.Tagged Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Tagged a b) liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Tagged a b] liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Tagged a b) liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Tagged a b] | |
Show2 (Tagged :: Type -> Type -> Type) | |
Defined in Data.Tagged Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Tagged a b -> ShowS liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Tagged a b] -> ShowS | |
Foldable (Tagged s) | |
Defined in Data.Tagged Methods fold :: Monoid m => Tagged s m -> m foldMap :: Monoid m => (a -> m) -> Tagged s a -> m foldMap' :: Monoid m => (a -> m) -> Tagged s a -> m foldr :: (a -> b -> b) -> b -> Tagged s a -> b foldr' :: (a -> b -> b) -> b -> Tagged s a -> b foldl :: (b -> a -> b) -> b -> Tagged s a -> b foldl' :: (b -> a -> b) -> b -> Tagged s a -> b foldr1 :: (a -> a -> a) -> Tagged s a -> a foldl1 :: (a -> a -> a) -> Tagged s a -> a elem :: Eq a => a -> Tagged s a -> Bool maximum :: Ord a => Tagged s a -> a minimum :: Ord a => Tagged s a -> a | |
Foldable1 (Tagged a) | |
Defined in Data.Tagged Methods fold1 :: Semigroup m => Tagged a m -> m foldMap1 :: Semigroup m => (a0 -> m) -> Tagged a a0 -> m foldMap1' :: Semigroup m => (a0 -> m) -> Tagged a a0 -> m toNonEmpty :: Tagged a a0 -> NonEmpty a0 maximum :: Ord a0 => Tagged a a0 -> a0 minimum :: Ord a0 => Tagged a a0 -> a0 foldrMap1 :: (a0 -> b) -> (a0 -> b -> b) -> Tagged a a0 -> b foldlMap1' :: (a0 -> b) -> (b -> a0 -> b) -> Tagged a a0 -> b foldlMap1 :: (a0 -> b) -> (b -> a0 -> b) -> Tagged a a0 -> b foldrMap1' :: (a0 -> b) -> (a0 -> b -> b) -> Tagged a a0 -> b | |
Eq1 (Tagged s) | |
Defined in Data.Tagged | |
Ord1 (Tagged s) | |
Defined in Data.Tagged Methods liftCompare :: (a -> b -> Ordering) -> Tagged s a -> Tagged s b -> Ordering | |
Read1 (Tagged s) | |
Defined in Data.Tagged Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Tagged s a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Tagged s a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Tagged s a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Tagged s a] | |
Show1 (Tagged s) | |
Defined in Data.Tagged Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Tagged s a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Tagged s a] -> ShowS | |
Traversable (Tagged s) | |
Applicative (Tagged s) | |
Functor (Tagged s) | |
Monad (Tagged s) | |
(Data s, Data b) => Data (Tagged s b) | |
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) gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Tagged s b) toConstr :: Tagged s b -> Constr dataTypeOf :: Tagged s b -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Tagged s b)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tagged s b)) gmapT :: (forall b0. Data b0 => b0 -> b0) -> Tagged s b -> Tagged s b gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r gmapQ :: (forall d. Data d => d -> u) -> Tagged s b -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Tagged s b -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) | |
IsString a => IsString (Tagged s a) | |
Defined in Data.Tagged Methods fromString :: String -> Tagged s a | |
Storable a => Storable (Tagged s a) | |
Defined in Data.Tagged Methods alignment :: Tagged s a -> Int peekElemOff :: Ptr (Tagged s a) -> Int -> IO (Tagged s a) pokeElemOff :: Ptr (Tagged s a) -> Int -> Tagged s a -> IO () peekByteOff :: Ptr b -> Int -> IO (Tagged s a) pokeByteOff :: Ptr b -> Int -> Tagged s a -> IO () | |
(Semigroup a, Monoid a) => Monoid (Tagged s a) | |
Semigroup a => Semigroup (Tagged s a) | |
Bits a => Bits (Tagged s a) | |
Defined in Data.Tagged Methods (.&.) :: Tagged s a -> Tagged s a -> Tagged s a (.|.) :: Tagged s a -> Tagged s a -> Tagged s a xor :: Tagged s a -> Tagged s a -> Tagged s a complement :: Tagged s a -> Tagged s a shift :: Tagged s a -> Int -> Tagged s a rotate :: Tagged s a -> Int -> Tagged s a setBit :: Tagged s a -> Int -> Tagged s a clearBit :: Tagged s a -> Int -> Tagged s a complementBit :: Tagged s a -> Int -> Tagged s a testBit :: Tagged s a -> Int -> Bool bitSizeMaybe :: Tagged s a -> Maybe Int isSigned :: Tagged s a -> Bool shiftL :: Tagged s a -> Int -> Tagged s a unsafeShiftL :: Tagged s a -> Int -> Tagged s a shiftR :: Tagged s a -> Int -> Tagged s a unsafeShiftR :: Tagged s a -> Int -> Tagged s a rotateL :: Tagged s a -> Int -> Tagged s a | |
FiniteBits a => FiniteBits (Tagged s a) | |
Defined in Data.Tagged Methods finiteBitSize :: Tagged s a -> Int countLeadingZeros :: Tagged s a -> Int countTrailingZeros :: Tagged s a -> Int | |
Bounded b => Bounded (Tagged s b) | |
Defined in Data.Tagged | |
Enum a => Enum (Tagged s a) | |
Defined in Data.Tagged | |
Floating a => Floating (Tagged s a) | |
Defined in Data.Tagged Methods exp :: Tagged s a -> Tagged s a log :: Tagged s a -> Tagged s a sqrt :: Tagged s a -> Tagged s a (**) :: Tagged s a -> Tagged s a -> Tagged s a logBase :: Tagged s a -> Tagged s a -> Tagged s a sin :: Tagged s a -> Tagged s a cos :: Tagged s a -> Tagged s a tan :: Tagged s a -> Tagged s a asin :: Tagged s a -> Tagged s a acos :: Tagged s a -> Tagged s a atan :: Tagged s a -> Tagged s a sinh :: Tagged s a -> Tagged s a cosh :: Tagged s a -> Tagged s a tanh :: Tagged s a -> Tagged s a asinh :: Tagged s a -> Tagged s a acosh :: Tagged s a -> Tagged s a atanh :: Tagged s a -> Tagged s a log1p :: Tagged s a -> Tagged s a expm1 :: Tagged s a -> Tagged s a | |
RealFloat a => RealFloat (Tagged s a) | |
Defined in Data.Tagged Methods floatRadix :: Tagged s a -> Integer floatDigits :: Tagged s a -> Int floatRange :: Tagged s a -> (Int, Int) decodeFloat :: Tagged s a -> (Integer, Int) encodeFloat :: Integer -> Int -> Tagged s a significand :: Tagged s a -> Tagged s a scaleFloat :: Int -> Tagged s a -> Tagged s a isInfinite :: Tagged s a -> Bool isDenormalized :: Tagged s a -> Bool isNegativeZero :: Tagged s a -> Bool | |
Generic (Tagged s b) | |
Ix b => Ix (Tagged s b) | |
Defined in Data.Tagged Methods range :: (Tagged s b, Tagged s b) -> [Tagged s b] index :: (Tagged s b, Tagged s b) -> Tagged s b -> Int unsafeIndex :: (Tagged s b, Tagged s b) -> Tagged s b -> Int inRange :: (Tagged s b, Tagged s b) -> Tagged s b -> Bool rangeSize :: (Tagged s b, Tagged s b) -> Int unsafeRangeSize :: (Tagged s b, Tagged s b) -> Int | |
Num a => Num (Tagged s a) | |
Defined in Data.Tagged | |
Read b => Read (Tagged s b) | |
Defined in Data.Tagged | |
Fractional a => Fractional (Tagged s a) | |
Defined in Data.Tagged | |
Integral a => Integral (Tagged s a) | |
Defined in Data.Tagged Methods quot :: Tagged s a -> Tagged s a -> Tagged s a rem :: Tagged s a -> Tagged s a -> Tagged s a div :: Tagged s a -> Tagged s a -> Tagged s a mod :: Tagged s a -> Tagged s a -> Tagged s a quotRem :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) divMod :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) | |
Real a => Real (Tagged s a) | |
Defined in Data.Tagged Methods toRational :: Tagged s a -> Rational | |
RealFrac a => RealFrac (Tagged s a) | |
Show b => Show (Tagged s b) | |
NFData b => NFData (Tagged s b) | |
Defined in Data.Tagged | |
Eq b => Eq (Tagged s b) | |
Ord b => Ord (Tagged s b) | |
type Rep1 (Tagged s :: Type -> Type) | |
Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.8-Kzng2lnKElzJiyKd9g735c" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) | |
type Rep (Tagged s b) | |
Defined in Data.Tagged type Rep (Tagged s b) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.8-Kzng2lnKElzJiyKd9g735c" '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 #
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 #
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 #