Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Nat
numbers.
This module is designed to be imported qualified.
Natural, Nat numbers
Nat natural numbers.
Better than GHC's built-in Nat
for some use cases.
fromNatural :: Natural -> Nat Source #
Showing
explicitShow :: Nat -> String Source #