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