val hash_fold_bool : Hash.state ‑> bool ‑> Hash.state
val hash_bool : bool ‑> Hash.hash_value
val hash_fold_char : Hash.state ‑> char ‑> Hash.state
val hash_char : char ‑> Hash.hash_value
val hash_fold_float : Hash.state ‑> float ‑> Hash.state
val hash_float : float ‑> Hash.hash_value
val hash_fold_int : Hash.state ‑> int ‑> Hash.state
val hash_int : int ‑> Hash.hash_value
val hash_fold_int32 : Hash.state ‑> int32 ‑> Hash.state
val hash_int32 : int32 ‑> Hash.hash_value
val hash_fold_int64 : Hash.state ‑> int64 ‑> Hash.state
val hash_int64 : int64 ‑> Hash.hash_value
val hash_fold_list : a. (Hash.state ‑> 'a ‑> Hash.state) ‑> Hash.state ‑> 'a list ‑> Hash.state
val hash_fold_nativeint : Hash.state ‑> nativeint ‑> Hash.state
val hash_nativeint : nativeint ‑> Hash.hash_value
val hash_fold_option : a. (Hash.state ‑> 'a ‑> Hash.state) ‑> Hash.state ‑> 'a option ‑> Hash.state
val hash_fold_string : Hash.state ‑> string ‑> Hash.state
val hash_string : string ‑> Hash.hash_value
val hash_fold_unit : Hash.state ‑> unit ‑> Hash.state
val hash_unit : unit ‑> Hash.hash_value
Format stuff
Exporting the ad-hoc types that are recognized by ppx_sexp_*
converters.
sexp_array
, sexp_list
, and sexp_option
allow a record field to be absent when
converting from a sexp, and if absent, the field will take a default value of the
appropriate type:
sexp_array [||] sexp_bool false sexp_list [] sexp_option None
sexp_opaque
causes the conversion to sexp to produce the atom <opaque>
.
For more documentation, see sexplib/README.md.
List operators
include List.Infix
val (@) : 'a Base__List.t ‑> 'a Base__List.t ‑> 'a Base__List.t
Int operators and comparisons
include Int.O
A sub-module designed to be opened to make working with ints more convenient.
Float operators
include Float.O_dot
Similar to O
, except that operators are suffixed with a dot, allowing one to have
both int and float operators in scope simultaneously.
Similar to O
, except that operators are suffixed with a dot, allowing one to have
both int and float operators in scope simultaneously.
external (|>) : 'a ‑> ('a ‑> 'b) ‑> 'b = "%revapply"
Reverse application operator. x |> g |> f
is equivalent to f (g (x))
.
external (@@) : ('a ‑> 'b) ‑> 'a ‑> 'b = "%apply"
Application operator. g @@ f @@ x
is equivalent to g (f (x))
.
Boolean operations
external ignore : _ ‑> unit = "%ignore"
Reference operations
external (!) : 'a ref ‑> 'a = "%field0"
external ref : 'a ‑> 'a ref = "%makemutable"
Pair operations
Exceptions stuff
val raise_s : Sexp.t ‑> 'a
Misc
external force : 'a Lazy.t ‑> 'a = "%lazy_force"