Portability | non-portable (non-standard instances) |
---|---|
Stability | experimental |
Maintainer | alfonso.acosta@gmail.com |
Type-level numerical sets. Currently there is only support for Naturals and Positives.
Documentation
reifyIntegral :: Integral i => i -> (forall n. Nat n => n -> r) -> rSource
Reification function. In CPS style (best possible solution)