HyLo.Formula.Rewrite

Documentation

data Rewr prop

Constructors

Orig prop

Rewr Int

Instances

Eq prop => Eq (Rewr prop)

Ord prop => Ord (Rewr prop)

Read prop => Read (Rewr prop)

Show prop => Show (Rewr prop)

Arbitrary prop => Arbitrary (Rewr prop)

pnf :: Eq n => [Formula n p r] -> [Formula n (Rewr p) r]

simplify :: (Ord n, Ord p, Ord r) => Formula n p r -> Formula n p r

unit_tests :: UnitTest