lens-4.19.2: Lenses, Folds and Traversals
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Lens.Internal.Typeable

Synopsis

Documentation

eqT :: forall k (a :: k) (b :: k). (Typeable a, Typeable b) => Maybe (a :~: b) #

Extract a witness of equality of two types

Since: base-4.7.0.0

typeRep :: forall k proxy (a :: k). Typeable a => proxy a -> TypeRep #

Takes a value of type a and returns a concrete representation of that type.

Since: base-4.7.0.0