Safe Haskell	Safe
Language	Haskell98

TPDB.DP.Transform

Synopsis

data Marked a
- = Original a
- | Marked a
- | Auxiliary a
isOriginal :: Marked a -> Bool
isMarked :: Marked a -> Bool
mark_top :: Term v a -> Term v (Marked a)
defined :: Ord a => RS s (Term v a) -> Set a
dp :: (Ord v, Ord s) => RS s (Term v s) -> RS (Marked s) (Term v (Marked s))

Documentation

data Marked a Source #

Constructors

Original a
Marked a
Auxiliary a

Instances

Eq a => Eq (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods (==) :: Marked a -> Marked a -> Bool # (/=) :: Marked a -> Marked a -> Bool #
Ord a => Ord (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods compare :: Marked a -> Marked a -> Ordering # (<) :: Marked a -> Marked a -> Bool # (<=) :: Marked a -> Marked a -> Bool # (>) :: Marked a -> Marked a -> Bool # (>=) :: Marked a -> Marked a -> Bool # max :: Marked a -> Marked a -> Marked a # min :: Marked a -> Marked a -> Marked a #
Show a => Show (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods showsPrec :: Int -> Marked a -> ShowS # show :: Marked a -> String # showList :: [Marked a] -> ShowS #
Generic (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Associated Types type Rep (Marked a) :: * -> * # Methods from :: Marked a -> Rep (Marked a) x # to :: Rep (Marked a) x -> Marked a #
Hashable a => Hashable (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods hashWithSalt :: Int -> Marked a -> Int # hash :: Marked a -> Int #
Pretty a => Pretty (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods pretty :: Marked a -> Doc ann # prettyList :: [Marked a] -> Doc ann #
type Rep (Marked a) Source #
Instance details Defined in TPDB.DP.Transform type Rep (Marked a) = D1 (MetaData "Marked" "TPDB.DP.Transform" "tpdb-2.1.1-6Uo55Ug1aP9CkbZQcEvgXh" False) (C1 (MetaCons "Original" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: (C1 (MetaCons "Marked" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Auxiliary" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))

isOriginal :: Marked a -> Bool Source #

isMarked :: Marked a -> Bool Source #

mark_top :: Term v a -> Term v (Marked a) Source #

defined :: Ord a => RS s (Term v a) -> Set a Source #

dp :: (Ord v, Ord s) => RS s (Term v s) -> RS (Marked s) (Term v (Marked s)) Source #

compute the DP transformed system.