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