package MlFront_Thunk

  1. Overview
  2. Docs
package MlFront_Thunk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type BuildConstraints.MONAD_WRITER_ASYNCSource

type journal
type journal_entry_id
type journal_entry_value
type 'a promise
include MONAD with type 'a t = 'a * (journal_entry_id * journal_entry_value) UniqueInsertionList.t
include FUNCTOR with type 'a t = 'a * (journal_entry_id * journal_entry_value) UniqueInsertionList.t
include APPLICATIVE with type 'a t := 'a t
include FUNCTOR with type 'a t := 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
val pure : 'a -> 'a t
val apply : ('a -> 'b) t -> 'a t -> 'b t
val return : 'a -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t
val post_entry : journal_entry_value -> unit t