module GroupPresentation.Relation ( Relation, relation, relator, Relations, module GroupPresentation.Element, ) where import GroupPresentation.Element import Containers type Relation = Pair EWord relation :: EWord -> EWord -> Relation relation :: EWord -> EWord -> Relation relation = ((EWord, EWord) -> Relation) -> EWord -> EWord -> Relation forall a b c. ((a, b) -> c) -> a -> b -> c curry (EWord, EWord) -> Relation forall a. (a, a) -> Pair a Pair relator :: EWord -> Relation relator :: EWord -> Relation relator EWord ew = EWord -> EWord -> Relation relation EWord ew [] type Relations = Set Relation