Safe Haskell	None
Language	Haskell2010

Lang.Lam.Passes

Documentation

data StampSt Source

Constructors

StampSt
Fields stampExpID :: LocNum stampBdrID :: BdrNum

Instances

HasLens CPSSt StampSt

stampBdrIDL :: Lens StampSt BdrNum Source

stampExpIDL :: Lens StampSt LocNum Source

st0 :: StampSt Source

data Env Source

Constructors

Env
Fields bdrEnv :: Map Name BdrNum

bdrEnvL :: Lens Env (Map Name BdrNum) Source

env0 :: Env Source

type StampM 𝓈 m = (HasLens 𝓈 StampSt, MonadStateE 𝓈 m, MonadReader Env m) Source

lookupName :: StampM 𝓈 m => Name -> m SName Source

stampM :: StampM 𝓈 m => Exp -> m SExp Source

stamp :: Exp -> SExp Source

data CPSSt Source

Constructors

CPSSt
Fields callID :: LocNum bdrID :: BdrNum genID :: Int

Instances

HasLens CPSSt StampSt
Functor m => MonadState CPSSt (StStateT m)
Functor m => MonadStateE CPSSt (StStateT m)
Functor m => MonadStateI CPSSt (StStateT m)

genIDL :: Lens CPSSt Int Source

bdrIDL :: Lens CPSSt BdrNum Source

callIDL :: Lens CPSSt LocNum Source

stampL :: Lens CPSSt StampSt Source

cpsst0 :: CPSSt Source

type CPSM m = (MonadOpaqueKon CPSKon SGCall m, MonadState CPSSt m) Source

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

data CPSKon r m a where Source

Constructors

MetaKon :: (a -> m r) -> CPSKon r m a
ObjectKon :: SGPico -> (SGPico -> m SGCall) -> CPSKon SGCall m SGPico

Instances

Balloon CPSKon SGCall
Morphism3 (* -> ) (CPSKon r) (KFun * r)
Isomorphism3 (* -> ) (KFun * r) (CPSKon r)
Morphism3 (* -> ) (KFun * r) (CPSKon r)

letAtom :: CPSM m => String -> SGAtom -> m SGPico Source

reify :: CPSM m => CPSKon SGCall m SGPico -> m SGPico Source

reflect :: CPSM m => SGPico -> CPSKon SGCall m SGPico Source

cpsM :: CPSM m => SExp -> m SGPico Source

cpsAtomM :: CPSM m => SExp -> m SGAtom Source

newtype StStateT m a Source

Constructors

StStateT
Fields unStStateT :: StateT CPSSt m a

Instances

Functor m => MonadState CPSSt (StStateT m)
Functor m => MonadStateE CPSSt (StStateT m)
Functor m => MonadStateI CPSSt (StStateT m)
MonadReader r m => MonadReader r (StStateT m)
MonadReaderE r m => MonadReaderE r (StStateT m)
MonadReaderI r m => MonadReaderI r (StStateT m)
Monad m => Monad (StStateT m)
Bind m => Bind (StStateT m)
Monad m => Applicative (StStateT m)
Monad m => Product (StStateT m)
Functor m => Functor (StStateT m)
Unit m => Unit (StStateT m)

evalStStateT :: Functor m => CPSSt -> StStateT m a -> m a Source

stampCPS :: Exp -> (SExp, SGCall) Source

cps :: Exp -> SGCall Source

Balloon CPSKon SGCall
Morphism3 (* -> ) (CPSKon r) (KFun * r)
Isomorphism3 (* -> ) (KFun * r) (CPSKon r)
Morphism3 (* -> ) (KFun * r) (CPSKon r)