group-theory-0.2.1.0: The theory of groups

Index

 $- Data.Group.Permutation * Data.Group.Multiplicative + Data.Group.Additive - Data.Group.Additive -$ Data.Group.Permutation / Data.Group.Multiplicative >< Data.Group Abelian Data.Group abelianize Data.Group Abelianized Data.Group Abelianizer Data.Group abfoldMap Data.Group.Free abInterpret Data.Group.Free abjoin Data.Group.Free abmap Data.Group.Free AdditiveAbelianGroup Data.Group.Additive AdditiveGroup Data.Group.Additive annihilate Control.Applicative.Cancellative cancel Control.Applicative.Cancellative cancel1 Control.Applicative.Cancellative Cancellative Control.Applicative.Cancellative classify Data.Group.Cyclic commutate Data.Group Commuted Data.Group comparePermutation Data.Group.Permutation Conjugate Data.Group conjugate Data.Group copower Data.Group.Additive coproduct Data.Group.Free.Product Cyclic Data.Group.Cyclic embed Data.Group.Permutation equalPermutation Data.Group.Permutation FA 1 (Type/Class) Data.Group.Free.Church 2 (Data Constructor) Data.Group.Free.Church FG 1 (Type/Class) Data.Group.Free.Church 2 (Data Constructor) Data.Group.Free.Church Finitary Data.Group.Order Finite Data.Group.Order FiniteAbelianGroup Data.Group.Finite FiniteGroup Data.Group.Finite, Data.Group.Order finiteOrder Data.Group.Finite, Data.Group.Order forgetFA Data.Group.Free.Church FreeAbelianGroup 1 (Type/Class) Data.Group.Free.Internal, Data.Group.Free 2 (Data Constructor) Data.Group.Free FreeGroup 1 (Type/Class) Data.Group.Free 2 (Data Constructor) Data.Group.Free FreeProduct 1 (Type/Class) Data.Group.Free.Product 2 (Data Constructor) Data.Group.Free.Product from Data.Group.Permutation generated Data.Group.Cyclic generator Data.Group.Cyclic gold Data.Group.Foldable goldMap Data.Group.Foldable goldr Data.Group.Foldable Group Data.Group GroupFoldable Data.Group.Foldable GroupOrder Data.Group.Order gtimes Data.Group IdentityElem Data.Group Infinitary Data.Group.Order Infinite Data.Group.Order injl Data.Group.Free.Product injr Data.Group.Free.Product interpret Data.Group.Free interpret' Data.Group.Free interpretFA Data.Group.Free.Church interpretFG Data.Group.Free.Church Inverse Data.Group invert Data.Group lcmOrder Data.Group.Order minus Data.Group MkFreeAbelianGroup Data.Group.Free.Internal mkFreeAbelianGroup Data.Group.Free MultiplicativeAbelianGroup Data.Group.Multiplicative MultiplicativeGroup Data.Group.Multiplicative Order Data.Group.Order order Data.Group.Order orderForBits Data.Group.Order orderOfPermutation Data.Group.Permutation pairwise Data.Group.Permutation Permutation 1 (Type/Class) Data.Group.Permutation 2 (Data Constructor) Data.Group.Permutation Permute Data.Group.Permutation permute Data.Group.Permutation pow Data.Group power Data.Group.Multiplicative present Data.Group.Free presentFG Data.Group.Free.Church Quot Data.Group Quotiented Data.Group reflectFA Data.Group.Free.Church reflectFG Data.Group.Free.Church reifyFA Data.Group.Free.Church reifyFG Data.Group.Free.Church retract Data.Group.Permutation runFA Data.Group.Free.Church runFG Data.Group.Free.Church runFreeAbelianGroup Data.Group.Free runFreeGroup Data.Group.Free runFreeProduct Data.Group.Free.Product safeClassify Data.Group.Finite simplify 1 (Function) Data.Group.Free.Product 2 (Function) Data.Group.Free singleton Data.Group.Free to Data.Group.Permutation toFG Data.Group.Foldable toFreeGroup Data.Group.Foldable unconjugate Data.Group ^ Data.Group.Multiplicative ~~ Data.Group × Data.Group.Additive