OCanren
  1. Overview
  2. Docs
package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a logic = private
  1. | Var of GT.int * 'a logic GT.list
  2. | Value of 'a
class virtual ['ia, 'a, 'sa, 'inh, 'extra, 'syn] logic_t : object ... end
val gcata_logic : < c_Var : 'inh -> 'a logic -> GT.int -> 'a logic GT.list -> 'syn ; c_Value : 'inh -> 'a logic -> 'a -> 'syn.. > -> '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, '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, '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, 'extra_logic] show_logic_t : (unit -> 'a -> string) -> (unit -> 'a logic -> string) -> object ... end
val show_logic : ('a -> string) -> 'a logic -> string
val logic : (< c_Var : 'inh -> 'a logic -> GT.int -> 'a logic GT.list -> 'syn ; c_Value : 'inh -> 'a logic -> 'a -> 'syn.. > -> 'inh -> 'a logic -> 'syn, < fmt : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a logic -> unit ; 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 ; gmap : ('a -> 'a_2) -> 'a logic -> 'a_2 logic ; 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
val to_logic : 'a -> 'a logic
val from_logic : 'a logic -> 'a
type ('a, 'b) injected
val lift : 'a -> ('a, 'a) injected
val inj : ('a, 'b) injected -> ('a, 'b logic) injected
val (!!) : 'a -> ('a, 'a logic) injected
val prj : ('a, 'b) injected -> 'a
exception Not_a_value
class type ['a, 'b] reified = object ... end
val make_rr : Env.t -> ('a, 'b) injected -> ('a, 'b) reified
module type T1 = sig ... end
module type T2 = sig ... end
module type T3 = sig ... end
module type T4 = sig ... end
module type T5 = sig ... end
module type T6 = sig ... end
val reify : Env.t -> ('a, 'a logic) injected -> 'a logic
val prjc : (int -> 'a list -> 'a) -> Env.t -> ('a, 'a logic) injected -> 'a
val project : ('a, 'b) reified -> 'a
module Fmap (T : sig ... end) : sig ... end
module Fmap2 (T : sig ... end) : sig ... end
module Fmap3 (T : sig ... end) : sig ... end
module Fmap4 (T : sig ... end) : sig ... end
module Fmap5 (T : sig ... end) : sig ... end
module Fmap6 (T : sig ... end) : sig ... end
module State : sig ... end
type 'a goal'
type goal = State.t Stream.t goal'
val call_fresh : (('a, 'b) OCanren__.Logic.injected -> goal) -> goal
val (===) : ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> goal
val unify : ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> goal
val (=/=) : ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> goal
val structural : ('a, 'b) OCanren__.Logic.injected -> (Env.t -> ('a, 'b) OCanren__.Logic.injected -> 'b) -> ('b -> bool) -> goal
val diseq : ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> ('a, 'b OCanren__.Logic.logic) OCanren__.Logic.injected -> goal
val conj : goal -> goal -> goal
val (&&&) : goal -> goal -> goal
val disj : goal -> goal -> goal
val (|||) : goal -> goal -> goal
val (?|) : goal list -> goal
val conde : goal list -> goal
val (?&) : goal list -> goal
val success : goal
val failure : goal
module Fresh : sig ... end
val run : (unit -> ('a -> State.t -> 'b) * ('c -> Env.t -> 'd) * ('b -> 'c * State.t Stream.t) * ('e -> 'd -> 'f)) -> 'a -> 'e -> 'f Stream.t
val delay : (unit -> goal) -> goal
val succ : (unit -> ('a -> State.t -> 'b) * ('c -> Env.t -> 'd) * ('e -> 'f * 'g) * ('h -> 'i -> 'j)) -> unit -> ((('k, 'l) OCanren__.Logic.injected -> 'a) -> State.t -> ('k, 'l) OCanren__.Logic.injected * 'b) * ((('m, 'n) OCanren__.Logic.injected * 'c) -> Env.t -> ('m, 'n) OCanren__.Logic.reified * 'd) * (('o * 'e) -> ('o * 'f) * 'g) * (('p -> 'h) -> ('p * 'i) -> 'j)
val one : unit -> ((('a, 'b) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * State.t Stream.t) * (('c, 'd) OCanren__.Logic.injected -> Env.t -> ('c, 'd) OCanren__.Logic.reified) * ('e -> 'e) * (('f -> 'g) -> 'f -> 'g)
val two : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * State.t Stream.t)) * ((('e, 'f) OCanren__.Logic.injected * ('g, 'h) OCanren__.Logic.injected) -> Env.t -> ('e, 'f) OCanren__.Logic.reified * ('g, 'h) OCanren__.Logic.reified) * (('i * ('j * 'k)) -> ('i * 'j) * 'k) * (('l -> 'm -> 'n) -> ('l * 'm) -> 'n)
val three : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> ('e, 'f) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * (('e, 'f) OCanren__.Logic.injected * State.t Stream.t))) * ((('g, 'h) OCanren__.Logic.injected * (('i, 'j) OCanren__.Logic.injected * ('k, 'l) OCanren__.Logic.injected)) -> Env.t -> ('g, 'h) OCanren__.Logic.reified * (('i, 'j) OCanren__.Logic.reified * ('k, 'l) OCanren__.Logic.reified)) * (('m * ('n * ('o * 'p))) -> ('m * ('n * 'o)) * 'p) * (('q -> 'r -> 's -> 't) -> ('q * ('r * 's)) -> 't)
val four : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> ('e, 'f) OCanren__.Logic.injected -> ('g, 'h) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * (('e, 'f) OCanren__.Logic.injected * (('g, 'h) OCanren__.Logic.injected * State.t Stream.t)))) * ((('i, 'j) OCanren__.Logic.injected * (('k, 'l) OCanren__.Logic.injected * (('m, 'n) OCanren__.Logic.injected * ('o, 'p) OCanren__.Logic.injected))) -> Env.t -> ('i, 'j) OCanren__.Logic.reified * (('k, 'l) OCanren__.Logic.reified * (('m, 'n) OCanren__.Logic.reified * ('o, 'p) OCanren__.Logic.reified))) * (('q * ('r * ('s * ('t * 'u)))) -> ('q * ('r * ('s * 't))) * 'u) * (('v -> 'w -> 'x -> 'y -> 'z) -> ('v * ('w * ('x * 'y))) -> 'z)
val five : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> ('e, 'f) OCanren__.Logic.injected -> ('g, 'h) OCanren__.Logic.injected -> ('i, 'j) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * (('e, 'f) OCanren__.Logic.injected * (('g, 'h) OCanren__.Logic.injected * (('i, 'j) OCanren__.Logic.injected * State.t Stream.t))))) * ((('k, 'l) OCanren__.Logic.injected * (('m, 'n) OCanren__.Logic.injected * (('o, 'p) OCanren__.Logic.injected * (('q, 'r) OCanren__.Logic.injected * ('s, 't) OCanren__.Logic.injected)))) -> Env.t -> ('k, 'l) OCanren__.Logic.reified * (('m, 'n) OCanren__.Logic.reified * (('o, 'p) OCanren__.Logic.reified * (('q, 'r) OCanren__.Logic.reified * ('s, 't) OCanren__.Logic.reified)))) * (('u * ('v * ('w * ('x * ('y * 'z))))) -> ('u * ('v * ('w * ('x * 'y)))) * 'z) * (('a1 -> 'b1 -> 'c1 -> 'd1 -> 'e1 -> 'f1) -> ('a1 * ('b1 * ('c1 * ('d1 * 'e1)))) -> 'f1)
val q : unit -> ((('a, 'b) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * State.t Stream.t) * (('c, 'd) OCanren__.Logic.injected -> Env.t -> ('c, 'd) OCanren__.Logic.reified) * ('e -> 'e) * (('f -> 'g) -> 'f -> 'g)
val qr : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * State.t Stream.t)) * ((('e, 'f) OCanren__.Logic.injected * ('g, 'h) OCanren__.Logic.injected) -> Env.t -> ('e, 'f) OCanren__.Logic.reified * ('g, 'h) OCanren__.Logic.reified) * (('i * ('j * 'k)) -> ('i * 'j) * 'k) * (('l -> 'm -> 'n) -> ('l * 'm) -> 'n)
val qrs : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> ('e, 'f) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * (('e, 'f) OCanren__.Logic.injected * State.t Stream.t))) * ((('g, 'h) OCanren__.Logic.injected * (('i, 'j) OCanren__.Logic.injected * ('k, 'l) OCanren__.Logic.injected)) -> Env.t -> ('g, 'h) OCanren__.Logic.reified * (('i, 'j) OCanren__.Logic.reified * ('k, 'l) OCanren__.Logic.reified)) * (('m * ('n * ('o * 'p))) -> ('m * ('n * 'o)) * 'p) * (('q -> 'r -> 's -> 't) -> ('q * ('r * 's)) -> 't)
val qrst : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> ('e, 'f) OCanren__.Logic.injected -> ('g, 'h) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * (('e, 'f) OCanren__.Logic.injected * (('g, 'h) OCanren__.Logic.injected * State.t Stream.t)))) * ((('i, 'j) OCanren__.Logic.injected * (('k, 'l) OCanren__.Logic.injected * (('m, 'n) OCanren__.Logic.injected * ('o, 'p) OCanren__.Logic.injected))) -> Env.t -> ('i, 'j) OCanren__.Logic.reified * (('k, 'l) OCanren__.Logic.reified * (('m, 'n) OCanren__.Logic.reified * ('o, 'p) OCanren__.Logic.reified))) * (('q * ('r * ('s * ('t * 'u)))) -> ('q * ('r * ('s * 't))) * 'u) * (('v -> 'w -> 'x -> 'y -> 'z) -> ('v * ('w * ('x * 'y))) -> 'z)
val qrstu : unit -> ((('a, 'b) OCanren__.Logic.injected -> ('c, 'd) OCanren__.Logic.injected -> ('e, 'f) OCanren__.Logic.injected -> ('g, 'h) OCanren__.Logic.injected -> ('i, 'j) OCanren__.Logic.injected -> goal) -> State.t -> ('a, 'b) OCanren__.Logic.injected * (('c, 'd) OCanren__.Logic.injected * (('e, 'f) OCanren__.Logic.injected * (('g, 'h) OCanren__.Logic.injected * (('i, 'j) OCanren__.Logic.injected * State.t Stream.t))))) * ((('k, 'l) OCanren__.Logic.injected * (('m, 'n) OCanren__.Logic.injected * (('o, 'p) OCanren__.Logic.injected * (('q, 'r) OCanren__.Logic.injected * ('s, 't) OCanren__.Logic.injected)))) -> Env.t -> ('k, 'l) OCanren__.Logic.reified * (('m, 'n) OCanren__.Logic.reified * (('o, 'p) OCanren__.Logic.reified * (('q, 'r) OCanren__.Logic.reified * ('s, 't) OCanren__.Logic.reified)))) * (('u * ('v * ('w * ('x * ('y * 'z))))) -> ('u * ('v * ('w * ('x * 'y)))) * 'z) * (('a1 -> 'b1 -> 'c1 -> 'd1 -> 'e1 -> 'f1) -> ('a1 * ('b1 * ('c1 * ('d1 * 'e1)))) -> 'f1)
module Tabling : sig ... end
val debug_var : ('a, 'b) OCanren__.Logic.injected -> (('a, 'b) OCanren__.Logic.injected -> Env.t -> 'b) -> ('b list -> goal) -> goal
val only_head : goal -> goal
module PrunesControl : sig ... end
module Stream : sig ... end
module Runconf : sig ... end
module Timer : sig ... end
module Env : sig ... end
module Std : sig ... end