Language.KURE.Transform

Transformations and Rewrites

data Transform c m a b

type Translate c m a b

type Rewrite c m a

applyT

applyR

apply

transform

translate

rewrite

contextfreeT

contextonlyT

constT

effectfreeT