Prologue.Type.Reflection

Documentation

someTypeRep :: forall a. Typeable a => SomeTypeRep

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

class Typeables (ls :: [*]) where

Minimal complete definition

someTypeReps

Methods

someTypeReps :: [SomeTypeRep]

Instances

Typeables ([] *)

Methods

someTypeReps :: [SomeTypeRep]

(Typeable * l, Typeables ls) => Typeables ((:) * l ls)

Methods

someTypeReps :: [SomeTypeRep]