Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Type.Heterogeneous
Documentation
class TestHetEquality (w :: forall k. k -> *) where #
Minimal complete definition
Methods
testHetEquality :: forall (ka :: *) (a :: ka) (kb :: *) (b :: kb). w a -> w b -> Maybe (HetEq a b) #
Instances