tpdb-1.3.3: Data Type for Rewriting Systems

Safe HaskellSafe
LanguageHaskell98

TPDB.Data.Rule

Documentation

data Rule a Source #

Constructors

Rule 

Fields

Instances

Functor Rule Source # 

Methods

fmap :: (a -> b) -> Rule a -> Rule b #

(<$) :: a -> Rule b -> Rule a #

Eq a => Eq (Rule a) Source # 

Methods

(==) :: Rule a -> Rule a -> Bool #

(/=) :: Rule a -> Rule a -> Bool #

Ord a => Ord (Rule a) Source # 

Methods

compare :: Rule a -> Rule a -> Ordering #

(<) :: Rule a -> Rule a -> Bool #

(<=) :: Rule a -> Rule a -> Bool #

(>) :: Rule a -> Rule a -> Bool #

(>=) :: Rule a -> Rule a -> Bool #

max :: Rule a -> Rule a -> Rule a #

min :: Rule a -> Rule a -> Rule a #

Reader u => Reader (Rule u) Source # 

Methods

reader :: Parser (Rule u) Source #