jon.recoil.org

Module Basement.Portable_lazySource

This module is reexported, with documentation, as Base.Portable_lazy; see that module for documentation this interface.

Sourcetype +('a : value_or_null) t
Sourceval from_val : ('a : value_or_null). 'a @ portable contended -> 'a Basement.Portable_lazy.t @@ portable
Sourceval from_fun : ('a : value_or_null). (unit -> 'a @ portable contended) @ once portable -> 'a Basement.Portable_lazy.t @@ portable
Sourceval from_fun_fixed : ('a : value_or_null). ('a Basement.Portable_lazy.t -> 'a @ portable contended) @ once portable -> 'a Basement.Portable_lazy.t @@ portable
Sourceval force : ('a : value_or_null). 'a Basement.Portable_lazy.t @ once -> 'a @ portable contended @@ portable
Sourceval map : ('a : value_or_null) ('b : value_or_null). 'a Basement.Portable_lazy.t -> f:('a @ portable contended -> 'b @ portable contended) @ once portable -> 'b Basement.Portable_lazy.t @@ portable
Sourceval bind : ('a : value_or_null) ('b : value_or_null). 'a Basement.Portable_lazy.t -> f:('a @ portable contended -> 'b Basement.Portable_lazy.t) @ once portable -> 'b Basement.Portable_lazy.t @@ portable
Sourceval compare : 'a. ('a -> 'a -> int) -> 'a Basement.Portable_lazy.t -> 'a Basement.Portable_lazy.t -> int @@ portable
Sourceval compare__local : 'a. ('a @ once -> 'a @ once -> int) -> 'a Basement.Portable_lazy.t @ once -> 'a Basement.Portable_lazy.t @ once -> int @@ portable
Sourceval equal : 'a. ('a -> 'a -> bool) -> 'a Basement.Portable_lazy.t -> 'a Basement.Portable_lazy.t -> bool @@ portable
Sourceval equal__local : 'a. ('a @ once -> 'a @ once -> bool) -> 'a Basement.Portable_lazy.t @ once -> 'a Basement.Portable_lazy.t @ once -> bool @@ portable
Sourceval globalize : ('a : value_or_null) ('b : value_or_null). 'b -> 'a Basement.Portable_lazy.t @ once -> 'a Basement.Portable_lazy.t @@ portable
Sourceval is_val : ('a : value_or_null). 'a Basement.Portable_lazy.t -> bool @@ portable
Sourceval peek : 'a. 'a Basement.Portable_lazy.t -> 'a Basement.Or_null_shim.t @ portable contended @@ portable
Sourceval peek_opt : ('a : value_or_null). 'a Basement.Portable_lazy.t -> 'a option @ portable contended @@ portable