| Copyright | (c) 2015 David Farrell |
|---|---|
| License | PublicDomain |
| Stability | unstable |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.PolyMap.Nat
Description
Natural numbers defined at the type level with a proxy defined for the promoted kind.