| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Monoid.Instances.Concat
Description
This module defines the monoid transformer data type Concat.
- data Concat a
- concatenate :: (MonoidNull a, PositiveMonoid a) => Seq a -> Concat a
- extract :: Concat a -> Seq a
Documentation
Concat anewtype wrapper around Seq aConcat aa instances, up to the pure isomorphism.
The only purpose of Concat then is to change the performance characteristics of various operations. Most
importantly, injecting a monoid into a Concat has the effect of making mappend a logarithmic-time operation.
Instances
| Functor Concat | |
| Applicative Concat | |
| (Eq a, Monoid a) => Eq (Concat a) | |
| (Ord a, Monoid a) => Ord (Concat a) | |
| Show a => Show (Concat a) | |
| IsString a => IsString (Concat a) | |
| Monoid (Concat a) | |
| PositiveMonoid (Concat a) | |
| MonoidNull (Concat a) | |
| FactorialMonoid a => FactorialMonoid (Concat a) | |
| (Eq a, RightGCDMonoid a, MonoidNull a, StableFactorialMonoid a) => RightGCDMonoid (Concat a) | |
| (Eq a, LeftGCDMonoid a, MonoidNull a, StableFactorialMonoid a) => LeftGCDMonoid (Concat a) | |
| (MonoidNull a, RightReductiveMonoid a, StableFactorialMonoid a) => RightReductiveMonoid (Concat a) | |
| (LeftReductiveMonoid a, MonoidNull a, StableFactorialMonoid a) => LeftReductiveMonoid (Concat a) | |
| (Eq a, TextualMonoid a, StableFactorialMonoid a) => TextualMonoid (Concat a) |
concatenate :: (MonoidNull a, PositiveMonoid a) => Seq a -> Concat a Source