PAKCS

Module Check.Decl
Imports
Operations

Curry Homepage
PAKCS Libraries
About CurryDoc

Exported names:

Operations:
declCheck

Imported modules:

Prelude
AST.Span
AST.SpanAST
AST.PositionUtils
Check.Types
Config.ReadConfig
Config.Types
Utils

Module Check.Decl

Summary of exported operations:

declCheck
                  :: Decl -> [Message]

Exported operations:

declCheck :: Decl -> [Message]

Generated by CurryDoc (Version 0.8.3 of May 2, 2018) at May 2 13:48:43 2018