Lang.Hask.CPS

Documentation

data Pico

Constructors

Var Name

Lit Literal

Type

Instances

Eq Pico

Ord Pico

(Pretty Name, Pretty Literal) => Pretty Pico

data PreAtom e

Constructors

Pico Pico

LamF Name Name e

LamK Name e

Thunk Name Int Name Name Pico Pico

Instances

Eq e => Eq (PreAtom e)

Ord e => Ord (PreAtom e)

Pretty e => Pretty (PreAtom e)

type Atom = PreAtom Call

data PreCaseBranch e

Constructors

CaseBranch

Fields

caseBranchCon :: AltCon

caseBranchArgs :: [Name]

caseBranchCall :: e

Instances

Eq e => Eq (PreCaseBranch e)

Ord e => Ord (PreCaseBranch e)

Pretty e => Pretty (PreCaseBranch e)

type CaseBranch = PreCaseBranch Call

data PreCall e

Constructors

Let Name (PreAtom e) e

Rec [(Name, Name)] e

Letrec [(Name, PreAtom e)] e

AppK Pico Pico

AppF Int Name Pico Pico Pico

Case Int Name Pico [PreCaseBranch e]

Halt Pico

Instances

Balloon CPSKon Call

Functorial * Eq PreCall

Functorial * Ord PreCall

Functorial * Pretty PreCall

Eq e => Eq (PreCall e)

Ord e => Ord (PreCall e)

Pretty e => Pretty (PreCall e)

type Call = StampedFix Int PreCall

data CPSKon r m a where

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)

data CPS𝒮

Constructors

CPS𝒮

Fields

cps𝒮UniqSupply :: UniqSupply

cps𝒮ProgLoc :: Int

cps𝒮ProgLocL :: Lens CPS𝒮 Int

cps𝒮UniqSupplyL :: Lens CPS𝒮 UniqSupply

type CPSM m = (Monad m, MonadCont Call m, MonadOpaqueCont CPSKon Call m, MonadState CPS𝒮 m)

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

stamp :: (Monad m, MonadState CPS𝒮 m) => PreCall Call -> m Call

atom :: CPSM m => Atom -> m Pico

letAtom :: CPSM m => Name -> Atom -> m ()

rec :: CPSM m => [Name] -> m ()

letrec :: CPSM m => [(Name, Atom)] -> m ()

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

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

cpsAtom :: CPSM m => Expr Var -> m Atom

cpsM :: CPSM m => Expr Var -> m Pico

cps :: (Monad m, MonadReader UniqSupply m) => Expr Var -> m Call