Safe Haskell	Safe
Language	Haskell98

Data.Rewriting.Context.Type

Documentation

Constructors

Hole	Hole
Ctxt f [Term f v] (Ctxt f v) [Term f v]	Non-empty context

Instances

(Eq f, Eq v) => Eq (Ctxt f v) Source #
Instance details Defined in Data.Rewriting.Context.Type Methods (==) :: Ctxt f v -> Ctxt f v -> Bool # (/=) :: Ctxt f v -> Ctxt f v -> Bool #
(Ord f, Ord v) => Ord (Ctxt f v) Source #
Instance details Defined in Data.Rewriting.Context.Type Methods compare :: Ctxt f v -> Ctxt f v -> Ordering # (<) :: Ctxt f v -> Ctxt f v -> Bool # (<=) :: Ctxt f v -> Ctxt f v -> Bool # (>) :: Ctxt f v -> Ctxt f v -> Bool # (>=) :: Ctxt f v -> Ctxt f v -> Bool # max :: Ctxt f v -> Ctxt f v -> Ctxt f v # min :: Ctxt f v -> Ctxt f v -> Ctxt f v #
(Show f, Show v) => Show (Ctxt f v) Source #
Instance details Defined in Data.Rewriting.Context.Type Methods showsPrec :: Int -> Ctxt f v -> ShowS # show :: Ctxt f v -> String # showList :: [Ctxt f v] -> ShowS #