Safe Haskell	None
Language	Haskell2010

HyLo.Formula.Rewrite

Documentation

data Rewr prop Source #

Constructors

Orig prop
Rewr Int

Instances

Eq prop => Eq (Rewr prop) Source #
Instance details Defined in HyLo.Formula.Rewrite Methods (==) :: Rewr prop -> Rewr prop -> Bool # (/=) :: Rewr prop -> Rewr prop -> Bool #
Ord prop => Ord (Rewr prop) Source #
Instance details Defined in HyLo.Formula.Rewrite 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) Source #
Instance details Defined in HyLo.Formula.Rewrite Methods readsPrec :: Int -> ReadS (Rewr prop) # readList :: ReadS [Rewr prop] # readPrec :: ReadPrec (Rewr prop) # readListPrec :: ReadPrec [Rewr prop] #
Show prop => Show (Rewr prop) Source #
Instance details Defined in HyLo.Formula.Rewrite 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] Source #