Toggle navigation
PAKCS
Module Check.TypeExpr
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
typeExprCheck
Imported modules:
Prelude
AST.PositionUtils
AST.Span
AST.SpanAST
Check.Types
Config.Types
Config.ReadConfig
Utils
Module
Check.TypeExpr
Summary of exported operations:
typeExprCheck
::
TypeExpr
-> [
Message
]
Check Function
Exported operations:
typeExprCheck
::
TypeExpr
-> [
Message
]
Check Function