Module Incr_memoize.MakeSource

Parameters

Signature

Sourcemodule Incr_with_store_params : sig ... end
Sourceval with_params : 'a Incr.t -> 'a Store_params.t -> 'a Incr_with_store_params.t

Note that despite its appearance, this is not a true monad and does not satisfy the monad signature for bind. This exists to make let%bind syntax convenient. Be careful if you are trying to use this in an unconventional way.

Sourceval bind : 'a Incr_with_store_params.t -> f:('a -> 'b Incr.t) -> 'b Incr.t
Sourceval (>>=) : 'a Incr_with_store_params.t -> f:('a -> 'b Incr.t) -> 'b Incr.t
Sourcemodule Let_syntax : sig ... end
Sourcemodule Store_params = Store_params
Sourcemodule Store = Store