<+> | 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 |