Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Data.Type.Coercion.Compat
Documentation
gcoerceWith :: forall k (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #
Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Data.Type.Coercion.Compat
gcoerceWith :: forall k (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #