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