(Index)

Index

=/=	Kanren.Goal
===	Kanren.Goal
addo	Kanren.Data.Binary
Atomic
1 (Type/Class)	Kanren.Core
2 (Data Constructor)	Kanren.Core
Await	Kanren.Stream
Binary	Kanren.Data.Binary
binaryo	Kanren.Data.Binary
Bit	Kanren.Data.Binary
Closure	Kanren.Data.Scheme
conde	Kanren.Goal
conj	Kanren.Goal
conjMany	Kanren.Goal
defaultLogicTypeRules	Kanren.TH
delay	Kanren.Goal
disequality	Kanren.Core
disj	Kanren.Goal
disjMany	Kanren.Goal
divo	Kanren.Data.Binary
Done	Kanren.Stream
eithero'	Kanren.Example.Matche
empty	Kanren.Core
enter'	Kanren.Match
Env	Kanren.Data.Scheme
evalo	Kanren.Data.Scheme
example
1 (Function)	Kanren.Example.List
2 (Function)	Kanren.Example.Tree
3 (Function)	Kanren.Example.Matche
4 (Function)	Kanren.Data.Binary
ExhaustivePrism	Kanren.Match
extract	Kanren.Core
extract'	Kanren.Core
failo	Kanren.Goal
Fresh	Kanren.Goal
fresh	Kanren.Goal
fresh'	Kanren.Goal
genericExtract	Kanren.GenericLogical
genericInject	Kanren.GenericLogical
genericOccursCheck	Kanren.GenericLogical
genericUnify	Kanren.GenericLogical
genericWalk	Kanren.GenericLogical
GLogical	Kanren.GenericLogical
Goal	Kanren.Goal
gtlo	Kanren.Data.Binary
I	Kanren.Data.Binary
inject	Kanren.Core
inject'	Kanren.Core
interleave	Kanren.Stream
lesso	Kanren.Data.Binary
Logic	Kanren.Core
Logical	Kanren.Core
LogicClosure	Kanren.Data.Scheme
LogicCons	Kanren.LogicalBase
LogicEither	Kanren.LogicalBase
LogicJust	Kanren.LogicalBase
LogicLeft	Kanren.LogicalBase
LogicList	Kanren.LogicalBase
LogicMaybe	Kanren.LogicalBase
LogicNil	Kanren.LogicalBase
LogicNothing	Kanren.LogicalBase
LogicRight	Kanren.LogicalBase
LogicSCons	Kanren.Data.Scheme
LogicSExpr
1 (Type/Class)	Kanren.Data.Scheme
2 (Data Constructor)	Kanren.Data.Scheme
LogicSNil	Kanren.Data.Scheme
LogicSSymbol	Kanren.Data.Scheme
LogicTypeRules	Kanren.TH
LogicValue	Kanren.Data.Scheme
logo	Kanren.Data.Binary
makeExhaustivePrisms	Kanren.TH
makeLogical	Kanren.TH
makeLogicalInstance	Kanren.TH
makeLogicalInstances	Kanren.TH
makeLogicals	Kanren.TH
makeLogicType	Kanren.TH
makeLogicTypes	Kanren.TH
makeLogicTypesWith	Kanren.TH
makeLogicTypeWith	Kanren.TH
makeVariable	Kanren.Core
matche	Kanren.Match
matche'	Kanren.Match
maybeToStream	Kanren.Stream
mulo	Kanren.Data.Binary
Normalizable	Kanren.Core
normalize	Kanren.Core
normalize'	Kanren.Core
O	Kanren.Data.Binary
occursCheck	Kanren.Core
occursCheck'	Kanren.Core
on	Kanren.Match
on'	Kanren.Match
Only	Kanren.Stream
poso	Kanren.Data.Binary
resolve	Kanren.Goal
run	Kanren.Goal
runNormalize	Kanren.Core
SCons	Kanren.Data.Scheme
SExpr
1 (Data Constructor)	Kanren.Data.Scheme
2 (Type/Class)	Kanren.Data.Scheme
SNil	Kanren.Data.Scheme
SSymbol	Kanren.Data.Scheme
State	Kanren.Core
Stream	Kanren.Stream
subo	Kanren.Data.Binary
successo	Kanren.Goal
Symbol	Kanren.Data.Scheme
Term	Kanren.Core
unify	Kanren.Core
unify'	Kanren.Core
Value
1 (Data Constructor)	Kanren.Core
2 (Type/Class)	Kanren.Data.Scheme
Var	Kanren.Core
VarId	Kanren.Core
walk	Kanren.Core
walk'	Kanren.Core
Yield	Kanren.Stream
zeroo	Kanren.Data.Binary
_False	Kanren.LogicalBase
_False'	Kanren.LogicalBase
_I	Kanren.Data.Binary
_I'	Kanren.Data.Binary
_LogicCons	Kanren.LogicalBase
_LogicCons'	Kanren.LogicalBase
_LogicJust	Kanren.LogicalBase
_LogicJust'	Kanren.LogicalBase
_LogicLeft	Kanren.LogicalBase
_LogicLeft'	Kanren.LogicalBase
_LogicNil	Kanren.LogicalBase
_LogicNil'	Kanren.LogicalBase
_LogicNothing	Kanren.LogicalBase
_LogicNothing'	Kanren.LogicalBase
_LogicRight	Kanren.LogicalBase
_LogicRight'	Kanren.LogicalBase
_O	Kanren.Data.Binary
_O'	Kanren.Data.Binary
_Tagged	Kanren.Match
_True	Kanren.LogicalBase
_True'	Kanren.LogicalBase
_Value	Kanren.Match
_Value'	Kanren.Match