Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Type.Reflection.Compat
Documentation
withTypeable :: forall k (a :: k) (rep :: RuntimeRep) (r :: TYPE rep). TypeRep a -> (Typeable a => r) -> r #
Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Type.Reflection.Compat
withTypeable :: forall k (a :: k) (rep :: RuntimeRep) (r :: TYPE rep). TypeRep a -> (Typeable a => r) -> r #