TLT-0.3.0.0: Testing in monads and transformers without explicit specs
Copyright(c) John Maraist 2022
LicenseGPL3
Maintainerhaskell-tlt@maraist.org
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.TLT.Options

Description

Options representation for the TLT testing system. See TLT for more information.

Synopsis

Documentation

data TLTopts Source #

Record of options which may be specified for running and reporting TLT tests.

Constructors

TLTopts 

Fields

defaultOpts :: TLTopts Source #

Default initial options.

withShowPasses :: TLTopts -> Bool -> TLTopts Source #

Update the display of showing passes in a TLTopts record.

withExitAfterFail :: TLTopts -> Bool -> TLTopts Source #

Update the display of showing passes in a TLTopts record.