Represent class of things that can be added together, contains a neutral element and is commutative.
x + azero = x
azero + x = x
x + y = y + xInstances48Additive, …
Additive Word128Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Word256Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive IntegerDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive NaturalDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CCharDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CClockDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CDoubleDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CFloatDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CIntDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CIntMaxDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CIntPtrDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CLLongDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CLongDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CPtrdiffDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CSCharDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CSUSecondsDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CShortDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CSigAtomicDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CSizeDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CTimeDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CUCharDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CUIntDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CUIntMaxDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CUIntPtrDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CULLongDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CULongDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CUSecondsDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CUShortDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive CWcharDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Int16Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Int32Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Int64Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Int8Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive RationalDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive COffDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive DoubleDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive FloatDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive IntDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive WordDefined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Word16Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Word32Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Word64Defined in basement-0.0.16 · Basement.Numerical.AdditiveAdditive Word8Defined in basement-0.0.16 · Basement.Numerical.AdditiveSizeValid n => Additive (Bits n)Defined in basement-0.0.16 · Basement.BitsAdditive (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeAdditive (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeKnownNat n => Additive (Zn n)Defined in basement-0.0.16 · Basement.Numerical.Additive(KnownNat n, NatWithinBound Word64 n) => Additive (Zn64 n)Defined in basement-0.0.16 · Basement.Numerical.Additive