HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulepeano-0.1.0.2Haskell2010

Data.Peano

See Peano.

  • 1 type
  • 1 value
  • Packagepeano-0.1.0.2
  • Exports2
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourcePeano.hs
datadata Peano
#

The natural numbers in (lazy) unary notation.

Constructors

Instances11Bounded, Enum, Eq, Integral, Data, Num, …
  • Bounded PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Enum PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Eq PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Integral PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Data PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Num PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Ord PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Read PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Real PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Show PeanoDefined in peano-0.1.0.2 · Data.Peano
  • Ix PeanoDefined in peano-0.1.0.2 · Data.Peano