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