package monadlib

  1. Overview
  2. Docs
Transformer

Parameters

module A : Base
module Inner : Base

Signature

type 'a m = 'a Inner.m A.m
val return : 'a -> 'a m
val (<*>) : ('a -> 'b) m -> 'a m -> 'b m