-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Peano numbers
--   
--   Lazy unary natural numbers.
@package peano
@version 0.1.0.3


-- | See <a>Peano</a>.
module Data.Peano

-- | The natural numbers in (lazy) unary notation.
data Peano
Zero :: Peano
Succ :: Peano -> Peano

-- | The infinite number (ω).
infinity :: Peano
instance GHC.Internal.Enum.Bounded Data.Peano.Peano
instance GHC.Internal.Data.Data.Data Data.Peano.Peano
instance GHC.Internal.Enum.Enum Data.Peano.Peano
instance GHC.Classes.Eq Data.Peano.Peano
instance GHC.Internal.Real.Integral Data.Peano.Peano
instance GHC.Internal.Ix.Ix Data.Peano.Peano
instance GHC.Internal.Num.Num Data.Peano.Peano
instance GHC.Classes.Ord Data.Peano.Peano
instance GHC.Internal.Read.Read Data.Peano.Peano
instance GHC.Internal.Real.Real Data.Peano.Peano
instance GHC.Internal.Show.Show Data.Peano.Peano
