lens-4.18.1: Lenses, Folds and Traversals
Safe HaskellSafe
LanguageHaskell2010

Control.Lens.Internal.Typeable

Documentation

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

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