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

Safe HaskellSafe
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.

Minimal complete definition

test

Methods

test :: prop -> Build Bool Source #

Instances

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.