| Portability | non-portable (rank-2 types) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Infered |
Data.Reflection
Description
Based on the Functional Pearl: Implicit Configurations paper by Oleg Kiselyov and Chung-chieh Shan.
http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
Modified to minimize extensions and work with Data.Proxy rather than explicit scoped type variables and undefined values by Edward Kmett.
- class Reified s where
- reflect :: p (s a) -> a
- reify :: a -> (forall s. Reified s => Proxy (s a) -> w) -> w
- reflectT :: Reified s => t s a -> a
- class ReifiedNum s where
- reflectNum :: Num a => proxy s -> a
- reifyIntegral :: Integral a => a -> (forall s. ReifiedNum s => Proxy s -> w) -> w
Reifying any term at the type level
Instances
| ReifiedNum s => Reified (Stable s) |
Reifying integral values at the type level
class ReifiedNum s whereSource
Methods
reflectNum :: Num a => proxy s -> aSource
Instances
| ReifiedNum Zero | |
| ReifiedNum s => ReifiedNum (PredTwice s) | |
| ReifiedNum s => ReifiedNum (SuccTwice s) | |
| ReifiedNum s => ReifiedNum (Twice s) |
reifyIntegral :: Integral a => a -> (forall s. ReifiedNum s => Proxy s -> w) -> wSource