Exported names: Imported modules:

Module Check

Summary of exported operations:

checkAll
                  ::  [(Int,String)] -> Module () -> Config -> String -> (Config -> String -> [(Int,String)] -> [Message] -> a) -> a

checkAll :: [(Int,String)] -> Module () -> Config -> String -> (Config -> String -> [(Int,String)] -> [Message] -> a) -> a