Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Documentation
module Data.Typeable
heqT :: forall a b. (Typeable a, Typeable b) => Maybe (a :~~: b) Source #
Extract a witness of heterogeneous equality of two types
Since: 4.18.0.0
Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
module Data.Typeable
heqT :: forall a b. (Typeable a, Typeable b) => Maybe (a :~~: b) Source #
Extract a witness of heterogeneous equality of two types
Since: 4.18.0.0