OCanren
  1. Overview
  2. Docs
package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a nat =
  1. | O
  2. | S of 'a
class virtual ['ia, 'a, 'sa, 'inh, 'extra, 'syn] nat_t : object ... end
val gcata_nat : < c_O : 'inh -> 'a nat -> 'syn ; c_S : 'inh -> 'a nat -> 'a -> 'syn.. > -> 'inh -> 'a nat -> 'syn
class ['a, 'extra_nat] fmt_nat_t : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'a nat -> unit) -> object ... end
val fmt_nat : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a nat -> unit
class ['a, 'a_2, 'extra_nat, 'syn_nat] gmap_nat_t : (unit -> 'a -> 'a_2) -> (unit -> 'a nat -> 'a_2 nat) -> object ... end
val gmap_nat : ('a -> 'a_2) -> 'a nat -> 'a_2 nat
class ['a, 'syn, 'extra_nat] foldr_nat_t : ('syn -> 'a -> 'syn) -> ('syn -> 'a nat -> 'syn) -> object ... end
val foldr_nat : ('syn -> 'a -> 'syn) -> 'syn -> 'a nat -> 'syn
class ['a, 'syn, 'extra_nat] foldl_nat_t : ('syn -> 'a -> 'syn) -> ('syn -> 'a nat -> 'syn) -> object ... end
val foldl_nat : ('syn -> 'a -> 'syn) -> 'syn -> 'a nat -> 'syn
class ['a, 'extra_nat] compare_nat_t : ('a -> 'a -> GT.comparison) -> ('a nat -> 'a nat -> GT.comparison) -> object ... end
val compare_nat : ('a -> 'a -> GT.comparison) -> 'a nat -> 'a nat -> GT.comparison
class ['a, 'extra_nat] eq_nat_t : ('a -> 'a -> bool) -> ('a nat -> 'a nat -> bool) -> object ... end
val eq_nat : ('a -> 'a -> bool) -> 'a nat -> 'a nat -> bool
class ['a, 'extra_nat] html_nat_t : (unit -> 'a -> HTML.er) -> (unit -> 'a nat -> HTML.er) -> object ... end
val html_nat : ('a -> HTML.er) -> 'a nat -> HTML.er
class ['a, 'extra_nat] show_nat_t : (unit -> 'a -> string) -> (unit -> 'a nat -> string) -> object ... end
val show_nat : ('a -> string) -> 'a nat -> string
type 'a logic'
class virtual ['ia, 'a, 'sa, 'inh, 'extra, 'syn] logic'_t : object ... end
val gcata_logic' : [_, 'a, 'sa, 'inh, 'a logic', 'syn] logic'_t -> 'inh -> 'a logic' -> 'syn
class ['a, 'extra_logic'] fmt_logic'_t : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'a logic' -> unit) -> object ... end
val fmt_logic' : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a logic' -> unit
class ['a, 'a_2, 'extra_logic', 'syn_logic'] gmap_logic'_t : (unit -> 'a -> 'a_2) -> (unit -> 'a logic' -> 'a_2 logic') -> object ... end
val gmap_logic' : ('a -> 'a_2) -> 'a logic' -> 'a_2 logic'
class ['a, 'syn, 'extra_logic'] foldr_logic'_t : ('syn -> 'a -> 'syn) -> ('syn -> 'a logic' -> 'syn) -> object ... end
val foldr_logic' : ('syn -> 'a -> 'syn) -> 'syn -> 'a logic' -> 'syn
class ['a, 'syn, 'extra_logic'] foldl_logic'_t : ('syn -> 'a -> 'syn) -> ('syn -> 'a logic' -> 'syn) -> object ... end
val foldl_logic' : ('syn -> 'a -> 'syn) -> 'syn -> 'a logic' -> 'syn
class ['a, 'extra_logic'] compare_logic'_t : ('a -> 'a -> GT.comparison) -> ('a logic' -> 'a logic' -> GT.comparison) -> object ... end
val compare_logic' : ('a -> 'a -> GT.comparison) -> 'a logic' -> 'a logic' -> GT.comparison
class ['a, 'extra_logic'] eq_logic'_t : ('a -> 'a -> bool) -> ('a logic' -> 'a logic' -> bool) -> object ... end
val eq_logic' : ('a -> 'a -> bool) -> 'a logic' -> 'a logic' -> bool
class ['a, 'extra_logic'] html_logic'_t : (unit -> 'a -> HTML.er) -> (unit -> 'a logic' -> HTML.er) -> object ... end
val html_logic' : ('a -> HTML.er) -> 'a logic' -> HTML.er
class ['a, 'extra_logic'] show_logic'_t : (unit -> 'a -> string) -> (unit -> 'a logic' -> string) -> object ... end
val show_logic' : ('a -> string) -> 'a logic' -> string
val logic' : ([_, 'a, 'sa, 'inh, 'a logic', 'syn] logic'_t -> 'inh -> 'a logic' -> 'syn, < fmt : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a logic' -> unit ; gmap : ('a -> 'a_2) -> 'a logic' -> 'a_2 logic' ; foldr : ('syn -> 'a -> 'syn) -> 'syn -> 'a logic' -> 'syn ; foldl : ('syn -> 'a -> 'syn) -> 'syn -> 'a logic' -> 'syn ; compare : ('a -> 'a -> GT.comparison) -> 'a logic' -> 'a logic' -> GT.comparison ; eq : ('a -> 'a -> bool) -> 'a logic' -> 'a logic' -> bool ; html : ('a -> HTML.er) -> 'a logic' -> HTML.er ; show : ('a -> string) -> 'a logic' -> string >, (('inh2 -> 'a1 logic' -> 'syn3) -> ['a1_i, 'a1, 'a1_s, 'inh2, 'a1 logic', 'syn3] logic'_t) -> 'inh2 -> 'a1 logic' -> 'syn3) GT.t
type 'a t = 'a nat
class virtual ['ia, 'a, 'sa, 'inh, 'extra, 'syn] t_t : object ... end
val gcata_t : [_, 'a, 'sa, 'inh, 'a t, 'syn] t_t -> 'inh -> 'a t -> 'syn
class ['a, 'extra_t] fmt_t_t : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'a t -> unit) -> object ... end
val fmt_t : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
class ['a, 'a_2, 'extra_t, 'syn_t] gmap_t_t : (unit -> 'a -> 'a_2) -> (unit -> 'a t -> 'a_2 t) -> object ... end
val gmap_t : ('a -> 'a_2) -> 'a t -> 'a_2 t
class ['a, 'syn, 'extra_t] foldr_t_t : ('syn -> 'a -> 'syn) -> ('syn -> 'a t -> 'syn) -> object ... end
val foldr_t : ('syn -> 'a -> 'syn) -> 'syn -> 'a t -> 'syn
class ['a, 'syn, 'extra_t] foldl_t_t : ('syn -> 'a -> 'syn) -> ('syn -> 'a t -> 'syn) -> object ... end
val foldl_t : ('syn -> 'a -> 'syn) -> 'syn -> 'a t -> 'syn
class ['a, 'extra_t] compare_t_t : ('a -> 'a -> GT.comparison) -> ('a t -> 'a t -> GT.comparison) -> object ... end
val compare_t : ('a -> 'a -> GT.comparison) -> 'a t -> 'a t -> GT.comparison
class ['a, 'extra_t] eq_t_t : ('a -> 'a -> bool) -> ('a t -> 'a t -> bool) -> object ... end
val eq_t : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
class ['a, 'extra_t] html_t_t : (unit -> 'a -> HTML.er) -> (unit -> 'a t -> HTML.er) -> object ... end
val html_t : ('a -> HTML.er) -> 'a t -> HTML.er
class ['a, 'extra_t] show_t_t : (unit -> 'a -> string) -> (unit -> 'a t -> string) -> object ... end
val show_t : ('a -> string) -> 'a t -> string
val t : ([_, 'a, 'sa, 'inh, 'a t, 'syn] t_t -> 'inh -> 'a t -> 'syn, < fmt : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit ; gmap : ('a -> 'a_2) -> 'a t -> 'a_2 t ; foldr : ('syn -> 'a -> 'syn) -> 'syn -> 'a t -> 'syn ; foldl : ('syn -> 'a -> 'syn) -> 'syn -> 'a t -> 'syn ; compare : ('a -> 'a -> GT.comparison) -> 'a t -> 'a t -> GT.comparison ; eq : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool ; html : ('a -> HTML.er) -> 'a t -> HTML.er ; show : ('a -> string) -> 'a t -> string >, (('inh2 -> 'a1 t -> 'syn3) -> ['a1_i, 'a1, 'a1_s, 'inh2, 'a1 t, 'syn3] t_t) -> 'inh2 -> 'a1 t -> 'syn3) GT.t
type ground = ground t
class virtual ['inh, 'extra, 'syn] ground_t : object ... end
val gcata_ground : ['inh, ground, 'syn] ground_t -> 'inh -> ground -> 'syn
class 'extra_ground fmt_ground_t : (Format.formatter -> ground -> unit) -> object ... end
val fmt_ground : Format.formatter -> ground -> unit
class ['extra_ground, 'syn_ground] gmap_ground_t : (unit -> ground -> ground) -> object ... end
val gmap_ground : ground -> ground
class ['syn, 'extra_ground] foldr_ground_t : ('syn -> ground -> 'syn) -> object ... end
val foldr_ground : 'syn -> ground -> 'syn
class ['syn, 'extra_ground] foldl_ground_t : ('syn -> ground -> 'syn) -> object ... end
val foldl_ground : 'syn -> ground -> 'syn
class 'extra_ground compare_ground_t : (ground -> ground -> GT.comparison) -> object ... end
val compare_ground : ground -> ground -> GT.comparison
class 'extra_ground eq_ground_t : (ground -> ground -> bool) -> object ... end
val eq_ground : ground -> ground -> bool
class 'extra_ground html_ground_t : (unit -> ground -> HTML.er) -> object ... end
val html_ground : ground -> HTML.er
class 'extra_ground show_ground_t : (unit -> ground -> string) -> object ... end
val show_ground : ground -> string
val ground : (['inh, ground, 'syn] ground_t -> 'inh -> ground -> 'syn, < fmt : Format.formatter -> ground -> unit ; gmap : ground -> ground ; foldr : 'syn -> ground -> 'syn ; foldl : 'syn -> ground -> 'syn ; compare : ground -> ground -> GT.comparison ; eq : ground -> ground -> bool ; html : ground -> HTML.er ; show : ground -> string >, (('inh1 -> ground -> 'syn2) -> ['inh1, ground, 'syn2] ground_t) -> 'inh1 -> ground -> 'syn2) GT.t
type logic = logic t logic'
class virtual ['inh, 'extra, 'syn] logic_t : object ... end
val gcata_logic : ['inh, logic, 'syn] logic_t -> 'inh -> logic -> 'syn
class 'extra_logic fmt_logic_t : (Format.formatter -> logic -> unit) -> object ... end
val fmt_logic : Format.formatter -> logic -> unit
class ['extra_logic, 'syn_logic] gmap_logic_t : (unit -> logic -> logic) -> object ... end
val gmap_logic : logic -> logic
class ['syn, 'extra_logic] foldr_logic_t : ('syn -> logic -> 'syn) -> object ... end
val foldr_logic : 'syn -> logic -> 'syn
class ['syn, 'extra_logic] foldl_logic_t : ('syn -> logic -> 'syn) -> object ... end
val foldl_logic : 'syn -> logic -> 'syn
class 'extra_logic compare_logic_t : (logic -> logic -> GT.comparison) -> object ... end
val compare_logic : logic -> logic -> GT.comparison
class 'extra_logic eq_logic_t : (logic -> logic -> bool) -> object ... end
val eq_logic : logic -> logic -> bool
class 'extra_logic html_logic_t : (unit -> logic -> HTML.er) -> object ... end
val html_logic : logic -> HTML.er
class 'extra_logic show_logic_t : (unit -> logic -> string) -> object ... end
val show_logic : logic -> string
val logic : (['inh, logic, 'syn] logic_t -> 'inh -> logic -> 'syn, < fmt : Format.formatter -> logic -> unit ; gmap : logic -> logic ; foldr : 'syn -> logic -> 'syn ; foldl : 'syn -> logic -> 'syn ; compare : logic -> logic -> GT.comparison ; eq : logic -> logic -> bool ; html : logic -> HTML.er ; show : logic -> string >, (('inh1 -> logic -> 'syn2) -> ['inh1, logic, 'syn2] logic_t) -> 'inh1 -> logic -> 'syn2) GT.t
val inj : ground -> logic
type groundi
val reify : Env.t -> groundi -> logic
val prjc : (int -> ground GT.list -> ground) -> Env.t -> groundi -> ground
val of_int : int -> ground
val to_int : ground -> int
val nat : ground -> groundi
val o : groundi
val s : groundi -> groundi
val zero : groundi
val one : groundi
val succ : groundi -> groundi
val addo : groundi -> groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val (+) : groundi -> groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val mulo : groundi -> groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val (*) : groundi -> groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val leo : groundi -> groundi -> (GT.bool, GT.bool OCanren__.Logic.logic) OCanren__.Logic.injected -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val geo : groundi -> groundi -> (GT.bool, GT.bool OCanren__.Logic.logic) OCanren__.Logic.injected -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val gto : groundi -> groundi -> (GT.bool, GT.bool OCanren__.Logic.logic) OCanren__.Logic.injected -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val lto : groundi -> groundi -> (GT.bool, GT.bool OCanren__.Logic.logic) OCanren__.Logic.injected -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val (<=) : groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val (>=) : groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val (>) : groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'
val (<) : groundi -> groundi -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal'