Contents
Index
cflp-2009.1.26: Constraint Functional-Logic Programming in Haskell
Index
!
CFLP
:!
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
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
countDepth
CFLP.Strategies.DepthCounter
CTC
CFLP.Strategies.CallTimeChoice
Ctx
CFLP
currentDepth
CFLP.Strategies.DepthCounter
Data
CFLP
dCons
CFLP.Types.List
Decons
CFLP
Depth
CFLP.Strategies.DepthCounter
DepthCounter
CFLP.Strategies.DepthCounter
DepthCtx
CFLP.Strategies.DepthCounter
DepthLim
CFLP.Strategies.DepthLimit
DepthLimCtx
CFLP.Strategies.DepthLimit
depthLimit
CFLP.Strategies.DepthLimit
DepthLimiter
CFLP.Strategies.DepthLimit
dfs
CFLP.Strategies
diag
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
fun
CFLP
functionConversion
CFLP.Tests.HigherOrder
Generic
CFLP
generic
CFLP
genericOps
CFLP
getRandomGen
CFLP.Strategies.Random
groundNormalForm
CFLP
head
CFLP.Types.List
ID
CFLP
id
CFLP.Tests.HigherOrder
ignoreFirstNarrowSecond
CFLP.Tests.CallTimeChoice
ignot
CFLP.Tests.CallTimeChoice
incrementDepth
CFLP.Strategies.DepthCounter
initID
CFLP
iterDFS
CFLP.Strategies
limDFS
CFLP.Strategies
limitDepth
CFLP.Strategies.DepthLimit
map
CFLP.Types.List
mapSharedUnknowns
CFLP.Tests.HigherOrder
Match
CFLP
memberWithFold
CFLP.Tests.HigherOrder
Monadic
CFLP
monadic
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
randomise
CFLP.Strategies.Random
Randomiser
CFLP.Strategies.Random
resetDepthLimit
CFLP.Strategies.DepthLimit
Result
CFLP
reverseWithFoldr
CFLP.Tests.HigherOrder
Rnd
CFLP.Strategies.Random
RndCtx
CFLP.Strategies.Random
rndDFS
CFLP.Strategies
setDepthLimit
CFLP.Strategies.DepthLimit
setRandomGen
CFLP.Strategies.Random
sharedCompoundTerms
CFLP.Tests.CallTimeChoice
sharedVarsAreEqual
CFLP.Tests.CallTimeChoice
StoreCTC
CFLP.Strategies.CallTimeChoice
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