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.

Minimal complete definition

test

Methods

test :: prop -> Build Bool

Instances

Testable PropFile

Methods

test :: PropFile -> Build Bool

Testable PropNetwork

Methods

test :: PropNetwork -> Build Bool

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.