prologue-3.1.3: Better, more general Prelude exporting common utilities.

Safe HaskellNone
LanguageHaskell2010

Prologue.Type.Reflection

Documentation

someTypeRep :: forall a. Typeable a => SomeTypeRep Source #

typeOfProxy :: forall proxy a. Typeable a => proxy a -> TypeRep a Source #

class Typeables (ls :: [*]) where Source #

Minimal complete definition

someTypeReps

Methods

someTypeReps :: [SomeTypeRep] Source #

Instances