AOP.Semantics.EL.MonadEL
Synopsis
type Level = Int
class Monad m => MonadEL m where
A level-aware monad can perform level-shifting operations.
Methods
current :: m Level
up :: m a -> m a
down :: m a -> m a
lambda_at :: (a -> m b) -> Level -> a -> m b
Instances
Interaction with AOT
ELT produces level-aware functions.