| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | atzeus@gmail.org |
| Safe Haskell | None |
Data.Untypeable
Description
Provides a Typeable-like interface for things that cannot derive typeable.
- data Untypeable
- inject :: HKey s a -> a -> Untypeable
- project :: HKey s a -> Untypeable -> Maybe a
Documentation
data Untypeable Source
inject :: HKey s a -> a -> UntypeableSource
Make an Untypeable value
project :: HKey s a -> Untypeable -> Maybe aSource
Project (i.e. cast) an untypeable value with a given key.