PAKCS
Exported names: Imported modules:

Module Check.Types

Summary of exported operations:

Exported datatypes:

Message

Constructors:

  • Message :: Pos -> String -> Message
CheckF

Type synonym: CheckF a = a -> [Message]

Exported operations: