LangToGroup-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

GroupPresentation

Description

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

Documentation

type GeneratorsDescr = IsoMap Generator String Source #

data GroupPresentation Source #

Instances

Instances details
Show GroupPresentation Source # 
Instance details

Defined in GroupPresentation

Methods

showsPrec :: Int -> GroupPresentation -> ShowS #

show :: GroupPresentation -> String #

showList :: [GroupPresentation] -> ShowS #

ShowInfo GroupPresentation Source # 
Instance details

Defined in ShowInfo

Methods

showTitle :: GroupPresentation -> Title Source #

showInfo :: GroupPresentation -> String Source #

showTitleAndInfo :: GroupPresentation -> String Source #

showListTitle :: [GroupPresentation] -> Title Source #

showListInfo :: [GroupPresentation] -> String Source #

groupPresentation :: Relations -> GeneratorsDescr -> GroupPresentation Source #

relations :: Lens' GroupPresentation Relations Source #

generatorsDescr :: Lens' GroupPresentation GeneratorsDescr Source #

type GPGetter a = Getter GroupPresentation a Source #

generators :: GPGetter (Set Generator) Source #

allGenerators :: GPGetter (Set Generator) Source #

strGenerators :: GPGetter (Set String) Source #

module GroupPresentation.Relation

module Containers

module Lens