Copyright | (c) John Maraist 2022 |
---|---|
License | GPL3 |
Maintainer | haskell-tlt@maraist.org |
Stability | experimental |
Portability | POSIX |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Options representation for the TLT
testing system. See TLT
for more information.
Synopsis
- data TLTopts = TLTopts {}
- defaultOpts :: TLTopts
- withShowPasses :: TLTopts -> Bool -> TLTopts
- withExitAfterFail :: TLTopts -> Bool -> TLTopts