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