SYMBOL INDEX (257 symbols across 20 files)

FILE: examples/account.py
  class Account (line 1) | class Account(object):
    method __init__ (line 2) | def __init__(self, first, last, id, balance):
    method info (line 8) | def info(self):
    method __eq__ (line 11) | def __eq__(self, other):
    method __hash__ (line 16) | def __hash__(self):
    method __str__ (line 19) | def __str__(self):

FILE: examples/corleone.py
  function parent (line 51) | def parent(p, child):
  function grandparent (line 59) | def grandparent(gparent, child):
  function sibling (line 72) | def sibling(a, b):

FILE: examples/zebra-puzzle.py
  class House (line 15) | class House:
  function righto (line 23) | def righto(right, left, houses):
  function nexto (line 29) | def nexto(a, b, houses):

FILE: kanren/assoccomm.py
  function flatten_assoc_args (line 52) | def flatten_assoc_args(op_predicate, items):
  function assoc_args (line 64) | def assoc_args(rator, rands, n, ctor=None):
  function eq_assoc_args (line 90) | def eq_assoc_args(
  function eq_assoc (line 177) | def eq_assoc(u, v, n=None, op_predicate=associative, null_type=etuple):
  function eq_comm (line 197) | def eq_comm(u, v, op_predicate=commutative, null_type=etuple):
  function assoc_flatten (line 218) | def assoc_flatten(a, a_flat):
  function eq_assoccomm (line 240) | def eq_assoccomm(u, v, null_type=etuple):

FILE: kanren/constraints.py
  class ConstraintStore (line 16) | class ConstraintStore(ABC):
    method __init__ (line 32) | def __init__(self, lvar_constraints=None):
    method pre_unify_check (line 37) | def pre_unify_check(self, lvar_map, lvar=None, value=None):
    method post_unify_check (line 42) | def post_unify_check(self, lvar_map, lvar=None, value=None, old_state=...
    method add (line 49) | def add(self, lvar, lvar_constraint, **kwargs):
    method constraints_str (line 56) | def constraints_str(self, lvar):
    method copy (line 63) | def copy(self):
    method __contains__ (line 68) | def __contains__(self, lvar):
    method __eq__ (line 71) | def __eq__(self, other):
    method __repr__ (line 78) | def __repr__(self):
  class ConstrainedState (line 82) | class ConstrainedState(UserDict):
    method __init__ (line 87) | def __init__(self, *s, constraints=None):
    method pre_unify_checks (line 91) | def pre_unify_checks(self, lvar, value):
    method post_unify_checks (line 98) | def post_unify_checks(self, lvar_map, lvar, value):
    method copy (line 115) | def copy(self, data=None):
    method __eq__ (line 122) | def __eq__(self, other):
    method __repr__ (line 131) | def __repr__(self):
  function unify_ConstrainedState (line 135) | def unify_ConstrainedState(u, v, S):
  class ConstrainedVar (line 149) | class ConstrainedVar(Var):
    method __init__ (line 158) | def __init__(self, var, S):
    method __repr__ (line 163) | def __repr__(self):
    method __eq__ (line 175) | def __eq__(self, other):
    method __hash__ (line 183) | def __hash__(self):
  function _reify_ConstrainedState (line 187) | def _reify_ConstrainedState(u, S):
  class DisequalityStore (line 199) | class DisequalityStore(ConstraintStore):
    method __init__ (line 204) | def __init__(self, lvar_constraints=None):
    method post_unify_check (line 207) | def post_unify_check(self, lvar_map, lvar=None, value=None, old_state=...
    method pre_unify_check (line 238) | def pre_unify_check(self, lvar_map, lvar=None, value=None):
  function neq (line 242) | def neq(u, v):
  class PredicateStore (line 279) | class PredicateStore(ConstraintStore, ABC):
    method cparam_type_check (line 292) | def cparam_type_check(self, lvt):
    method constraint_check (line 297) | def constraint_check(self, lv, lvt):
    method constraint_isground (line 305) | def constraint_isground(self, lv, lvar_map):
    method post_unify_check (line 309) | def post_unify_check(self, lvar_map, lvar=None, value=None, old_state=...
    method pre_unify_check (line 363) | def pre_unify_check(self, lvar_map, lvar=None, value=None):
  class TypeStore (line 367) | class TypeStore(PredicateStore):
    method __init__ (line 374) | def __init__(self, lvar_constraints=None):
    method add (line 377) | def add(self, lvt, cparams):
    method cparam_type_check (line 386) | def cparam_type_check(self, x):
    method constraint_check (line 389) | def constraint_check(self, x, cx):
    method constraint_isground (line 392) | def constraint_isground(self, lv, lvar_map):
  function typeo (line 396) | def typeo(u, u_type):
  class IsinstanceStore (line 429) | class IsinstanceStore(PredicateStore):
    method __init__ (line 437) | def __init__(self, lvar_constraints=None):
    method cparam_type_check (line 443) | def cparam_type_check(self, lvt):
    method constraint_check (line 446) | def constraint_check(self, lv, lvt):
    method constraint_isground (line 449) | def constraint_isground(self, lv, lvar_map):
  function isinstanceo (line 453) | def isinstanceo(u, u_type):

FILE: kanren/core.py
  function fail (line 29) | def fail(s: StateType) -> Iterator[StateType]:
  function succeed (line 33) | def succeed(s: StateType) -> Iterator[StateType]:
  function eq (line 37) | def eq(u: Any, v: Any) -> GoalType:
  function ldisj_seq (line 55) | def ldisj_seq(goals: Iterable[GoalType]) -> GoalType:
  function bind (line 76) | def bind(z: StateStreamType, g: GoalType) -> StateStreamType:
  function lconj_seq (line 83) | def lconj_seq(goals: Iterable[GoalType]) -> GoalType:
  function ldisj (line 109) | def ldisj(*goals: Union[GoalType, Iterable[GoalType]]) -> GoalType:
  function lconj (line 117) | def lconj(*goals: Union[GoalType, Iterable[GoalType]]) -> GoalType:
  function conde (line 125) | def conde(
  function ground_order_key (line 141) | def ground_order_key(S: StateType, x: Any) -> Literal[-1, 0, 1, 2]:
  function ground_order (line 152) | def ground_order(in_args: Any, out_args: Any) -> GoalType:
  function ifa (line 172) | def ifa(g1: GoalType, g2: GoalType) -> GoalType:
  function Zzz (line 188) | def Zzz(gctor: Callable[[Any], GoalType], *args, **kwargs) -> GoalType:
  function run (line 197) | def run(
  function dbgo (line 243) | def dbgo(*args: Any, msg: Optional[Any] = None) -> GoalType:  # pragma: ...

FILE: kanren/facts.py
  class Relation (line 7) | class Relation(object):
    method __init__ (line 10) | def __init__(self, name=None):
    method add_fact (line 18) | def add_fact(self, *inputs):
    method __call__ (line 35) | def __call__(self, *args):
    method __str__ (line 75) | def __str__(self):
    method __repr__ (line 78) | def __repr__(self):
  function fact (line 82) | def fact(rel, *args):
  function facts (line 97) | def facts(rel, *lists):

FILE: kanren/goals.py
  function heado (line 15) | def heado(head, coll):
  function tailo (line 26) | def tailo(tail, coll):
  function conso (line 37) | def conso(h, t, r):
  function nullo (line 42) | def nullo(*args, refs=None, default_ConsNull=list):
  function itero (line 103) | def itero(lst, nullo_refs=None, default_ConsNull=list):
  function membero (line 125) | def membero(x, ls):
  function appendo (line 141) | def appendo(lst, s, out, default_ConsNull=list):
  function rembero (line 180) | def rembero(x, lst, o, default_ConsNull=list):
  function permuteo (line 214) | def permuteo(a, b, inner_eq=eq, default_ConsNull=list, no_ident=False):

FILE: kanren/graph.py
  function mapo (line 11) | def mapo(relation, a, b, null_type=list, null_res=True, first=True):
  function map_anyo (line 28) | def map_anyo(
  function vararg_success (line 83) | def vararg_success(*args):
  function eq_length (line 87) | def eq_length(u, v, default_ConsNull=list):
  function reduceo (line 93) | def reduceo(relation, in_term, out_term, *args, **kwargs):
  function walko (line 148) | def walko(
  function term_walko (line 215) | def term_walko(

FILE: kanren/term.py
  function applyo (line 14) | def applyo(o_rator, o_rands, obj):
  function term_Sequence (line 59) | def term_Sequence(rator, rands):
  function unifiable_with_term (line 66) | def unifiable_with_term(cls):
  function reify_term (line 72) | def reify_term(obj, s):
  function unify_term (line 80) | def unify_term(u, v, s):

FILE: kanren/util.py
  class FlexibleSet (line 9) | class FlexibleSet(MutableSet):
    method __init__ (line 14) | def __init__(self, iterable=None):
    method add (line 23) | def add(self, item):
    method discard (line 32) | def discard(self, item):
    method clear (line 38) | def clear(self):
    method pop (line 42) | def pop(self):
    method remove (line 51) | def remove(self, item):
    method copy (line 60) | def copy(self):
    method __le__ (line 66) | def __le__(self, other):
    method __ge__ (line 69) | def __ge__(self, other):
    method __iter__ (line 72) | def __iter__(self):
    method __contains__ (line 75) | def __contains__(self, value):
    method __len__ (line 81) | def __len__(self):
    method __eq__ (line 84) | def __eq__(self, other):
    method __repr__ (line 92) | def __repr__(self):
  function hashable (line 96) | def hashable(x):
  function dicthash (line 104) | def dicthash(d):
  function make_hashable (line 108) | def make_hashable(x):
  function multihash (line 121) | def multihash(x):
  function unique (line 125) | def unique(seq, key=lambda x: x):
  function intersection (line 144) | def intersection(*seqs):
  function groupsizes (line 148) | def groupsizes(total, len):
  function pprint (line 163) | def pprint(g):  # pragma: no cover
  function index (line 174) | def index(tup, ind):

FILE: tests/test_assoccomm.py
  function clear_assoccomm (line 26) | def clear_assoccomm():
  class Node (line 40) | class Node(object):
    method __init__ (line 41) | def __init__(self, op, args):
    method __eq__ (line 45) | def __eq__(self, other):
    method __hash__ (line 52) | def __hash__(self):
    method __str__ (line 55) | def __str__(self):
  class Operator (line 61) | class Operator(object):
    method __init__ (line 62) | def __init__(self, name):
  function add (line 70) | def add(*args):
  function mul (line 74) | def mul(*args):
  function term_Operator (line 79) | def term_Operator(op, args):
  function arguments_Node (line 84) | def arguments_Node(n):
  function operator_Node (line 89) | def operator_Node(n):
  function results (line 93) | def results(g, s=None):
  function test_eq_comm (line 99) | def test_eq_comm():
  function test_eq_comm_object (line 189) | def test_eq_comm_object():
  function test_flatten_assoc_args (line 202) | def test_flatten_assoc_args():
  function test_assoc_args (line 221) | def test_assoc_args():
  function test_eq_assoc_args (line 249) | def test_eq_assoc_args():
  function test_eq_assoc (line 335) | def test_eq_assoc():
  function test_assoc_flatten (line 407) | def test_assoc_flatten():
  function test_eq_assoccomm (line 443) | def test_eq_assoccomm():
  function test_assoccomm_algebra (line 536) | def test_assoccomm_algebra():
  function test_assoccomm_objects (line 554) | def test_assoccomm_objects():

FILE: tests/test_constraints.py
  function test_ConstrainedState (line 21) | def test_ConstrainedState():
  function test_reify (line 72) | def test_reify():
  function test_ConstraintStore (line 91) | def test_ConstraintStore():
  function test_ConstrainedVar (line 99) | def test_ConstrainedVar():
  function test_disequality_basic (line 113) | def test_disequality_basic():
  function test_disequality (line 162) | def test_disequality():
  function test_typeo_basic (line 212) | def test_typeo_basic():
  function test_typeo (line 231) | def test_typeo():
  function test_instanceo_basic (line 279) | def test_instanceo_basic():
  function test_instanceo (line 295) | def test_instanceo():

FILE: tests/test_core.py
  function results (line 25) | def results(g, s=None):
  function test_eq (line 31) | def test_eq():
  function test_lconj_basics (line 37) | def test_lconj_basics():
  function test_ldisj_basics (line 72) | def test_ldisj_basics():
  function test_conde_basics (line 101) | def test_conde_basics():
  function test_lany (line 139) | def test_lany():
  function test_lall (line 145) | def test_lall():
  function test_conde (line 153) | def test_conde():
  function test_short_circuit (line 166) | def test_short_circuit():
  function test_run (line 174) | def test_run():
  function test_run_output_reify (line 186) | def test_run_output_reify():
  function test_lanyseq (line 191) | def test_lanyseq():
  function test_lall_errors (line 202) | def test_lall_errors():
  function test_dict (line 216) | def test_dict():
  function test_ifa (line 221) | def test_ifa():
  function test_ground_order (line 246) | def test_ground_order():

FILE: tests/test_facts.py
  function test_relation (line 7) | def test_relation():
  function test_fact (line 30) | def test_fact():
  function test_unify_variable_with_itself_should_not_unify (line 41) | def test_unify_variable_with_itself_should_not_unify():
  function test_unify_variable_with_itself_should_unify (line 50) | def test_unify_variable_with_itself_should_unify():
  function test_unify_tuple (line 59) | def test_unify_tuple():

FILE: tests/test_goals.py
  function results (line 20) | def results(g, s=None):
  function test_heado (line 26) | def test_heado():
  function test_tailo (line 35) | def test_tailo():
  function test_conso (line 45) | def test_conso():
  function test_nullo_itero (line 64) | def test_nullo_itero():
  function test_membero (line 102) | def test_membero():
  function test_uneval_membero (line 127) | def test_uneval_membero():
  function test_appendo (line 139) | def test_appendo():
  function test_appendo_reorder (line 180) | def test_appendo_reorder():
  function test_rembero (line 210) | def test_rembero():
  function test_permuteo (line 227) | def test_permuteo():

FILE: tests/test_graph.py
  class OrderedFunction (line 17) | class OrderedFunction(object):
    method __init__ (line 18) | def __init__(self, func):
    method __call__ (line 21) | def __call__(self, *args, **kwargs):
    method __name__ (line 25) | def __name__(self):
    method __lt__ (line 28) | def __lt__(self, other):
    method __gt__ (line 31) | def __gt__(self, other):
    method __repr__ (line 34) | def __repr__(self):
  function single_math_reduceo (line 56) | def single_math_reduceo(expanded_term, reduced_term):
  function test_basics (line 82) | def test_basics():
  function test_reduceo (line 90) | def test_reduceo():
  function test_mapo (line 112) | def test_mapo():
  function test_eq_length (line 136) | def test_eq_length():
  function test_map_anyo_types (line 159) | def test_map_anyo_types():
  function test_map_anyo_misc (line 178) | def test_map_anyo_misc():
  function test_map_anyo (line 265) | def test_map_anyo(test_input, test_output):
  function test_map_anyo_reverse (line 290) | def test_map_anyo_reverse():
  function test_walko_misc (line 325) | def test_walko_misc():
  function test_walko (line 412) | def test_walko(test_input, test_output):
  function test_walko_reverse (line 437) | def test_walko_reverse():

FILE: tests/test_sudoku.py
  function get_rows (line 16) | def get_rows(board):
  function get_columns (line 20) | def get_columns(rows):
  function get_square (line 24) | def get_square(rows, x, y):
  function get_squares (line 28) | def get_squares(rows):
  function vars (line 32) | def vars(hints):
  function all_numbers (line 42) | def all_numbers(coll):
  function sudoku_solver (line 46) | def sudoku_solver(hints):
  function test_missing_one_entry (line 61) | def test_missing_one_entry():
  function test_missing_complex_board (line 88) | def test_missing_complex_board():
  function test_unsolvable (line 115) | def test_unsolvable():
  function test_many_missing_elements (line 132) | def test_many_missing_elements():
  function test_websudoku_easy (line 159) | def test_websudoku_easy():

FILE: tests/test_term.py
  class Node (line 10) | class Node(object):
    method __init__ (line 11) | def __init__(self, op, args):
    method __eq__ (line 15) | def __eq__(self, other):
    method __hash__ (line 22) | def __hash__(self):
    method __str__ (line 25) | def __str__(self):
  class Operator (line 31) | class Operator(object):
    method __init__ (line 32) | def __init__(self, name):
  function add (line 40) | def add(*args):
  function mul (line 44) | def mul(*args):
  class Op (line 48) | class Op(object):
    method __init__ (line 49) | def __init__(self, name):
  function arguments_Node (line 54) | def arguments_Node(t):
  function operator_Node (line 59) | def operator_Node(t):
  function term_Op (line 64) | def term_Op(op, args):
  function test_applyo (line 68) | def test_applyo():
  function test_applyo_object (line 104) | def test_applyo_object():
  function test_unifiable_with_term (line 111) | def test_unifiable_with_term():

FILE: tests/test_util.py
  function test_hashable (line 14) | def test_hashable():
  function test_unique (line 21) | def test_unique():
  function test_unique_dict (line 26) | def test_unique_dict():
  function test_unique_not_hashable (line 31) | def test_unique_not_hashable():
  function test_multihash (line 35) | def test_multihash():
  function test_intersection (line 40) | def test_intersection():
  function test_groupsizes (line 46) | def test_groupsizes():
  function test_flexibleset (line 53) | def test_flexibleset():