Module With_depsSource

Sourcetype 'a t
Sourceval no_deps : 'a -> 'a t
Sourceval deps : 'a t -> Deps.t
Sourceval value : 'a t -> 'a
Sourceval unpack : 'a t -> Deps.t * 'a
Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t
Sourceval map : 'a t -> ('a -> 'b) -> 'b t
Sourceval comm : ('a, 'b) result t -> ('a t, 'b t) result
Sourceval (>>=) : 'a t -> ('a -> 'b t) -> 'b t
Sourceval (>>|) : 'a t -> ('a -> 'b) -> 'b t
Sourceval (<<|) : ('a -> 'b) -> 'a t -> 'b t
Sourceval (<*>) : 'a t -> 'b t -> ('a * 'b) t
Sourceval (<+>) : Deps.t -> 'a t -> 'a t