PAKCS

Module Check.ConstrDecl
Imports
Operations

Curry Homepage
PAKCS Libraries
About CurryDoc

Exported names:

Operations:
constrDeclCheck

Imported modules:

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

Module Check.ConstrDecl

Summary of exported operations:

constrDeclCheck
                  :: ConstrDecl -> [Message]

Exported operations:

constrDeclCheck :: ConstrDecl -> [Message]

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