Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Safe Haskell | None |
Documentation
checkFileAsserts :: FilePath -> Bool -> IO [AssertResult]Source
formatAssertResults :: [AssertResult] -> DocSource
Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Safe Haskell | None |
checkFileAsserts :: FilePath -> Bool -> IO [AssertResult]Source
formatAssertResults :: [AssertResult] -> DocSource