buildbox-2.1.8.1: Rehackable components for writing buildbots and test harnesses.

Safe HaskellNone
LanguageHaskell98

BuildBox.Build.Testable

Description

Some property of the system we can test for.

They have Show instances so we can make nice error messages if a check fails.

Synopsis

Documentation

class Testable prop where Source

Some testable property.

Methods

test :: prop -> Build Bool Source

check :: (Show prop, Testable prop) => prop -> Build () Source

Testable properties are checkable. If the check returns false then throw an error.

checkFalse :: (Show prop, Testable prop) => prop -> Build () Source

Testable properties are checkable. If the check returns true then throw an error.

outCheckOk :: (Show prop, Testable prop) => String -> prop -> Build () Source

Check some property while printing what we're doing.

outCheckFalseOk :: (Show prop, Testable prop) => String -> prop -> Build () Source

Check some property while printing what we're doing.