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