syntactic-3.0: Generic representation and manipulation of abstract syntax
Language.Syntactic.Sugar.MonadT
Description
Syntactic instance for Remon using BindingT to handle variable binding
Syntactic
Remon
BindingT
Synopsis
sugarMonad :: (BindingT :<: sym, MONAD m :<: sym, symT ~ Typed sym, Typeable m, Typeable a) => ASTF symT (m a) -> Remon symT m (ASTF symT a) Source
One-layer sugaring of monadic actions