package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a monad

type sequence

val getd : ?def:'a -> 'a Dom.Kind.t -> Node.t -> 'a option monad

val setd : 'a Dom.Kind.t -> Node.t -> 'a option monad -> sequence

val exec : (Egraph.wt -> unit) -> bool option monad -> sequence

val updd : 
  (Egraph.wt -> Node.t -> 'a -> unit) ->
  Node.t ->
  'a option monad ->
  sequence

val getv : ('a, _) Value.Kind.t -> Node.t -> 'a option monad

val setv : ('a, _) Value.Kind.t -> Node.t -> 'a option monad -> sequence

val exec_ro : (Egraph.rt -> unit) -> 'a monad -> 'a monad

An hook in the middle, for printing debug message for example

val let+ : 'a option monad -> ('a -> 'c) -> 'c option monad

val let* : 'a option monad -> ('a -> 'c option) -> 'c option monad

val and+ : 'a option monad -> 'b option monad -> ('a * 'b) option monad

val (&&) : sequence -> sequence -> sequence

val attach : _ Egraph.t -> ?thterm:ThTerm.t -> sequence -> unit