Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
someTypeRep :: forall a. Typeable a => SomeTypeRep Source #
typeOfProxy :: forall proxy a. Typeable a => proxy a -> TypeRep a Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
someTypeRep :: forall a. Typeable a => SomeTypeRep Source #
typeOfProxy :: forall proxy a. Typeable a => proxy a -> TypeRep a Source #