----------------------------------------------------------------------------- -- | -- Module : Numeric.Natural -- Copyright : (C) 2011 Edward Kmett, -- License : BSD-style (see the file LICENSE) -- -- Maintainer : Edward Kmett <ekmett@gmail.com> -- Stability : provisional -- Portability : portable -- -- Natural numbers. -- ---------------------------------------------------------------------------- module Numeric.Natural ( Natural , Whole(toNatural) , natural ) where import Numeric.Natural.Internal