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

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, …