Distribution.Compat.Typeable
class Typeable (a :: k) Source #
The class Typeable allows a concrete representation of a type to be calculated.
Typeable
Minimal complete definition
typeRep#
type TypeRep = SomeTypeRep Source #
A quantified type representation.
typeRep :: forall k proxy (a :: k). Typeable a => proxy a -> TypeRep Source #
Takes a value of type a and returns a concrete representation of that type.
a
Since: base-4.7.0.0