Safe Haskell	None
Language	Haskell2010

SemigroupPresentation

Description

Module SemigroupPresentation include type of semigroup presentation and useful objects for working with it. This module also export other useful modules.

Documentation

type GeneratorsDescr = IsoMap Generator String Source #

data SemigroupPresentation Source #

Instances

Instances details

Show SemigroupPresentation Source #
Instance details Defined in SemigroupPresentation Methods showsPrec :: Int -> SemigroupPresentation -> ShowS # show :: SemigroupPresentation -> String # showList :: [SemigroupPresentation] -> ShowS #
ShowInfo SemigroupPresentation Source #
Instance details Defined in ShowInfo Methods showTitle :: SemigroupPresentation -> Title Source # showInfo :: SemigroupPresentation -> String Source # showTitleAndInfo :: SemigroupPresentation -> String Source # showListTitle :: [SemigroupPresentation] -> Title Source # showListInfo :: [SemigroupPresentation] -> String Source #

semigroupPresentation :: Relations -> GeneratorsDescr -> SemigroupPresentation Source #

relations :: Lens' SemigroupPresentation Relations Source #

generatorsDescr :: Lens' SemigroupPresentation GeneratorsDescr Source #

type SPGetter a = Getter SemigroupPresentation a Source #

type SPGetting a = Getting a SemigroupPresentation a Source #

type SPTraversal' a = Traversal' SemigroupPresentation a Source #

generators :: SPTraversal' Generator Source #

allGenerators :: SPGetter (Set Generator) Source #

strRelations :: SPGetting (Set StrRelation) Source #

strGenerators :: SPGetting (Set String) Source #

strNumRelations :: SPGetting (Set String) Source #

asStrSet :: Show a => Getter a (Set String) Source #

module SemigroupPresentation.Relation

module Containers

module Lens