tpdb-1.3.3: Data Type for Rewriting Systems
TPDB.Data.Rule
data Relation Source #
Constructors
Instances
Methods
(==) :: Relation -> Relation -> Bool #
(/=) :: Relation -> Relation -> Bool #
compare :: Relation -> Relation -> Ordering #
(<) :: Relation -> Relation -> Bool #
(<=) :: Relation -> Relation -> Bool #
(>) :: Relation -> Relation -> Bool #
(>=) :: Relation -> Relation -> Bool #
max :: Relation -> Relation -> Relation #
min :: Relation -> Relation -> Relation #
showsPrec :: Int -> Relation -> ShowS #
show :: Relation -> String #
showList :: [Relation] -> ShowS #
data Rule a Source #
Fields
fmap :: (a -> b) -> Rule a -> Rule b #
(<$) :: a -> Rule b -> Rule a #
(==) :: Rule a -> Rule a -> Bool #
(/=) :: Rule a -> Rule a -> Bool #
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 :: Parser (Rule u) Source #
strict :: Rule a -> Bool Source #
weak :: Rule a -> Bool Source #
equal :: Rule a -> Bool Source #