Module Sig.Monadic_Context

Parameters

module Context : Context

Signature

val (let*) : ('a -> 'b * 'c) -> ('b -> 'c -> 'd) -> 'a -> 'd

type 'r ar0 = Context.t -> 'r * Context.t

type ('a, 'r) ar1 = 'a -> Context.t -> 'r * Context.t

type ('a, 'b, 'r) ar2 = 'a -> 'b -> Context.t -> 'r * Context.t

type ('a, 'b, 'c, 'r) ar3 = 'a -> 'b -> 'c -> Context.t -> 'r * Context.t

type ('a, 'r) variadic = 'a list -> Context.t -> 'r * Context.t