Distribution.Compat.Typeable

Cabal-3.4.0.0: A framework for packaging Haskell software

Safe Haskell | Safe-Inferred
Language | Haskell2010

Distribution.Compat.Typeable

Synopsis

- class Typeable (a :: k)
- type TypeRep = SomeTypeRep
- typeRep :: forall {k} proxy (a :: k). Typeable a => proxy a -> TypeRep

# Documentation

class Typeable (a :: k) Source #

The class `Typeable` allows a concrete representation of a type to be calculated.

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.

Since: base-4.7.0.0