Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Effect.Internal.Utils
Documentation
coerceTrans :: (Coercible m z, Coercible n y) => (m a -> n b) -> z a -> y b Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Effect.Internal.Utils
coerceTrans :: (Coercible m z, Coercible n y) => (m a -> n b) -> z a -> y b Source #