Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Sugar.MonadTyped

Contents

Description

Syntactic instance for Remon for domains based on Typed and 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)

Documentation

One-layer sugaring of monadic actions

Orphan instances

(sym ~ Typed s, Syntactic a, Domain a ~ sym, BindingT :<: s, MONAD m :<: s, Typeable m, Typeable (Internal a)) => Syntactic (Remon sym m a) Source #
Instance details Associated Types type Domain (Remon sym m a) :: Type -> Type Source # type Internal (Remon sym m a) :: Type Source # Methods desugar :: Remon sym m a -> ASTF (Domain (Remon sym m a)) (Internal (Remon sym m a)) Source # sugar :: ASTF (Domain (Remon sym m a)) (Internal (Remon sym m a)) -> Remon sym m a Source #