open-witness-0.4.0.1: open witnesses

Safe HaskellNone
LanguageHaskell2010

Data.OpenWitness.TypeRep

Documentation

data TypeRep :: forall (k :: *). k -> * where #

Constructors

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

Instances

TestHetEquality TypeRep # 

Methods

testHetEquality :: TypeRep ka a -> TypeRep kb b -> Maybe (HetEq ka kb a b) #

TestEquality k (TypeRep k) # 

Methods

testEquality :: f a -> f b -> Maybe ((TypeRep k :~: a) b) #

Eq1 k (TypeRep k) # 

Methods

equals1 :: p a -> p a -> Bool #

Typeable (k -> *) (TypeRep k) # 

Methods

typeRep :: TypeRep (TypeRep k) a #