syntactic-3.2: Generic representation and manipulation of abstract syntax
Language.Syntactic.Sugar.Monad
Description
Syntactic instance for Remon for domains based on Binding
Syntactic
Remon
Binding
Synopsis
sugarMonad :: (Binding :<: sym, MONAD m :<: sym) => ASTF sym (m a) -> Remon sym m (ASTF sym a) Source
One-layer sugaring of monadic actions