group-theory-0.1.0.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 AbelianGroup Data.Group abelianize Data.Group Abelianized Data.Group Abelianizer Data.Group abInterpret Data.Group.Free abjoin Data.Group.Free abmap Data.Group.Free AdditiveAbelianGroup Data.Group.Additive AdditiveGroup Data.Group.Additive annihalate Control.Applicative.Cancelative cancel Control.Applicative.Cancelative cancel1 Control.Applicative.Cancelative Cancelative Control.Applicative.Cancelative classify Data.Group.Cyclic commutate Data.Group Commuted Data.Group Conjugate Data.Group conjugate Data.Group copower Data.Group.Additive CyclicGroup Data.Group.Cyclic embed 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 Finite Data.Group FiniteAbelianGroup Data.Group.Finite FiniteGroup Data.Group.Finite forgetFA Data.Group.Free.Church FreeAbelianGroup 1 (Type/Class) Data.Group.Free 2 (Data Constructor) Data.Group.Free FreeGroup 1 (Type/Class) Data.Group.Free 2 (Data Constructor) Data.Group.Free from Data.Group.Permutation generate 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 gtimes Data.Group Infinitary Data.Group Infinite Data.Group interpret Data.Group.Free interpret' Data.Group.Free interpretFA Data.Group.Free.Church interpretFG Data.Group.Free.Church invert Data.Group minus Data.Group MultiplicativeAbelianGroup Data.Group.Multiplicative MultiplicativeGroup Data.Group.Multiplicative Order Data.Group order Data.Group 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 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 runFreeAbelian Data.Group.Free runFreeGroup Data.Group.Free safeOrder Data.Group.Finite simplify 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.Additive