package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Over.To_monad`

module Monad : Preface_specs.Monad.CORE

type ('a, 'b) handle = ('a -> 'b Monad.t) -> 'a f -> 'b Monad.t

type 'a handler = {

}

The handler type. Which is a Natural transformation from the Freer Monad to the given Monad.

val run : 'a handler -> 'a t -> 'a Monad.t

Run the natural transformation over the Free monad.