Module Effect.To_monad

Parameters

module Monad : sig ... end

Signature

type (!'a, 'b) handle = ('a -> 'b Monad.t) -> 'a f -> 'b Monad.t
type !'a handler = {
  1. handler : 'b. ('b, 'a) handle;
}
val run : 'a handler -> 'a t -> 'a Monad.t