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

Modulesemirings-0.7Haskell98

Data.Star

A class for *-semirings (pron. "star-semirings").

  • 1 class
  • Packagesemirings-0.7
  • Exports1
  • LanguageHaskell98
  • LicenceBSD-3-Clause
  • SourceStar.hs
classclass Semiring a => Star a where
#

A Star semiring adds one operation, star to a Semiring, such that it follows the law:

star x = one + x * star x = one + star x * x

Another operation, aplus, can be defined in terms of star:

aplus x = x * star x

Methods

Instances6Star
  • Star BoolDefined in semirings-0.7 · Data.Star
  • Star Mod2Defined in semirings-0.7 · Data.Star
  • Star ()Defined in semirings-0.7 · Data.Star
  • Star (Proxy a)Defined in semirings-0.7 · Data.Star
  • Star b => Star (a -> b)Defined in semirings-0.7 · Data.Star
  • (Ord a, Monoid a, Extremum e) => Star (Tropical e a)Defined in semirings-0.7 · Data.Semiring.Tropical