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

Modulebasement-0.0.16Haskell2010

Basement.Numerical.Multiplicative

  • 3 classes
  • 1 value
  • Packagebasement-0.0.16
  • Exports4
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceMultiplicative.hs
classclass Multiplicative a where
#

Represent class of things that can be multiplied together

x * midentity = x
midentity * x = x

Methods

  • midentity :: a

    Identity element over multiplication

  • (*) :: a -> a -> ainfixl 7

    Multiplication of 2 elements that result in another element

  • (^) :: (IsNatural n, Enum n, IDivisible n) => a -> n -> ainfixr 8

    Raise to power, repeated multiplication e.g. > a ^ 2 = a * a > a ^ 10 = (a ^ 5) * (a ^ 5) .. (^) :: (IsNatural n) => a -> n -> a

Instances44Multiplicative, …
classclass (Additive a, Multiplicative a) => IDivisible a where
#

Represent types that supports an euclidian division

(x ‘div‘ y) * y + (x ‘mod‘ y) == x

Methods

  • div :: a -> a -> a
  • mod :: a -> a -> a
  • divMod :: a -> a -> (a, a)
Instances34IDivisible, …
  • IDivisible Word128Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Word256Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible IntegerDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible NaturalDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CCharDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CIntDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CIntMaxDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CIntPtrDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CLLongDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CLongDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CPtrdiffDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CSCharDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CShortDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CSigAtomicDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CSizeDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CUCharDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CUIntDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CUIntMaxDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CUIntPtrDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CULLongDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CULongDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CUShortDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible CWcharDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Int16Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Int32Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Int64Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Int8Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Word16Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Word32Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Word64Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible Word8Defined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible IntDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • IDivisible WordDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • SizeValid n => IDivisible (Bits n)Defined in basement-0.0.16 · Basement.Bits
classclass Multiplicative a => Divisible a where
#

Support for division between same types

This is likely to change to represent specific mathematic divisions

Methods

  • (/) :: a -> a -> ainfixl 7
Instances5Divisible
  • Divisible CDoubleDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • Divisible CFloatDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • Divisible RationalDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • Divisible DoubleDefined in basement-0.0.16 · Basement.Numerical.Multiplicative
  • Divisible FloatDefined in basement-0.0.16 · Basement.Numerical.Multiplicative