Language.AbstractSyntax.TTTAS

Typed References and Environments

Typed References

data Ref a env

data Equal

match

lookup

update

Declarations

data Env term use def

type FinalEnv t usedef

data T e s

lookupEnv

updateEnv

Transformation Library

Trafo

data Trafo m t s a b

data TrafoE m t s env1 a b

Create New References

data Unit s

newSRef

extEnv

castSRef

updateSRef

Update the Final Environment

updateFinalEnv

Run a Trafo

data Result m t b

runTrafo

Other Combinators

sequenceA

Alternative Transformation Library

Trafo2

data Trafo2 m t a b

data TrafoE2 m t env1 a b

Create New References

newSRef2

Update the Final Environment

data UpdFinalEnv t s

updateFinalEnv2

Run a Trafo2

runTrafo2

Arrow-style Combinators

data Pair a b s

class Arrow2 arr

class ArrowLoop2 arr

(>>>>)

data List a s

sequenceA2