Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
GHC.Internal.TypeNats.Internal
Documentation
Natural number
Invariant: numbers <= 0xffffffffffffffff use the NS
constructor
Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
GHC.Internal.TypeNats.Internal
Natural number
Invariant: numbers <= 0xffffffffffffffff use the NS
constructor