Index
| <+> | StarSemiring |
| <.> | StarSemiring |
| Compact | StarSemiring |
| Empty | StarSemiring |
| evalRE | StarSemiring |
| evalSSE | StarSemiring |
| extract | StarSemiring |
| Inf | StarSemiring |
| Infinity | StarSemiring |
| KleeneAlgebra | StarSemiring |
| Language | |
| 1 (Type/Class) | StarSemiring |
| 2 (Data Constructor) | StarSemiring |
| letter | StarSemiring |
| None | StarSemiring |
| one | StarSemiring |
| Or | StarSemiring |
| plus | StarSemiring |
| RE | |
| 1 (Type/Class) | StarSemiring |
| 2 (Data Constructor) | StarSemiring |
| re | StarSemiring |
| Real | StarSemiring |
| Semiring | StarSemiring |
| Seq | StarSemiring |
| ShortestPath | |
| 1 (Type/Class) | StarSemiring |
| 2 (Data Constructor) | StarSemiring |
| someWord | StarSemiring |
| srprod | StarSemiring |
| srsum | StarSemiring |
| Star | StarSemiring |
| star | StarSemiring |
| StarSemiring | StarSemiring |
| StarSemiringExpr | StarSemiring |
| todo | StarSemiring |
| Tropical | |
| 1 (Type/Class) | StarSemiring |
| 2 (Data Constructor) | StarSemiring |
| Var | StarSemiring |
| zero | StarSemiring |