Toggle navigation
PAKCS
Module Check.Pattern
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
patternCheck
Imported modules:
Prelude
Check.Types
Module
Check.Pattern
Summary of exported operations:
patternCheck
:: a -> [
Message
]
Exported operations:
patternCheck
:: a -> [
Message
]
Further infos:
solution complete, i.e., able to compute all solutions