Safe Haskell	None
Language	Haskell2010

Data.Type.OpenWitness.TypeRep

Documentation

data TypeRep (a :: k) where Source #

Constructors

SimpleTypeRep :: forall k (a :: k). IOWitness a -> TypeRep a
ApplyTypeRep :: forall k1 k (p :: k1 -> k) (a1 :: k1). TypeRep p -> TypeRep a1 -> TypeRep (p a1)

Instances details

TestHetEquality TypeRep Source #
Instance details Defined in Data.Type.OpenWitness.TypeRep Methods testHetEquality :: forall ka (a :: ka) kb (b :: kb). TypeRep a -> TypeRep b -> Maybe (a :~~: b) #
TestEquality (TypeRep :: k -> Type) Source #
Instance details Defined in Data.Type.OpenWitness.TypeRep Methods testEquality :: forall (a :: k) (b :: k). TypeRep a -> TypeRep b -> Maybe (a :~: b) #
Typeable (TypeRep :: k -> Type) Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep (TypeRep :: k -> Type) Source #