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