Language.AbstractSyntax.TTTAS2

Typed References and Environments

Transformation Library

Trafo

data Trafo m t a b

data TrafoE m t env1 a b

Create New References

newSRef

extEnv

castSRef

updateSRef

State-like operations on the Final Environment

getFinalEnv

putFinalEnv

updateFinalEnv

Run a Trafo

runTrafo

Arrow-style Combinators

data Pair a b s

class Arrow2 arr

class ArrowLoop2 arr

(>>>)

data List a s

sequenceA

returnA