Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data PreCaseBranch e Source
CaseBranch | |
|
Eq e => Eq (PreCaseBranch e) | |
Ord e => Ord (PreCaseBranch e) | |
Pretty e => Pretty (PreCaseBranch e) |
type CaseBranch = PreCaseBranch Call Source
type Call = StampedFix Int PreCall Source
type CPSM m = (Monad m, MonadCont Call m, MonadOpaqueCont CPSKon Call m, MonadState CPS𝒮 m) Source
cps :: (Monad m, MonadReader UniqSupply m) => Expr Var -> m Call Source