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

Modulelinear-1.22Haskell2010

Linear.Conjugate

Involutive rings

  • 2 classes
  • Packagelinear-1.22
  • 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, …