Basement.Compat.Natural · basement-0.0.16

datadata Natural

Natural number

Invariant: numbers <= 0xffffffffffffffff use the NS constructor

Instances31Enum, Eq, Data, Num, Ord, Read, …

Enum NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Enum
Eq NaturalDefined in ghc-bignum-1.3 · GHC.Num.Natural
Integral NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Real
Data NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Data.Data
Num NaturalDefined in ghc-internal-9.1003.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-bignum-1.3 · GHC.Num.Natural
Read NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Read
Real NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Real
Show NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Show
Ix NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Ix
Bits NaturalDefined in ghc-internal-9.1003.0 · GHC.Internal.Bits
PrintfArg NaturalDefined in base-4.20.2.0 · Text.Printf
Integral NaturalDefined in basement-0.0.16 · Basement.Compat.NumLiteral
Additive NaturalDefined in basement-0.0.16 · Basement.Numerical.Additive
IsNatural NaturalDefined in basement-0.0.16 · Basement.Numerical.Number
IDivisible NaturalDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
Multiplicative NaturalDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
Subtractive NaturalDefined in basement-0.0.16 · Basement.Numerical.Subtractive
IsIntegral NaturalDefined in basement-0.0.16 · Basement.Numerical.Number
NormalForm NaturalDefined in basement-0.0.16 · Basement.NormalForm
TestCoercion SNatDefined in ghc-internal-9.1003.0 · GHC.Internal.TypeNats
TestEquality SNatDefined in ghc-internal-9.1003.0 · GHC.Internal.TypeNats
IsNatural n => From n NaturalDefined in basement-0.0.16 · Basement.From
IntegralDownsize Integer NaturalDefined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word8Defined in basement-0.0.16 · Basement.IntegralConv
IsNatural a => IntegralUpsize a NaturalDefined in basement-0.0.16 · Basement.IntegralConv
type Compare a b = CmpNat a bDefined in ghc-internal-9.1003.0 · GHC.Internal.Data.Type.Ord
type Difference Natural = Maybe NaturalDefined in basement-0.0.16 · Basement.Numerical.Subtractive