Safe Haskell	Safe
Language	Haskell2010

Embedder.Atmo.FlattenMonadTrans

Synopsis

transMonadT :: Ty -> Ty
getStates :: Ty -> [Ty]
mkState :: Annote -> [Ty] -> Ty

Documentation

transMonadT :: Ty -> Ty Source #

transMonadT Convert `StateT s (StateT t (StateT u Identity)) a` to `State (s,(t,(u,()))) a` Convert `ReacT i o m a` to `Re i o s a` where s = mkState an (getStates m)

getStates :: Ty -> [Ty] Source #

mkState :: Annote -> [Ty] -> Ty Source #