syntactic-3.7: Generic representation and manipulation of abstract syntax

Safe HaskellNone
LanguageHaskell2010

Language.Syntactic.Sugar.MonadTyped

Contents

Description

Syntactic instance for Remon for domains based on Typed and BindingT

Synopsis

Documentation

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

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 # 

Associated Types

type Domain (Remon sym m a) :: * -> * Source #

type Internal (Remon sym m a) :: * 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 #