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

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 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, …