Copyright | (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | alfonso.acosta@gmail.com |
Stability | experimental |
Portability | non-portable (non-standard instances) |
Safe Haskell | None |
Language | Haskell98 |
Type-level numerical sets. Currently there is only support for Naturals and Positives.
Documentation
reifyIntegral :: Integral i => i -> (forall n. Nat n => n -> r) -> r Source
Reification function. In CPS style (best possible solution)