package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Uses a valid bit to indicate the validity of a value. Conceptually similar to an Option.t.

type ('valid, 'value) t2 = {
  1. valid : 'valid;
  2. value : 'value;
}
val sexp_of_t2 : ('valid -> Ppx_sexp_conv_lib.Sexp.t) -> ('value -> Ppx_sexp_conv_lib.Sexp.t) -> ('valid, 'value) t2 -> Ppx_sexp_conv_lib.Sexp.t
type 'a t = ('a, 'a) t2
val sexp_of_t : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a t -> Ppx_sexp_conv_lib.Sexp.t
val map : 'a t -> f:('a -> 'b) -> 'b t
val map2 : 'a t -> 'b t -> f:('a -> 'b -> 'c) -> 'c t
val iter : 'a t -> f:('a -> Base.Unit.t) -> Base.Unit.t
val iter2 : 'a t -> 'b t -> f:('a -> 'b -> Base.Unit.t) -> Base.Unit.t
val to_list : 'a t -> 'a Base.List.t