package mtl

  1. Overview
  2. Docs
A Monad Transformers Library for OCaml

Install 

dune-project
 Dependency

Edit opam file Versions (1)

Authors

  1. R
    Rudi Grinberg

Maintainers

  1. R
    rudi.grinberg@gmail.com

Sources

v1.0.0.tar.gz
sha256=d1a54676bbffa0401efecc61d614a2a46c78fecf8c1c28341c4aeb85a6b1a87d
md5=705ec4ca36ed5ab8f4bde4d8f8537f7d

doc/mtl/Mtl/Ref_monad/index.html

Module Mtl.Ref_monad

Parameters

module V : sig ... end

Signature

type ref
type value = V.value
type ('x, 'a) result = 'a
type ('x, 'a) result_exn = 'a
include Monad.S with type ('x, 'a) result := ('x, 'a) result and type ('x, 'a) result_exn := ('x, 'a) result_exn
include Monad.BASE with type ('x, 'a) result := ('x, 'a) result with type ('x, 'a) result_exn := ('x, 'a) result_exn
type ('x, 'a) m
val unit : 'a -> ('x, 'a) m
val bind : ('x, 'a) m -> ('a -> ('x, 'b) m) -> ('x, 'b) m
val run : ('x, 'a) m -> ('x, 'a) result
val run_exn : ('x, 'a) m -> ('x, 'a) result_exn
val zero : unit -> ('x, 'a) m
val plus : ('x, 'a) m -> ('x, 'a) m -> ('x, 'a) m
val (>>=) : ('x, 'a) m -> ('a -> ('x, 'b) m) -> ('x, 'b) m
val (>>) : ('x, 'a) m -> ('x, 'b) m -> ('x, 'b) m
val join : ('x, ('x, 'a) m) m -> ('x, 'a) m
val apply : ('x, 'a -> 'b) m -> ('x, 'a) m -> ('x, 'b) m
val lift : ('a -> 'b) -> ('x, 'a) m -> ('x, 'b) m
val lift2 : ('a -> 'b -> 'c) -> ('x, 'a) m -> ('x, 'b) m -> ('x, 'c) m
val (>=>) : ('a -> ('x, 'b) m) -> ('b -> ('x, 'c) m) -> 'a -> ('x, 'c) m
val do_when : bool -> ('x, unit) m -> ('x, unit) m
val do_unless : bool -> ('x, unit) m -> ('x, unit) m
val forever : (unit -> ('x, 'a) m) -> ('x, 'b) m
val sequence : ('x, 'a) m list -> ('x, 'a list) m
val sequence_ : ('x, 'a) m list -> ('x, unit) m
val guard : bool -> ('x, unit) m
val sum : ('x, 'a) m list -> ('x, 'a) m
val newref : value -> ('x, ref) m
val deref : ref -> ('x, value) m
val change : ref -> value -> ('x, unit) m
module T (Wrapped : Monad.S) : sig ... end