Toggle navigation
PAKCS
Module Check.AST.Pattern.ConstFunc
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
checkConstFunc
Imported modules:
Prelude
Curry.SpanInfo
Curry.Span
Curry.Position
Curry.Types
Curry.Ident
Text.Pretty
Types
Module
Check.AST.Pattern.ConstFunc
Summary of exported operations:
checkConstFunc
::
Expression
a -> Int ->
State
CheckState
()
Exported operations:
checkConstFunc
::
Expression
a -> Int ->
State
CheckState
()