HyLo.Formula.Rewrite

Documentation

data Rewr prop

Constructors

Orig prop

Rewr Int

Instances

Eq prop => Eq (Rewr prop)

Methods

(==) :: Rewr prop -> Rewr prop -> Bool

(/=) :: Rewr prop -> Rewr prop -> Bool

Ord prop => Ord (Rewr prop)

Methods

compare :: Rewr prop -> Rewr prop -> Ordering

(<) :: Rewr prop -> Rewr prop -> Bool

(<=) :: Rewr prop -> Rewr prop -> Bool

(>) :: Rewr prop -> Rewr prop -> Bool

(>=) :: Rewr prop -> Rewr prop -> Bool

max :: Rewr prop -> Rewr prop -> Rewr prop

min :: Rewr prop -> Rewr prop -> Rewr prop

Read prop => Read (Rewr prop)

Methods

readsPrec :: Int -> ReadS (Rewr prop)

readList :: ReadS [Rewr prop]

readPrec :: ReadPrec (Rewr prop)

readListPrec :: ReadPrec [Rewr prop]

Show prop => Show (Rewr prop)

Methods

showsPrec :: Int -> Rewr prop -> ShowS

show :: Rewr prop -> String

showList :: [Rewr prop] -> ShowS

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