Library
Module
Module type
Parameter
Class
Class type
String, unsigned integers, logging, collections, and more
filter_map f xs
is xs'
, a list which contains all elements where f
resulted in Some _
.
r >>= f
is f a
unless r
is an Error
, which is propagated. Monadic bind.
guard pred err
is either Ok ()
(if pred
holds), Error err
otherwise.
foldM f a xs
applies f
to each element of xs
, returns either Ok
and the produced value, or Error
.
foldS f a s
applies f
to each element of the set s
, returns either Ok
and the produced value, or Error
.
module String : sig ... end
Some String
utilities implemented here to avoid external dependencies. This is a subset of Astring.
pp_list pp
is a pretty printer for a list (surrounded by square brackets, elements are separated by semicolon). The pp
is be a pretty printer for list elements.
val path_to_string : path -> string
path_to_string path
is String.concat "/"
path
.
val string_to_path : string -> path
string_to_path str
is String.cuts "/"
str
.
type item = file_type * string
An item
is a type and its payload