HORIZON HASKELLDocslts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Modulebase-compat-0.15.0Haskell2010

Numeric.Natural.Compat

  • 1 type
  • 2 values
datadata Natural
#

Natural number

Invariant: numbers <= 0xffffffffffffffff use the NS constructor

Instances16Enum, Eq, Integral, Data, Num, Ord, …
  • Enum NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Enum
  • Eq NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Bignum.Natural
  • Integral NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Real
  • Data NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Data
  • Num NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Num

    Note that Natural's Num instance isn't a ring: no element but 0 has an additive inverse. It is a semiring though.

  • Ord NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Bignum.Natural
  • Read NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Read
  • Real NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Real
  • Show NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Show
  • Ix NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Ix
  • Bits NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.Bits
  • PrintfArg NaturalDefined in base-4.22.0.0 · Text.Printf
  • Lift NaturalDefined in ghc-internal-9.1401.0 · GHC.Internal.TH.Lift
  • TestCoercion SNatDefined in ghc-internal-9.1401.0 · GHC.Internal.TypeNats
  • TestEquality SNatDefined in ghc-internal-9.1401.0 · GHC.Internal.TypeNats
  • type Compare a b = CmpNat a bDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Type.Ord