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)