 | monoids-0.1.31: Monoids, specialized containers and a general map/reduce framework | Source code | Contents | Index |
| Data.Group.Combinators |
|
| Contents |
Utilities for working with Groups that conflict with names from the Prelude.
Intended to be imported qualified.
import Data.Group.Combinators as Group (replicate)
| module Data.Group |
| replicate :: (Group m, Integral n) => m -> n -> m |
| prop_replicate_right_distributive :: (Eq g, Group g, Arbitrary g, Integral n) => g -> n -> n -> Bool |
| replicate :: (Group m, Integral n) => m -> n -> m | Source |
| prop_replicate_right_distributive :: (Eq g, Group g, Arbitrary g, Integral n) => g -> n -> n -> Bool | Source |