Test.DocTest.Driver

Documentation

type T = ReaderT Args (WriterT Count IO)

printLine :: String -> T ()

printPrefix :: String -> T ()

data Count

Constructors

Count

Fields

• numTotal, numFailures :: !Int

Instances

Semigroup Count

Defined in Test.DocTest.Driver

Methods

(<>) :: Count -> Count -> Count

sconcat :: NonEmpty Count -> Count

stimes :: Integral b => b -> Count -> Count

Monoid Count

Defined in Test.DocTest.Driver

Methods

mempty :: Count

mappend :: Count -> Count -> Count

mconcat :: [Count] -> Count

run :: T () -> IO ()

runWith :: Args -> T () -> IO ()

example :: Show a => a -> ExpectedResult -> T ()

property :: Testable prop => prop -> T ()