Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Storable ObjectId Source # | |
Defined in Bindings.HDF5.Object | |
Eq ObjectId Source # | |
HDFResultType ObjectId Source # | |
FromHId ObjectId Source # | |
Defined in Bindings.HDF5.Object uncheckedFromHId :: HId_t -> ObjectId Source # | |
HId ObjectId Source # | |
Object ObjectId Source # | |
Defined in Bindings.HDF5.Object |
class (HId t, FromHId t) => Object t where Source #
staticObjectType :: Tagged t (Maybe ObjectType) Source #
Instances
Object Dataset Source # | |
Defined in Bindings.HDF5.Dataset | |
Object Dataspace Source # | |
Defined in Bindings.HDF5.Dataspace | |
Object Datatype Source # | |
Defined in Bindings.HDF5.Datatype.Internal | |
Object File Source # | |
Defined in Bindings.HDF5.File | |
Object Group Source # | |
Defined in Bindings.HDF5.Group | |
Object ObjectId Source # | |
Defined in Bindings.HDF5.Object |
data ObjectType Source #
Instances
objectTypeOf :: Object t => t -> Maybe ObjectType Source #
objectTypeOf1 :: Object t => c t -> Maybe ObjectType Source #
uncheckedCastObject :: (Object a, Object b) => a -> b Source #
openObject :: Location loc => loc -> ByteString -> Maybe LAPL -> IO ObjectId Source #
getObjectType :: Object obj => obj -> IO ObjectType Source #
linkObject :: (Object obj, Location loc) => obj -> loc -> ByteString -> Maybe LCPL -> Maybe LAPL -> IO () Source #
closeObject :: Object obj => obj -> IO () Source #
copyObject :: (Location src, Location dst) => src -> ByteString -> dst -> ByteString -> Maybe OCPYPL -> Maybe LCPL -> IO () Source #
doesObjectExist :: Location loc => loc -> ByteString -> Maybe LAPL -> IO Bool Source #