The latest version of checkmate is 0.4.0-0.

Checkmate.Parser.CheckFile

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?