Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pandora.Paradigm.Controlflow.Effect.Transformer
Documentation
type family Transformer c m t where ... Source #
Equations
Transformer Monad m t = Monadic m t | |
Transformer Comonad m t = Comonadic m t |
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pandora.Paradigm.Controlflow.Effect.Transformer
type family Transformer c m t where ... Source #
Equations
Transformer Monad m t = Monadic m t | |
Transformer Comonad m t = Comonadic m t |