Package flatcurry-type-annotated
All operations
All constructors
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
Index to all operations
E
G
I
L
R
S
T
W
E
emptyAFCSubst
(
FlatCurry.TypeAnnotated.TypeSubst
)
E
G
I
L
R
S
T
W
G
getTypeEnv
(
FlatCurry.TypeAnnotated.TypeInference
)
getTypeEnvFromProgEnv
(
FlatCurry.TypeAnnotated.TypeInference
)
E
G
I
L
R
S
T
W
I
inferExpr
(
FlatCurry.TypeAnnotated.TypeInference
)
inferExprEnv
(
FlatCurry.TypeAnnotated.TypeInference
)
inferFunction
(
FlatCurry.TypeAnnotated.TypeInference
)
inferFunctionEnv
(
FlatCurry.TypeAnnotated.TypeInference
)
inferNewFunctions
(
FlatCurry.TypeAnnotated.TypeInference
)
inferNewFunctionsEnv
(
FlatCurry.TypeAnnotated.TypeInference
)
inferProg
(
FlatCurry.TypeAnnotated.TypeInference
)
inferProgEnv
(
FlatCurry.TypeAnnotated.TypeInference
)
inferProgFromProgEnv
(
FlatCurry.TypeAnnotated.TypeInference
)
E
G
I
L
R
S
T
W
L
lookupAFCSubst
(
FlatCurry.TypeAnnotated.TypeSubst
)
E
G
I
L
R
S
T
W
R
readTypeAnnotatedFlatCurry
(
FlatCurry.TypeAnnotated.Files
)
readTypeAnnotatedFlatCurryFile
(
FlatCurry.TypeAnnotated.Files
)
readTypeAnnotatedFlatCurryWithParseOptions
(
FlatCurry.TypeAnnotated.Files
)
E
G
I
L
R
S
T
W
S
showAFCSubst
(
FlatCurry.TypeAnnotated.TypeSubst
)
subst
(
FlatCurry.TypeAnnotated.TypeSubst
)
substBranch
(
FlatCurry.TypeAnnotated.TypeSubst
)
substExpr
(
FlatCurry.TypeAnnotated.TypeSubst
)
substFunc
(
FlatCurry.TypeAnnotated.TypeSubst
)
substPattern
(
FlatCurry.TypeAnnotated.TypeSubst
)
substRule
(
FlatCurry.TypeAnnotated.TypeSubst
)
substSnd
(
FlatCurry.TypeAnnotated.TypeSubst
)
E
G
I
L
R
S
T
W
T
typeAnnotatedFlatCurryFileName
(
FlatCurry.TypeAnnotated.Files
)
typeAnnotatedFlatCurryFilePath
(
FlatCurry.TypeAnnotated.Files
)
E
G
I
L
R
S
T
W
W
writeTypeAnnotatedFlatCurry
(
FlatCurry.TypeAnnotated.Files
)
writeTypeAnnotatedFlatCurryFile
(
FlatCurry.TypeAnnotated.Files
)
E
G
I
L
R
S
T
W