From 52007df5de6f831e1c2bc9eac4f61eb62e66f850 Mon Sep 17 00:00:00 2001 From: zoj613 Date: Mon, 23 Dec 2024 15:40:49 +0000 Subject: [PATCH] deploy: 3d4d761b8e740a67072b00c08689d07d7f26717a --- zarr/Zarr/Util/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 @@ -Util (zarr.Zarr.Util)

Module Zarr.Util

module ArrayMap : sig ... end

A finite map over integer array keys.

module Result_syntax : sig ... end

Result monad operator syntax.

val get_name : Yojson.Safe.t -> string

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.

val prod : int array -> int

prod x returns the product of the elements of x.

val max : int array -> int

max x returns the maximum element of an integer array x.

val create_parent_dir : string -> Unix.file_perm -> unit

create_parent_dir f p creates all the parent directories of file name f if they don't exist given file permissions p.

val sanitize_dir : string -> string

sanitize_dir d Chops off any trailing '/' in directory path d.

+Util (zarr.Zarr.Util)

Module Zarr.Util

module ArrayMap : sig ... end

A finite map over integer array keys.

module Result_syntax : sig ... end

Result monad operator syntax.

val get_name : Yojson.Safe.t -> string

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.

val prod : int array -> int

prod x returns the product of the elements of x.

val max : int array -> int

max x returns the maximum element of an integer array x.

val create_parent_dir : string -> int -> unit

create_parent_dir f p creates all the parent directories of file name f if they don't exist given file permissions p.

val sanitize_dir : string -> string

sanitize_dir d Chops off any trailing '/' in directory path d.