* -package:qchas

(*) :: Num a => a -> a -> a
base Prelude GHC.Num, hedgehog Hedgehog.Internal.Prelude, ghc GHC.Prelude.Basic, base-compat Prelude.Compat, protolude Protolude Protolude.Base, relude Relude.Numeric, rio RIO.Prelude, base-prelude BasePrelude BasePrelude.Operators, classy-prelude ClassyPrelude, Cabal-syntax Distribution.Compat.Prelude, basic-prelude CorePrelude, universum Universum.Base, ihaskell IHaskellPrelude, clash-prelude Clash.HaskellPrelude, github GitHub.Internal.Prelude, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, ghc-internal GHC.Internal.Num, rebase Rebase.Prelude, opaleye Opaleye.Operators, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, copilot-language Copilot.Language.Prelude, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, subcategories Control.Subcategory.RebindableSyntax, vcr Imports, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
type family (a :: Natural) * (b :: Natural) :: Natural
base GHC.TypeLits GHC.TypeNats, basement Basement.Nat, parameterized-utils Data.Parameterized.NatRepr, ghc-internal GHC.Internal.TypeLits GHC.Internal.TypeNats, type-natural Data.Type.Natural, incipit-base Incipit.Base, witness Data.Type.Witness.Specific.Natural
Multiplication of type-level naturals.
(*) :: Float -> Point -> Point
gloss Graphics.Gloss.Data.Point.Arithmetic
Multiply a scalar by a vector.
(*) :: C a => a -> a -> a
numeric-prelude Algebra.Ring NumericPrelude NumericPrelude.Numeric
data (*)
first-class-families Fcf Fcf.Data.Nat
(*) :: Semiring a => a -> a -> a
semirings Data.Semiring
Infix shorthand for times.
(*) :: Multiplicative a => a -> a -> a
basement Basement.Numerical.Multiplicative, foundation Foundation Foundation.Numerical
Multiplication of 2 elements that result in another element
(*) :: Word128 -> Word128 -> Word128
basement Basement.Types.Word128
Multiplication
(*) :: Word256 -> Word256 -> Word256
basement Basement.Types.Word256
Multiplication
(*) :: Multiplicative a => a -> a -> a
numhask NumHask NumHask.Algebra.Multiplicative
type family (a :: Dimension) * (b :: Dimension)
dimensional Numeric.Units.Dimensional Numeric.Units.Dimensional.Dimensions.TypeLevel Numeric.Units.Dimensional.FixedPoint Numeric.Units.Dimensional.Prelude
Multiplication of dimensions corresponds to addition of the base dimensions' exponents.
(*) :: (KnownVariant v1, KnownVariant v2, KnownVariant (v1 * v2), Num a) => Dimensional v1 d1 a -> Dimensional v2 d2 a -> Dimensional (v1 * v2) (d1 * d2) a
dimensional Numeric.Units.Dimensional Numeric.Units.Dimensional.FixedPoint Numeric.Units.Dimensional.Prelude
Multiplies two Quantitys or two Units. The intimidating type signature captures the similarity between these operations and ensures that composite Units are NonMetric.
(*) :: Dimension' -> Dimension' -> Dimension'
dimensional Numeric.Units.Dimensional.Dimensions.TermLevel
Forms the product of two dimensions.
(*) :: AnyUnit -> AnyUnit -> AnyUnit
dimensional Numeric.Units.Dimensional.Dynamic
Forms the product of two dynamic units.
(*) :: UnitName m1 -> UnitName m2 -> UnitName 'NonMetric
dimensional Numeric.Units.Dimensional.UnitNames
Form a UnitName by taking the product of two others.
type family (v1 :: Variant) * (v2 :: Variant) :: Variant
dimensional Numeric.Units.Dimensional.Variants
Forms the product of two Variants. The product of units is a non-metric unit. The product of quantities is a quantity.
type family (*) (a :: k1) (b :: k2) :: MulK k1 k2
o-clock Time.Rational
Overloaded multiplication.
(*) :: CanMulAsymmetric t1 t2 => t1 -> t2 -> MulType t1 t2
mixed-types-num Numeric.MixedTypes.Mul
(*) :: Multiplicative r => r -> r -> r
algebra Numeric.Algebra Numeric.Algebra.Class
type family (a :: ExactPi') * (b :: ExactPi') :: ExactPi'
exact-pi Data.ExactPi.TypeLevel
Forms the product of ExactPi' types (in the arithmetic sense).
type family (i :: TypeInt) * (i' :: TypeInt) :: TypeInt
numtype-dk Numeric.NumType.DK.Integers
TypeInt multiplication.
(*) :: Proxy i -> Proxy i' -> Proxy (i * i')
numtype-dk Numeric.NumType.DK.Integers
type (*) a b = Mul a b
typenums Data.TypeLits Data.TypeNums
The product of two type-level numbers. Due to changes in GHC 8.6, using this operator infix and unqualified requires the NoStarIsType language extension to be active. See the GHC 8.6.x migration guide for details: https://ghc.haskell.org/trac/ghc/wiki/Migration/8.6
(*) :: forall x m . (Show x, Additive x, Multiplicative x, MonadLogger m) => Backprop (Kleisli m) (x, x) x
inf-backprop Debug.LoggingBackprop
Differentiable logging multiplication function.

Examples of usage

>>> import Control.Arrow (runKleisli)

>>> import Control.Monad.Logger (runStdoutLoggingT)

>>> import InfBackprop (call)

>>> runStdoutLoggingT $ runKleisli (call (*)) (6, 7)
[Info] Calculating multiplication of 6 and 7 => 42
42
(*) :: Distributive x => BackpropFunc (x, x) x
inf-backprop InfBackprop
Product binnary operation

Examples of usage

>>> import Prelude (Float)

>>> import InfBackprop (call, derivative)

>>> call (*) (2, 3) :: Float
6.0

>>> import Debug.SimpleExpr.Expr (variable)

>>> x = variable "x"

>>> y = variable "y"

>>> derivative (*) (x, y)
(1·y,1·x)