Portability | portable |
---|---|
Stability | provisional |
Maintainer | atzeus@gmail.org |
Safe Haskell | None |
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.