module Test.Sloth.Config
(
Config(..),
defaultConfig, verboseConfig, successesConfig, uncoloredConfig,
interactiveConfig,
) where
data Config = Config { minInfSize :: Int
, interactive :: Bool
, colored :: Bool
, successes :: Bool
, noBottomPos :: Bool
, detailed :: Bool
, simpleApprox :: Bool }
defaultConfig :: Config
defaultConfig = Config 2 False True False False False False
verboseConfig :: Config
verboseConfig = defaultConfig { successes = True, noBottomPos = True }
successesConfig :: Config
successesConfig = defaultConfig { successes = True }
uncoloredConfig :: Config
uncoloredConfig = defaultConfig { colored = False }
interactiveConfig :: Config
interactiveConfig = defaultConfig { interactive = True, detailed = True }