Safe Haskell	None
Language	Haskell2010

Data.Type.Heterogeneous

Synopsis

data HetEq (a :: ka) (b :: kb) where
- ReflH :: forall (k :: *) (t :: k). HetEq t t
homoHetEq :: forall (k :: *) (a :: k) (b :: k). HetEq a b -> a :~: b
class TestHetEquality (w :: forall k. k -> *) where

Documentation

data HetEq (a :: ka) (b :: kb) where #

Constructors

ReflH :: forall (k :: *) (t :: k). HetEq t t

homoHetEq :: forall (k :: *) (a :: k) (b :: k). HetEq a b -> a :~: b #

somewhat awkwardly named

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

TestHetEquality TypeRep #
Instance details Defined in Data.OpenWitness.TypeRep Methods testHetEquality :: TypeRep ka a -> TypeRep kb b -> Maybe (HetEq a b) #
TestHetEquality (OpenWitness s) #
Instance details Defined in Data.OpenWitness Methods testHetEquality :: OpenWitness s ka a -> OpenWitness s kb b -> Maybe (HetEq a b) #