Data.Prednote.Test

Test data types

type Name

data Verbosity

type TrueVerbosity

type FalseVerbosity

data ShowTest

data TestVerbosity

type Pass

data Test a

data TestResult a

Pre-built tests

eachSubjectMustBeTrue

nSubjectsMustBeTrue

Running and showing tests

evalTest

showResult