maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.

Safe Haskell	None
Language	Haskell2010

Lang.LamIf.Passes

Documentation

data StampSt Source

Constructors

StampSt
Fields stampExpID :: LocNum stampBdrID :: BdrNum

stampBdrIDL :: Lens StampSt BdrNum Source

stampExpIDL :: Lens StampSt LocNum Source

stampSt0 :: StampSt Source

data Env Source

Constructors

Env
Fields bdrEnv :: Map RawName BdrNum

bdrEnvL :: Lens Env (Map RawName BdrNum) Source

stampEnv0 :: Env Source

type StampM m = (Monad m, MonadState StampSt m, MonadReader Env m) Source

lookupName :: StampM m => RawName -> m SRawName Source

stampM :: StampM m => Fix (PreExp RawName) -> m Exp Source

stamp :: Fix (PreExp RawName) -> StampedFix LocNum (PreExp SRawName) Source

data CPSSt Source

Constructors

CPSSt
Fields cpsExpID :: LocNum cpsBdrID :: BdrNum cpsGenID :: Int

cpsGenIDL :: Lens CPSSt Int Source

cpsBdrIDL :: Lens CPSSt BdrNum Source

cpsExpIDL :: Lens CPSSt LocNum Source

stampL :: Lens CPSSt StampSt Source

cpsSt0 :: CPSSt Source

type CPSM m = (Monad m, MonadCont Call m, MonadOpaqueCont CPSKon Call m, MonadState CPSSt m) Source

fresh :: CPSM m => String -> m Name Source

data CPSKon r m a where Source

Constructors

MetaKon :: (a -> m r) -> CPSKon r m a
ObjectKon :: Pico -> (Pico -> m Call) -> CPSKon Call m Pico

Instances

Balloon CPSKon Call
Morphism3 * (* -> ) (CPSKon r) (ContFun r)
Isomorphism3 * (* -> ) (ContFun r) (CPSKon r)
Morphism3 * (* -> ) (ContFun r) (CPSKon r)

letAtom :: CPSM m => String -> Atom -> m Pico Source

reify :: CPSM m => CPSKon Call m Pico -> m Pico Source

reflect :: CPSM m => Pico -> CPSKon Call m Pico Source

cpsM :: CPSM m => Exp -> m Pico Source

cpsAtomM :: CPSM m => Exp -> m Atom Source

stampCPS :: Fix (PreExp RawName) -> (Exp, Call) Source

cps :: Fix (PreExp RawName) -> Call Source