| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Prologue.Type.Reflection
Documentation
someTypeRep :: forall a. Typeable a => SomeTypeRep Source #
typeOfProxy :: forall proxy a. Typeable a => proxy a -> TypeRep a Source #
type family Typeables ls :: Constraint where ... Source #
class TypeableMany (ls :: [*]) where Source #
Minimal complete definition
Methods
someTypeReps :: [SomeTypeRep] Source #
Instances
| TypeableMany ([] *) Source # | |
| (Typeable * l, TypeableMany ls) => TypeableMany ((:) * l ls) Source # | |