Documentation

type Rels = [Rel] Source #

(===) :: String -> String -> Rel Source #

for' :: RangeClass v c => Range v c -> Rels -> Rel Source #

in' :: RangeClass v c => v -> c -> Range v c Source #

rels :: MonadFail m => Rels -> GeneratorsDescr -> SemigroupPresentation -> m Relations Source #