Language.KURE.Translate

Translate is the main abstraction inside KURE, and represents a rewriting from a source to a target of a possibly different type.

Rewrite (defined in Language.KURE.Rewrite) is a synonoym for a Translate with the same source and target type.

Documentation

data Translate m dec exp1 exp2

Translate is a translation or strategy that translates between exp1 and exp2, with the posiblity of failure, and remembers identity translations.

apply :: (Monoid dec, Monad m) => Translate m dec exp1 exp2 -> exp1 -> RewriteM m dec exp2

apply directly applies a Translate value to an argument.

runTranslate :: (Monoid dec, Monad m) => Translate m dec exp res -> dec -> exp -> m (Either String (res, dec))

runTranslate executes the translation, returning either a failure message, or a success and the new parts of the environment.

translate :: (Monoid dec, Monad m) => (exp1 -> RewriteM m dec exp2) -> Translate m dec exp1 exp2

translate is the standard way of building a Translate, where if the translation is successful it is automatically marked as a non-identity translation.

Note: translate $ _ e -> return e is not an identity rewrite, but a succesful rewrite that returns its provided argument.