HORIZON HASKELLDocslts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

Modulelinear-1.23.3Haskell2010

Linear.Conjugate

Involutive rings

  • 2 classes
  • Packagelinear-1.23.3
  • Exports2
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceConjugate.hs
classclass Num a => Conjugate a where
#

An involutive ring

Methods

  • conjugate :: a -> a

    Conjugate a value. This defaults to the trivial involution.

    Example1 expression
    conjugate (1 :+ 2)1.0 :+ (-2.0)
    Example1 expression
    conjugate 11
Instances17Conjugate, …
classclass Conjugate a => TrivialConjugate a
#

Requires and provides a default definition such that

conjugate = id
Instances15TrivialConjugate, …