package OCanren

  1. Overview
  2. Docs
package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'b) t = ('a -> 'b) Env.Monad.t
val reify : ('a OCanren__.Logic.ilogic, 'a OCanren__.Logic.logic) t
val prj_exn : ('a OCanren__.Logic.ilogic, 'a) t
val prj : (int -> 'a) -> ('a OCanren__.Logic.ilogic, 'a) t
val compose : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t
val fmap : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
val fcomap : ('a -> 'b) -> ('b, 'c) t -> ('a, 'c) t
val fix : (('a, 'b) t as 'c -> 'c) -> 'c
val rework : fv:('a Env.m -> 'b Env.m) -> ('a OCanren__.Logic.logic Env.m -> 'b OCanren__.Logic.logic Env.m) -> 'a OCanren__.Logic.logic Env.m -> 'b OCanren__.Logic.logic Env.m
val zed : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b