star-0.0.1.0: *-semirings

Safe HaskellSafe
LanguageHaskell2010

Data.Star

Synopsis

Documentation

class Semiring a => Star a where Source #

star(x) = 1 + x * star(x) star x = one plus (x times (star x))

Minimal complete definition

star

Methods

star :: a -> a Source #

Instances