Data.Rewriting.Context.Type

Documentation

data Ctxt f v

Constructors

Hole

Hole

Ctxt f [Term f v] (Ctxt f v) [Term f v]

Non-empty context

Instances

(Eq v, Eq f) => Eq (Ctxt f v)

Methods

(==) :: Ctxt f v -> Ctxt f v -> Bool

(/=) :: Ctxt f v -> Ctxt f v -> Bool

(Ord v, Ord f) => Ord (Ctxt f v)

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 v, Show f) => Show (Ctxt f v)

Methods

showsPrec :: Int -> Ctxt f v -> ShowS

show :: Ctxt f v -> String

showList :: [Ctxt f v] -> ShowS