diff --git a/zarr/Zarr/Util/index.html b/zarr/Zarr/Util/index.html index 6a19e3d..17ba19b 100644 --- a/zarr/Zarr/Util/index.html +++ b/zarr/Zarr/Util/index.html @@ -1,2 +1,2 @@ -
Zarr.Util
module ArrayMap : sig ... end
A finite map over integer array keys.
module Result_syntax : sig ... end
Result monad operator syntax.
get_name c
returns the name value of a JSON metadata extension point configuration of the form {"name": value, "configuration": ...}
, as defined in the Zarr V3 specification.
create_parent_dir f p
creates all the parent directories of file name f
if they don't exist given file permissions p
.
Zarr.Util
module ArrayMap : sig ... end
A finite map over integer array keys.
module Result_syntax : sig ... end
Result monad operator syntax.
get_name c
returns the name value of a JSON metadata extension point configuration of the form {"name": value, "configuration": ...}
, as defined in the Zarr V3 specification.
create_parent_dir f p
creates all the parent directories of file name f
if they don't exist given file permissions p
.