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
- 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
Eq PropertyListClassID Source # | |
Defined in Bindings.HDF5.PropertyList Methods (==) :: PropertyListClassID -> PropertyListClassID -> Bool Source # (/=) :: PropertyListClassID -> PropertyListClassID -> Bool Source # | |
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 |
data PropertyListID Source #
Instances
Eq PropertyListID Source # | |
Defined in Bindings.HDF5.PropertyList Methods (==) :: PropertyListID -> PropertyListID -> Bool Source # (/=) :: PropertyListID -> PropertyListID -> Bool Source # | |
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
newtype Tagged (s :: k) b Source #
A
value is a value Tagged
s bb
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
can't try to use the argument Tagged
s bs
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.
Instances
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 #
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 #