HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulenumeric-prelude-0.4.4Haskell98

Algebra.NormedSpace.Sum

Abstraction of normed vector spaces

  • 1 class
  • 2 values
classclass (C a, C a v) => C a v where
#

The super class is only needed to state the laws v == zero == norm v == zero norm (scale x v) == abs x * norm v norm (u+v) <= norm u + norm v

Methods

Instances12C, …
  • C Integer IntegerDefined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • C Double DoubleDefined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • C Float FloatDefined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • C Int IntDefined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • (C a, C a v) => C a (T v)Defined in numeric-prelude-0.4.4 · Number.Complex
  • (C a, C a v) => C a [v]Defined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • (C a v, RealFloat v) => C a (Complex v)Defined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • (Ord i, Eq a, Eq v, C a v) => C a (Map i v)Defined in numeric-prelude-0.4.4 · MathObj.DiscreteMap · orphan
  • (C a, C a v0, C a v1) => C a (v0, v1)Defined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • (C a, C a v0, C a v1, C a v2) => C a (v0, v1, v2)Defined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum
  • C a v => C (T a) (T v)Defined in numeric-prelude-0.4.4 · MathObj.Wrapper.NumericPrelude
  • (C a, C a) => C (T a) (T a)Defined in numeric-prelude-0.4.4 · Algebra.NormedSpace.Sum