package revops

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package revops

revops
- Revops
  - M
  - Oprev
  - Revop
- Revops_fn
  - Make
    
    M
    
    Monad
    
    Oprev
    
    Revop
- Revops_intf
  - MONAD
  - S
    
    M
    
    Oprev
    
    Revop
- Revops_sys

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Monad : Revops_intf.MONAD

Signature

module M : Revops_intf.MONAD with type 'a t = 'a Monad.t

module Oprev : sig ... end

module Revop : sig ... end

val doop : 'a Oprev.t -> 'a Revop.t M.t

val undo : 'a Revop.t -> unit M.t

val peek : 'a Revop.t -> 'a

val compose : 
  introduce:('a -> 'b -> 'c M.t) ->
  eliminate_first:('c -> 'a M.t) ->
  eliminate_second:('c -> 'b M.t) ->
  first:'a Oprev.t ->
  second:'b Oprev.t ->
  'c Oprev.t

val compose_tuple : 'a Oprev.t -> 'b Oprev.t -> ('a * 'b) Oprev.t

val (+*) : 'a Oprev.t -> 'b Oprev.t -> ('a * 'b) Oprev.t

val run_in_context : 'a Oprev.t -> ('a -> 'b M.t) -> 'b M.t