| Copyright | (c) Atze van der Ploeg 2013 |
|---|---|
| License | BSD-style |
| Maintainer | atzeus@gmail.org |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
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 -> Untypeable Source
Make an Untypeable value
project :: HKey s a -> Untypeable -> Maybe a Source
Project (i.e. cast) an untypeable value with a given key.