Documentation

type Rels = [Rel] Source #

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

for' :: RangeElement e => Range e -> Rels -> Rel Source #

in' :: RangeElement e => String -> SetGetter e -> Range e Source #

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