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