package revops

You can search for identifiers within the package.

in-package search v0.2.0

package revops

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

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Revops`

include Revops_intf.S with type 'a M.t = 'a

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

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

package revops

Module Revops

Module `Revops`