Language.AbstractSyntax.TTTAS

Typed References and Environments

Transformation Library

Trafo

data Trafo m t s a b

data TrafoE m t s env1 a b

Create New References

newSRef

extEnv

castSRef

updateSRef

State-like operations on the Final Environment

getFinalEnv

putFinalEnv

updateFinalEnv

Run a Trafo

runTrafo

Other Combinators

sequenceA