Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Instances details

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) :: Type -> Type # 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.3.0-Go2Nyzts9Ct7sT1wIbMPow" '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.