| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Bindings.HDF5.Object
Documentation
Instances
| Storable ObjectId Source # | |
Defined in Bindings.HDF5.Object Methods peekElemOff :: Ptr ObjectId -> Int -> IO ObjectId pokeElemOff :: Ptr ObjectId -> Int -> ObjectId -> IO () peekByteOff :: Ptr b -> Int -> IO ObjectId pokeByteOff :: Ptr b -> Int -> ObjectId -> IO () | |
| Eq ObjectId Source # | |
| HDFResultType ObjectId Source # | |
Defined in Bindings.HDF5.Object | |
| FromHId ObjectId Source # | |
Defined in Bindings.HDF5.Object Methods uncheckedFromHId :: HId_t -> ObjectId Source # | |
| HId ObjectId Source # | |
| Object ObjectId Source # | |
Defined in Bindings.HDF5.Object Methods staticObjectType :: Tagged ObjectId (Maybe ObjectType) Source # | |
class (HId t, FromHId t) => Object t where Source #
Methods
staticObjectType :: Tagged t (Maybe ObjectType) Source #
Instances
| Object Dataset Source # | |
Defined in Bindings.HDF5.Dataset Methods staticObjectType :: Tagged Dataset (Maybe ObjectType) Source # | |
| Object Dataspace Source # | |
Defined in Bindings.HDF5.Dataspace Methods staticObjectType :: Tagged Dataspace (Maybe ObjectType) Source # | |
| Object Datatype Source # | |
Defined in Bindings.HDF5.Datatype.Internal Methods staticObjectType :: Tagged Datatype (Maybe ObjectType) Source # | |
| Object File Source # | |
Defined in Bindings.HDF5.File Methods staticObjectType :: Tagged File (Maybe ObjectType) Source # | |
| Object Group Source # | |
Defined in Bindings.HDF5.Group Methods staticObjectType :: Tagged Group (Maybe ObjectType) Source # | |
| Object ObjectId Source # | |
Defined in Bindings.HDF5.Object Methods staticObjectType :: Tagged ObjectId (Maybe ObjectType) Source # | |
data ObjectType Source #
Constructors
| FileObj | |
| GroupObj | |
| DatatypeObj | |
| DataspaceObj | |
| DatasetObj | |
| AttrObj |
Instances
objectTypeOf :: Object t => t -> Maybe ObjectType Source #
objectTypeOf1 :: Object t => c t -> Maybe ObjectType Source #
uncheckedCastObject :: (Object a, Object b) => a -> b Source #
castObject :: (Object src, Object dst) => src -> IO (Maybe dst) 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 #