Curry: An Integrated Functional Logic Language

abstract, 24
declaration, 3
declaration
datatype, 3
export, 23
fixity, 63
free, 9
function, 5
import, 24
local, 7, 8, 75
type synonym, 4
defined function, 3, 64
defining equation, 5
definitional tree, 65
disjunction, 14
disjunctive expression, 12, 64
div, 54
do, 29, 60
do notation, 29
domain, 64
done, 55
doSolve, 56
drop, 51
dropWhile, 52
Either, 55
either, 55
elem, 53
entity, 23
exported, 23
imported, 24
enumFrom, 53
enumFromThen, 53
enumFromThenTo, 54
enumFromTo, 54
equality
in constraints, 10
strict, 10, 14, 15, 68
test, 14
equation, 5
conditional, 5
higher-order, 6
equational constraint, 10, 15, 68
error, 47
83
eval, 13
evaluation annotation, 13, 33
export declaration, 23
expression, 4, 64
answer, 12, 64
case, 22
disjunctive, 12, 64
ground, 4
external, 35
external function, 35
failed, 47
False, 14, 47
filter, 50
findall, 32, 57
fixity declaration, 63
flexible, 13
flip, 47
Float, 17
foldl, 49
foldl1, 49
foldr, 49
foldr1, 49
free(·), 73
free, 9
free declaration, 9
free variable, 5, 9, 73
fst, 48
function
arity, 4
defined, 3, 64
external, 35
non-deterministic, 5
function application, 11, 69
function declaration, 5
function rule, 5
generic instance, 19
getChar, 27, 55
getLine, 27, 56
ground expression, 4
ground term, 4
head, 48
head normal form, 65