Package contracts
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all operations
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
A
allVarsInProg
(
FlatCurry.Goodies
)
argTypes
(
FlatCurry.Goodies
)
allVarsInFunc
(
FlatCurry.Goodies
)
allVarsInRule
(
FlatCurry.Goodies
)
allVars
(
FlatCurry.Goodies
)
allValues
(
Control.Search.Unsafe
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
B
branchPattern
(
FlatCurry.Goodies
)
branchExpr
(
FlatCurry.Goodies
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
C
cycle
(
Data.List
)
catMaybes
(
Data.Maybe
)
checkContractUsage
(
Contract.Usage
)
consName
(
FlatCurry.Goodies
)
consArity
(
FlatCurry.Goodies
)
consVisibility
(
FlatCurry.Goodies
)
consArgs
(
FlatCurry.Goodies
)
combType
(
FlatCurry.Goodies
)
combName
(
FlatCurry.Goodies
)
combArgs
(
FlatCurry.Goodies
)
caseType
(
FlatCurry.Goodies
)
caseExpr
(
FlatCurry.Goodies
)
caseBranches
(
FlatCurry.Goodies
)
chooseValue
(
Control.Search.SetFunctions
)
choose
(
Control.Search.SetFunctions
)
compareAnyTerm
(
System.IO.Unsafe
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
D
decodeContractQName
(
Contract.Names
)
decodeContractName
(
Contract.Names
)
digitToInt
(
Data.Char
)
delete
(
Data.List
)
deleteBy
(
Data.List
)
diagonal
(
Data.List
)
domain
(
FlatCurry.Goodies
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
E
encodeContractQName
(
Contract.Names
)
encodeContractName
(
Contract.Names
)
elemIndex
(
Data.List
)
elemIndices
(
Data.List
)
evalStateT
(
Control.Monad.Trans.State
)
execStateT
(
Control.Monad.Trans.State
)
evalState
(
Control.Monad.Trans.State
)
execState
(
Control.Monad.Trans.State
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
F
fromSpecName
(
Contract.Names
)
fromPreCondName
(
Contract.Names
)
fromPostCondName
(
Contract.Names
)
fromNonFailName
(
Contract.Names
)
find
(
Data.List
)
findIndex
(
Data.List
)
findIndices
(
Data.List
)
fromJust
(
Data.Maybe
)
fromMaybe
(
Data.Maybe
)
funcName
(
FlatCurry.Goodies
)
funcArity
(
FlatCurry.Goodies
)
funcVisibility
(
FlatCurry.Goodies
)
funcType
(
FlatCurry.Goodies
)
funcRule
(
FlatCurry.Goodies
)
funcArgs
(
FlatCurry.Goodies
)
funcBody
(
FlatCurry.Goodies
)
funcRHS
(
FlatCurry.Goodies
)
freeVars
(
FlatCurry.Goodies
)
freeExpr
(
FlatCurry.Goodies
)
foldValues
(
Control.Search.SetFunctions
)
filterValues
(
Control.Search.SetFunctions
)
fromLeft
(
Data.Either
)
fromRight
(
Data.Either
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
G
group
(
Data.List
)
groupBy
(
Data.List
)
get
(
Control.Monad.Trans.State
)
gets
(
Control.Monad.Trans.State
)
getSomeValue
(
Control.Search.SetFunctions
)
getSome
(
Control.Search.SetFunctions
)
getContents
(
System.IO
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
H
hClose
(
System.IO
)
hFlush
(
System.IO
)
hIsEOF
(
System.IO
)
hSeek
(
System.IO
)
hWaitForInput
(
System.IO
)
hWaitForInputs
(
System.IO
)
hReady
(
System.IO
)
hGetChar
(
System.IO
)
hGetLine
(
System.IO
)
hGetContents
(
System.IO
)
hPutChar
(
System.IO
)
hPutStr
(
System.IO
)
hPutStrLn
(
System.IO
)
hPrint
(
System.IO
)
hIsReadable
(
System.IO
)
hIsWritable
(
System.IO
)
hIsTerminalDevice
(
System.IO
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
I
isSpecName
(
Contract.Names
)
isPreCondName
(
Contract.Names
)
isPostCondName
(
Contract.Names
)
isNonFailName
(
Contract.Names
)
isAscii
(
Data.Char
)
isLatin1
(
Data.Char
)
isAsciiLower
(
Data.Char
)
isAsciiUpper
(
Data.Char
)
isControl
(
Data.Char
)
intToDigit
(
Data.Char
)
intersect
(
Data.List
)
intersectBy
(
Data.List
)
intersperse
(
Data.List
)
intercalate
(
Data.List
)
inits
(
Data.List
)
isPrefixOf
(
Data.List
)
isSuffixOf
(
Data.List
)
isInfixOf
(
Data.List
)
insertBy
(
Data.List
)
init
(
Data.List
)
isJust
(
Data.Maybe
)
isNothing
(
Data.Maybe
)
isTypeData
(
FlatCurry.Goodies
)
isTypeSyn
(
FlatCurry.Goodies
)
isTypeNew
(
FlatCurry.Goodies
)
isTVar
(
FlatCurry.Goodies
)
isTCons
(
FlatCurry.Goodies
)
isFuncType
(
FlatCurry.Goodies
)
isForallType
(
FlatCurry.Goodies
)
isExternal
(
FlatCurry.Goodies
)
isRuleExternal
(
FlatCurry.Goodies
)
isCombTypeFuncCall
(
FlatCurry.Goodies
)
isCombTypeFuncPartCall
(
FlatCurry.Goodies
)
isCombTypeConsCall
(
FlatCurry.Goodies
)
isCombTypeConsPartCall
(
FlatCurry.Goodies
)
isVar
(
FlatCurry.Goodies
)
isLit
(
FlatCurry.Goodies
)
isComb
(
FlatCurry.Goodies
)
isLet
(
FlatCurry.Goodies
)
isFree
(
FlatCurry.Goodies
)
isOr
(
FlatCurry.Goodies
)
isCase
(
FlatCurry.Goodies
)
isFuncCall
(
FlatCurry.Goodies
)
isFuncPartCall
(
FlatCurry.Goodies
)
isConsCall
(
FlatCurry.Goodies
)
isConsPartCall
(
FlatCurry.Goodies
)
isGround
(
FlatCurry.Goodies
)
isConsPattern
(
FlatCurry.Goodies
)
isEmpty
(
Control.Search.SetFunctions
)
isVar
(
System.IO.Unsafe
)
identicalVar
(
System.IO.Unsafe
)
isGround
(
System.IO.Unsafe
)
isFail
(
Control.Search.Unsafe
)
isEOF
(
System.IO
)
isLeft
(
Data.Either
)
isRight
(
Data.Either
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
L
last
(
Data.List
)
listToMaybe
(
Data.Maybe
)
literal
(
FlatCurry.Goodies
)
letBinds
(
FlatCurry.Goodies
)
letBody
(
FlatCurry.Goodies
)
lefts
(
Data.Either
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
M
maximum
(
Data.List
)
maximumBy
(
Data.List
)
minimum
(
Data.List
)
minimumBy
(
Data.List
)
mapAccumL
(
Data.List
)
mapAccumR
(
Data.List
)
maybeToList
(
Data.Maybe
)
mapMaybe
(
Data.Maybe
)
missingArgs
(
FlatCurry.Goodies
)
missingCombArgs
(
FlatCurry.Goodies
)
modify
(
Control.Monad.Trans.State
)
modifyM
(
Control.Monad.Trans.State
)
mapStateT
(
Control.Monad.Trans.State
)
mapState
(
Control.Monad.Trans.State
)
mapValues
(
Control.Search.SetFunctions
)
minValue
(
Control.Search.SetFunctions
)
minValueBy
(
Control.Search.SetFunctions
)
maxValue
(
Control.Search.SetFunctions
)
maxValueBy
(
Control.Search.SetFunctions
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
N
nub
(
Data.List
)
nubBy
(
Data.List
)
newConsArg
(
FlatCurry.Goodies
)
newConsName
(
FlatCurry.Goodies
)
newConsVisibility
(
FlatCurry.Goodies
)
normalizeTypeExpr
(
FlatCurry.Normalize
)
notEmpty
(
Control.Search.SetFunctions
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
O
opName
(
FlatCurry.Goodies
)
opFixity
(
FlatCurry.Goodies
)
opPrecedence
(
FlatCurry.Goodies
)
orExps
(
FlatCurry.Goodies
)
oneValue
(
Control.Search.Unsafe
)
openFile
(
System.IO
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
P
permutations
(
Data.List
)
partition
(
Data.List
)
product
(
Data.List
)
progName
(
FlatCurry.Goodies
)
progImports
(
FlatCurry.Goodies
)
progTypes
(
FlatCurry.Goodies
)
progFuncs
(
FlatCurry.Goodies
)
progOps
(
FlatCurry.Goodies
)
patCons
(
FlatCurry.Goodies
)
patArgs
(
FlatCurry.Goodies
)
patLiteral
(
FlatCurry.Goodies
)
patExpr
(
FlatCurry.Goodies
)
put
(
Control.Monad.Trans.State
)
printValues
(
Control.Search.SetFunctions
)
partitionEithers
(
Data.Either
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
R
replace
(
Data.List
)
readInt
(
Numeric
)
readNat
(
Numeric
)
readHex
(
Numeric
)
readOct
(
Numeric
)
readBin
(
Numeric
)
rnmAllVarsInProg
(
FlatCurry.Goodies
)
rnmProg
(
FlatCurry.Goodies
)
range
(
FlatCurry.Goodies
)
resultType
(
FlatCurry.Goodies
)
rnmAllVarsInTypeExpr
(
FlatCurry.Goodies
)
rnmAllVarsInFunc
(
FlatCurry.Goodies
)
ruleArgs
(
FlatCurry.Goodies
)
ruleBody
(
FlatCurry.Goodies
)
ruleExtDecl
(
FlatCurry.Goodies
)
rnmAllVarsInRule
(
FlatCurry.Goodies
)
rnmAllVars
(
FlatCurry.Goodies
)
runState
(
Control.Monad.Trans.State
)
readsAnyUnqualifiedTerm
(
System.IO.Unsafe
)
readAnyUnqualifiedTerm
(
System.IO.Unsafe
)
rewriteAll
(
Control.Search.Unsafe
)
rewriteSome
(
Control.Search.Unsafe
)
rights
(
Data.Either
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
S
splitOn
(
Data.List
)
split
(
Data.List
)
sort
(
Data.List
)
sortBy
(
Data.List
)
sum
(
Data.List
)
scanl
(
Data.List
)
scanl1
(
Data.List
)
scanr
(
Data.List
)
scanr1
(
Data.List
)
showQNameInModule
(
FlatCurry.Types
)
showQName
(
FlatCurry.Types
)
state
(
Control.Monad.Trans.State
)
set0
(
Control.Search.SetFunctions
)
set1
(
Control.Search.SetFunctions
)
set2
(
Control.Search.SetFunctions
)
set3
(
Control.Search.SetFunctions
)
set4
(
Control.Search.SetFunctions
)
set5
(
Control.Search.SetFunctions
)
set6
(
Control.Search.SetFunctions
)
set7
(
Control.Search.SetFunctions
)
selectValue
(
Control.Search.SetFunctions
)
select
(
Control.Search.SetFunctions
)
sortValues
(
Control.Search.SetFunctions
)
sortValuesBy
(
Control.Search.SetFunctions
)
spawnConstraint
(
System.IO.Unsafe
)
showAnyTerm
(
System.IO.Unsafe
)
showAnyExpression
(
System.IO.Unsafe
)
someValue
(
Control.Search.Unsafe
)
stdin
(
System.IO
)
stdout
(
System.IO
)
stderr
(
System.IO
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
T
toSpecName
(
Contract.Names
)
toSpecQName
(
Contract.Names
)
toPreCondName
(
Contract.Names
)
toPreCondQName
(
Contract.Names
)
toPostCondName
(
Contract.Names
)
toPostCondQName
(
Contract.Names
)
toNonFailName
(
Contract.Names
)
toNonFailQName
(
Contract.Names
)
toUpper
(
Data.Char
)
toLower
(
Data.Char
)
transpose
(
Data.List
)
tails
(
Data.List
)
trProg
(
FlatCurry.Goodies
)
trType
(
FlatCurry.Goodies
)
typeName
(
FlatCurry.Goodies
)
typeVisibility
(
FlatCurry.Goodies
)
typeParams
(
FlatCurry.Goodies
)
typeConsDecls
(
FlatCurry.Goodies
)
typeSyn
(
FlatCurry.Goodies
)
trCons
(
FlatCurry.Goodies
)
trNewCons
(
FlatCurry.Goodies
)
tVarIndex
(
FlatCurry.Goodies
)
tConsName
(
FlatCurry.Goodies
)
tConsArgs
(
FlatCurry.Goodies
)
trTypeExpr
(
FlatCurry.Goodies
)
trOp
(
FlatCurry.Goodies
)
trFunc
(
FlatCurry.Goodies
)
trRule
(
FlatCurry.Goodies
)
trCombType
(
FlatCurry.Goodies
)
trExpr
(
FlatCurry.Goodies
)
trBranch
(
FlatCurry.Goodies
)
trPattern
(
FlatCurry.Goodies
)
trace
(
System.IO.Unsafe
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
U
union
(
Data.List
)
unionBy
(
Data.List
)
unfoldr
(
Data.List
)
updProg
(
FlatCurry.Goodies
)
updProgName
(
FlatCurry.Goodies
)
updProgImports
(
FlatCurry.Goodies
)
updProgTypes
(
FlatCurry.Goodies
)
updProgFuncs
(
FlatCurry.Goodies
)
updProgOps
(
FlatCurry.Goodies
)
updProgExps
(
FlatCurry.Goodies
)
updQNamesInProg
(
FlatCurry.Goodies
)
updType
(
FlatCurry.Goodies
)
updTypeName
(
FlatCurry.Goodies
)
updTypeVisibility
(
FlatCurry.Goodies
)
updTypeParams
(
FlatCurry.Goodies
)
updTypeConsDecls
(
FlatCurry.Goodies
)
updTypeNewConsDecl
(
FlatCurry.Goodies
)
updTypeSynonym
(
FlatCurry.Goodies
)
updQNamesInType
(
FlatCurry.Goodies
)
updCons
(
FlatCurry.Goodies
)
updConsName
(
FlatCurry.Goodies
)
updConsArity
(
FlatCurry.Goodies
)
updConsVisibility
(
FlatCurry.Goodies
)
updConsArgs
(
FlatCurry.Goodies
)
updQNamesInConsDecl
(
FlatCurry.Goodies
)
updNewCons
(
FlatCurry.Goodies
)
updNewConsName
(
FlatCurry.Goodies
)
updNewConsVisibility
(
FlatCurry.Goodies
)
updNewConsArg
(
FlatCurry.Goodies
)
updQNamesInNewConsDecl
(
FlatCurry.Goodies
)
updTVars
(
FlatCurry.Goodies
)
updTCons
(
FlatCurry.Goodies
)
updFuncTypes
(
FlatCurry.Goodies
)
updForallTypes
(
FlatCurry.Goodies
)
updQNamesInTypeExpr
(
FlatCurry.Goodies
)
updOp
(
FlatCurry.Goodies
)
updOpName
(
FlatCurry.Goodies
)
updOpFixity
(
FlatCurry.Goodies
)
updOpPrecedence
(
FlatCurry.Goodies
)
updFunc
(
FlatCurry.Goodies
)
updFuncName
(
FlatCurry.Goodies
)
updFuncArity
(
FlatCurry.Goodies
)
updFuncVisibility
(
FlatCurry.Goodies
)
updFuncType
(
FlatCurry.Goodies
)
updFuncRule
(
FlatCurry.Goodies
)
updQNamesInFunc
(
FlatCurry.Goodies
)
updFuncArgs
(
FlatCurry.Goodies
)
updFuncBody
(
FlatCurry.Goodies
)
updRule
(
FlatCurry.Goodies
)
updRuleArgs
(
FlatCurry.Goodies
)
updRuleBody
(
FlatCurry.Goodies
)
updRuleExtDecl
(
FlatCurry.Goodies
)
updQNamesInRule
(
FlatCurry.Goodies
)
updVars
(
FlatCurry.Goodies
)
updLiterals
(
FlatCurry.Goodies
)
updCombs
(
FlatCurry.Goodies
)
updLets
(
FlatCurry.Goodies
)
updFrees
(
FlatCurry.Goodies
)
updOrs
(
FlatCurry.Goodies
)
updCases
(
FlatCurry.Goodies
)
updBranches
(
FlatCurry.Goodies
)
updTypeds
(
FlatCurry.Goodies
)
updQNames
(
FlatCurry.Goodies
)
updBranch
(
FlatCurry.Goodies
)
updBranchPattern
(
FlatCurry.Goodies
)
updBranchExpr
(
FlatCurry.Goodies
)
updPattern
(
FlatCurry.Goodies
)
updPatCons
(
FlatCurry.Goodies
)
updPatArgs
(
FlatCurry.Goodies
)
updPatLiteral
(
FlatCurry.Goodies
)
unsafePerformIO
(
System.IO.Unsafe
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
V
varNr
(
FlatCurry.Goodies
)
valueOf
(
Control.Search.SetFunctions
)
values2list
(
Control.Search.SetFunctions
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
W
withStateT
(
Control.Monad.Trans.State
)
withState
(
Control.Monad.Trans.State
)
withContract1
(
Test.Contract
)
withContract1ND
(
Test.Contract
)
withContract2
(
Test.Contract
)
withContract2ND
(
Test.Contract
)
withPreContract1
(
Test.Contract
)
withPreContract2
(
Test.Contract
)
withPostContract0
(
Test.Contract
)
withPostContract0ND
(
Test.Contract
)
withPostContract1
(
Test.Contract
)
withPostContract1ND
(
Test.Contract
)
withPostContract2
(
Test.Contract
)
withPostContract2ND
(
Test.Contract
)
withFile
(
System.IO
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\
\
\\
(
Data.List
)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
\