Index
one | Data.Semiring |
plus | Data.Semiring |
Semiring | Data.Semiring |
Star | Data.Star |
star | Data.Star |
times | Data.Semiring |
zero | Data.Semiring |
star-0.0.1.0: *-semirings
Index
one | Data.Semiring |
plus | Data.Semiring |
Semiring | Data.Semiring |
Star | Data.Star |
star | Data.Star |
times | Data.Semiring |
zero | Data.Semiring |