Documentation

type Relation = Pair GWord Source #

relation :: GWord -> GWord -> Relation Source #

relator :: GWord -> Relation Source #

type Relations = Set Relation Source #

type StrRelation = Pair StrGWord Source #

forAll :: Ord b => (a -> b) -> Getter (Set (Pair a)) (Set (Pair b)) Source #

replaceGenerator :: (String, String) -> StrGWord -> StrGWord Source #

module SemigroupPresentation.Generator