Module Utils.Lazy

Base.Lazy plus ppx_minidebug's sexp converters.

include module type of struct include Base.Lazy end
type !'a t = 'a lazy_t
val compare : 'a Base__Ppx_compare_lib.compare -> 'a t Base__Ppx_compare_lib.compare
val compare__local : 'a Base__Ppx_compare_lib.compare__local -> 'a t Base__Ppx_compare_lib.compare__local
val equal : 'a Base__Ppx_compare_lib.equal -> 'a t Base__Ppx_compare_lib.equal
val equal__local : 'a Base__Ppx_compare_lib.equal__local -> 'a t Base__Ppx_compare_lib.equal__local
val globalize : ('a -> 'a) -> 'a t -> 'a t
val hash_fold_t : 'a Base__Ppx_hash_lib.hash_fold -> 'a t Base__Ppx_hash_lib.hash_fold
val t_of_sexp : (Sexplib0__.Sexp.t -> 'a) -> Sexplib0__.Sexp.t -> 'a t
val t_sexp_grammar : 'a Sexplib0.Sexp_grammar.t -> 'a t Sexplib0.Sexp_grammar.t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val (>>|) : 'a t -> ('a -> 'b) -> 'b t
module Monad_infix : sig ... end
val bind : 'a t -> f:('a -> 'b t) -> 'b t
val return : 'a -> 'a t
val map : 'a t -> f:('a -> 'b) -> 'b t
val join : 'a t t -> 'a t
val ignore_m : 'a t -> unit t
val all : 'a t list -> 'a list t
val all_unit : unit t list -> unit t
module Let_syntax : sig ... end
exception Undefined
val force : 'a t -> 'a
val force_val : 'a t -> 'a
val from_fun : (unit -> 'a) -> 'a t
val from_val : 'a -> 'a t
val is_val : 'a t -> bool
val peek : 'a t -> 'a option
module T_unforcing : sig ... end
val sexp_of_t : ('a -> Base.Sexp.t) -> 'a t -> Base.Sexp.t
val sexp_of_lazy_t : ('a -> Base.Sexp.t) -> 'a t -> Base.Sexp.t