BuildBox.Build.Testable

Some property of the system we can test for.

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

Documentation

class Testable prop where

Some testable property.

Methods

test :: prop -> Build Bool

Instances

Testable PropFile

Testable PropNetwork

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

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

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

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

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

Check some property while printing what we're doing.

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

Check some property while printing what we're doing.