Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 #
someTypeReps :: [SomeTypeRep] Source #
TypeableMany ([] *) Source # | |
(Typeable * l, TypeableMany ls) => TypeableMany ((:) * l ls) Source # | |