Prednote.Core

Predicates and their creation

data PredM f a

type Pred

predicate

predicateM

Predicate combinators

Primitive combinators

(&&&)

(|||)

not

switch

Convenience combinators

any

all

data Nothing

maybe

Labeling

addLabel

Constant predicates

true

false

same

Evaluating predicates

test

testM

runPred

verboseTest

verboseTestStdout

Results and converting them to Chunks

data Condition

data Value

data Label

data Labeled a

data Passed

data Failed

data Result

splitResult

resultToChunks

passedToChunks

failedToChunks