Data.Rewriting.Rules

Tagless rewrite rules

data Rule lhs rhs

(===>)

class WildCard r

data MetaExp r a

class MetaVar r

meta

($$)

($-)

(-$)

(-$-)

type Name

data MetaId a

class Quantifiable rule

quantify

Representation of rules

data WILD a

data META r a

data LHS f a

data RHS f a

type family Var r :: * -> *

Generalize over representations

class Rep r

Misc.

tRule

data A

data B

data C

tA

tB

tC

type Subst f