syntactic-2.1: Generic representation and manipulation of abstract syntax

Safe HaskellNone
LanguageHaskell2010

Data.Syntactic.Sugar.MonadT

Description

Syntactic instance for Remon using BindingT to handle variable binding

Synopsis

Documentation

sugarMonad :: (BindingT :<: sym, Typeable a) => ASTF sym (m a) -> Remon sym m (ASTF sym a) Source

One-layer sugaring of monadic actions