package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Over_monad.To_monad`

Parameters

module Monad : Preface_specs.Monad.CORE

Signature

type natural_transformation = {

transform : 'a. 'a f -> 'a Monad.t;

}

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

Run the natural transformation over the Free monad.