Contents
Index
cflp-2009.1.23: Constraint Functional-Logic Programming in Haskell
Index
!
CFLP
+>
CFLP.Strategies
:!
CFLP
===
CFLP.Types.Bool
?
CFLP
after
CFLP.Tests.HigherOrder
apply
CFLP
applyBinCons
CFLP.Tests.HigherOrder
applyChoice
CFLP.Tests.HigherOrder
ApplyCons
CFLP
applyCons
CFLP
applyNotFunction
CFLP.Tests.HigherOrder
assertResults
CFLP.Tests
assertResultsLimit
CFLP.Tests
assertResultsN
CFLP.Tests
callTimeChoice
1 (Function)
CFLP.Strategies.CallTimeChoice
, CFLP.Strategies
2 (Function)
CFLP.Tests.HigherOrder
caseOf
CFLP
caseOf_
CFLP
CFLP
CFLP
Computation
CFLP
cons
CFLP
ConsPatList
CFLP
constr
CFLP
constructors
CFLP
Context
1 (Type/Class)
CFLP
2 (Data Constructor)
CFLP
CTC
CFLP.Strategies.CallTimeChoice
, CFLP.Strategies
Ctx
CFLP
Data
CFLP
dCons
CFLP.Types.List
Decons
CFLP
dfs
CFLP.Strategies
dfsWithEvalTimeChoice
CFLP.Strategies.DepthFirst
, CFLP.Strategies
dNil
CFLP.Types.List
Enumerable
CFLP
enumeration
CFLP
eval
CFLP
evalPartial
CFLP
evalPrint
CFLP
failure
CFLP
false
CFLP.Types.Bool
flip
CFLP.Tests.HigherOrder
foldr
CFLP.Types.List
fromMonadic
CFLP
fun
CFLP
functionConversion
CFLP.Tests.HigherOrder
Generic
CFLP
generic
CFLP
genericOps
CFLP
groundNormalForm
CFLP
head
CFLP.Types.List
ID
CFLP
id
CFLP.Tests.HigherOrder
ignoreFirstNarrowSecond
CFLP.Tests.CallTimeChoice
ignot
CFLP.Tests.CallTimeChoice
initID
CFLP
map
CFLP.Types.List
mapSharedUnknowns
CFLP.Tests.HigherOrder
Match
CFLP
memberWithFold
CFLP.Tests.HigherOrder
Monadic
1 (Type/Class)
CFLP
2 (Data Constructor)
CFLP
Narrow
CFLP
narrow
CFLP
negHeads
CFLP.Tests.CallTimeChoice
nil
CFLP.Types.List
noDemandOnSharedVar
CFLP.Tests.CallTimeChoice
Nondet
CFLP
nondet
CFLP
NormalForm
CFLP
not
CFLP.Types.Bool
null
CFLP.Types.List
oneOf
CFLP
overApplication
CFLP.Tests.HigherOrder
partialNormalForm
CFLP
patterns
CFLP
pCons
CFLP.Types.List
pFalse
CFLP.Types.Bool
pNil
CFLP.Types.List
pointfreeReverse
CFLP.Tests.HigherOrder
primitive
CFLP
pTrue
CFLP.Types.Bool
Result
CFLP
reverseWithFoldr
CFLP.Tests.HigherOrder
sharedCompoundTerms
CFLP.Tests.CallTimeChoice
sharedVarsAreEqual
CFLP.Tests.CallTimeChoice
StoreCTC
CFLP.Strategies.CallTimeChoice
, CFLP.Strategies
tail
CFLP.Types.List
tests
1 (Function)
CFLP.Tests.CallTimeChoice
2 (Function)
CFLP.Tests.HigherOrder
true
CFLP.Types.Bool
two
1 (Function)
CFLP.Tests.CallTimeChoice
2 (Function)
CFLP.Tests.HigherOrder
unknown
CFLP
UpdateT
CFLP
withHNF
CFLP
withUnique
CFLP
^:
CFLP.Types.List