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