syntactic-3.0: Generic representation and manipulation of abstract syntax

Safe HaskellNone
LanguageHaskell2010

Language.Syntactic.Sugar.MonadT

Description

Syntactic instance for Remon using BindingT to handle variable binding

Synopsis

Documentation

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