star-0.0.1.0: *-semirings
Data.Star
Synopsis
class Semiring a => Star a where Source #
star(x) = 1 + x * star(x) star x = one plus (x times (star x))
plus
times
Minimal complete definition
star
Methods
star :: a -> a Source #
Instances
star :: Bool -> Bool Source #
star :: Double -> Double Source #
star :: Float -> Float Source #