monoid-subclasses-1.2.5.1: Subclasses of Monoid

Data.Monoid.GCD

Description

This module defines the GCDMonoid subclass of the Monoid class.

The GCDMonoid subclass adds the gcd operation which takes two monoidal arguments and finds their greatest common divisor, or (more generally) the greatest monoid that can be extracted with the </> operation from both.

The GCDMonoid class is for Abelian, i.e., Commutative monoids.

## Non-commutative GCD monoids

Since most practical monoids in Haskell are not Abelian, the GCDMonoid class has three symmetric superclasses:

• LeftGCDMonoid

Class of monoids for which it is possible to find the greatest common prefix of two monoidal values.

• RightGCDMonoid

Class of monoids for which it is possible to find the greatest common suffix of two monoidal values.

• OverlappingGCDMonoid

Class of monoids for which it is possible to find the greatest common overlap of two monoidal values.

## Distributive GCD monoids

Since some (but not all) GCD monoids are also distributive, there are three subclasses that add distributivity:

• DistributiveGCDMonoid

Subclass of GCDMonoid with symmetric distributivity.

• LeftDistributiveGCDMonoid

Subclass of LeftGCDMonoid with left-distributivity.

• RightDistributiveGCDMonoid

Subclass of RightGCDMonoid with right-distributivity.

Synopsis

# Documentation

class (Monoid m, Commutative m, Reductive m, LeftGCDMonoid m, RightGCDMonoid m, OverlappingGCDMonoid m) => GCDMonoid m where Source #

Class of Abelian monoids that allow the greatest common divisor to be found for any two given values. The operations must satisfy the following laws:

gcd a b == commonPrefix a b == commonSuffix a b
Just a' = a </> p && Just b' = b </> p
where p = gcd a b

In addition, the gcd operation must satisfy the following properties:

Uniqueness

all isJust
[ a </> c
, b </> c
, c </> gcd a b
]
==>
(c == gcd a b)


Idempotence

gcd a a == a


Identity

gcd mempty a == mempty

gcd a mempty == mempty


Commutativity

gcd a b == gcd b a


Associativity

gcd (gcd a b) c == gcd a (gcd b c)


Methods

gcd :: m -> m -> m Source #

#### Instances

Instances details
 Source # O(m+n) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(1) Instance detailsDefined in Data.Monoid.GCD Methodsgcd :: () -> () -> () Source # GCDMonoid a => GCDMonoid (Dual a) Source # Instance detailsDefined in Data.Monoid.GCD Methodsgcd :: Dual a -> Dual a -> Dual a Source # Source # O(1) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(1) Instance detailsDefined in Data.Monoid.GCD Methods Ord a => GCDMonoid (Set a) Source # O(m*log(n/m + 1)), m <= n Instance detailsDefined in Data.Monoid.GCD Methodsgcd :: Set a -> Set a -> Set a Source # (GCDMonoid a, GCDMonoid b) => GCDMonoid (a, b) Source # Instance detailsDefined in Data.Monoid.GCD Methodsgcd :: (a, b) -> (a, b) -> (a, b) Source # (GCDMonoid a, GCDMonoid b, GCDMonoid c) => GCDMonoid (a, b, c) Source # Instance detailsDefined in Data.Monoid.GCD Methodsgcd :: (a, b, c) -> (a, b, c) -> (a, b, c) Source # (GCDMonoid a, GCDMonoid b, GCDMonoid c, GCDMonoid d) => GCDMonoid (a, b, c, d) Source # Instance detailsDefined in Data.Monoid.GCD Methodsgcd :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #

class (Monoid m, LeftReductive m) => LeftGCDMonoid m where Source #

Class of monoids capable of finding the equivalent of greatest common divisor on the left side of two monoidal values. The following laws must be respected:

stripCommonPrefix a b == (p, a', b')
where p = commonPrefix a b
Just a' = stripPrefix p a
Just b' = stripPrefix p b
p == commonPrefix a b && p <> a' == a && p <> b' == b
where (p, a', b') = stripCommonPrefix a b

Furthermore, commonPrefix must return the unique greatest common prefix that contains, as its prefix, any other prefix x of both values:

not (x isPrefixOf a && x isPrefixOf b) || x isPrefixOf commonPrefix a b

and it cannot itself be a suffix of any other common prefix y of both values:

not (y isPrefixOf a && y isPrefixOf b && commonPrefix a b isSuffixOf y)

In addition, the commonPrefix operation must satisfy the following properties:

Idempotence

commonPrefix a a == a


Identity

commonPrefix mempty a == mempty

commonPrefix a mempty == mempty


Commutativity

commonPrefix a b == commonPrefix b a


Associativity

commonPrefix (commonPrefix a b) c
==
commonPrefix a (commonPrefix b c)


Minimal complete definition

Methods

commonPrefix :: m -> m -> m Source #

stripCommonPrefix :: m -> m -> (m, m, m) Source #

#### Instances

Instances details
 Source # O(prefixLength) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(prefixLength) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(m+n) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(prefixLength) Instance detailsDefined in Data.Monoid.Instances.ByteString.UTF8 Methods Source # O(prefixLength) Instance detailsDefined in Data.Monoid.GCD MethodsstripCommonPrefix :: Text -> Text -> (Text, Text, Text) Source # Source # O(prefixLength) Instance detailsDefined in Data.Monoid.GCD MethodsstripCommonPrefix :: Text -> Text -> (Text, Text, Text) Source # Source # O(1) Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: () -> () -> () Source #stripCommonPrefix :: () -> () -> ((), (), ()) Source # Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: Dual a -> Dual a -> Dual a Source #stripCommonPrefix :: Dual a -> Dual a -> (Dual a, Dual a, Dual a) Source # Source # O(1) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(1) Instance detailsDefined in Data.Monoid.GCD Methods Eq a => LeftGCDMonoid (IntMap a) Source # O(m+n) Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: IntMap a -> IntMap a -> IntMap a Source #stripCommonPrefix :: IntMap a -> IntMap a -> (IntMap a, IntMap a, IntMap a) Source # Eq a => LeftGCDMonoid (Seq a) Source # O(prefixLength) Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: Seq a -> Seq a -> Seq a Source #stripCommonPrefix :: Seq a -> Seq a -> (Seq a, Seq a, Seq a) Source # Ord a => LeftGCDMonoid (Set a) Source # O(m*log(n/m + 1)), m <= n Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: Set a -> Set a -> Set a Source #stripCommonPrefix :: Set a -> Set a -> (Set a, Set a, Set a) Source # Source # Instance detailsDefined in Data.Monoid.Instances.Concat MethodscommonPrefix :: Concat a -> Concat a -> Concat a Source #stripCommonPrefix :: Concat a -> Concat a -> (Concat a, Concat a, Concat a) Source # Source # Instance detailsDefined in Data.Monoid.Instances.Measured MethodscommonPrefix :: Measured a -> Measured a -> Measured a Source #stripCommonPrefix :: Measured a -> Measured a -> (Measured a, Measured a, Measured a) Source # Source # Instance detailsDefined in Data.Monoid.Instances.Positioned Methods Source # Instance detailsDefined in Data.Monoid.Instances.Positioned Methods Source # Instance detailsDefined in Data.Monoid.Instances.PrefixMemory MethodscommonPrefix :: Shadowed m -> Shadowed m -> Shadowed m Source #stripCommonPrefix :: Shadowed m -> Shadowed m -> (Shadowed m, Shadowed m, Shadowed m) Source # Eq a => LeftGCDMonoid (Vector a) Source # O(prefixLength) Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: Vector a -> Vector a -> Vector a Source #stripCommonPrefix :: Vector a -> Vector a -> (Vector a, Vector a, Vector a) Source # Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: Maybe x -> Maybe x -> Maybe x Source #stripCommonPrefix :: Maybe x -> Maybe x -> (Maybe x, Maybe x, Maybe x) Source # Eq x => LeftGCDMonoid [x] Source # O(prefixLength) Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: [x] -> [x] -> [x] Source #stripCommonPrefix :: [x] -> [x] -> ([x], [x], [x]) Source # (Ord k, Eq a) => LeftGCDMonoid (Map k a) Source # O(m+n) Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: Map k a -> Map k a -> Map k a Source #stripCommonPrefix :: Map k a -> Map k a -> (Map k a, Map k a, Map k a) Source # (LeftGCDMonoid a, LeftGCDMonoid b) => LeftGCDMonoid (Stateful a b) Source # Instance detailsDefined in Data.Monoid.Instances.Stateful MethodscommonPrefix :: Stateful a b -> Stateful a b -> Stateful a b Source #stripCommonPrefix :: Stateful a b -> Stateful a b -> (Stateful a b, Stateful a b, Stateful a b) Source # (LeftGCDMonoid a, LeftGCDMonoid b) => LeftGCDMonoid (a, b) Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: (a, b) -> (a, b) -> (a, b) Source #stripCommonPrefix :: (a, b) -> (a, b) -> ((a, b), (a, b), (a, b)) Source # (LeftGCDMonoid a, LeftGCDMonoid b, LeftGCDMonoid c) => LeftGCDMonoid (a, b, c) Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #stripCommonPrefix :: (a, b, c) -> (a, b, c) -> ((a, b, c), (a, b, c), (a, b, c)) Source # (LeftGCDMonoid a, LeftGCDMonoid b, LeftGCDMonoid c, LeftGCDMonoid d) => LeftGCDMonoid (a, b, c, d) Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonPrefix :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #stripCommonPrefix :: (a, b, c, d) -> (a, b, c, d) -> ((a, b, c, d), (a, b, c, d), (a, b, c, d)) Source #

class (Monoid m, RightReductive m) => RightGCDMonoid m where Source #

Class of monoids capable of finding the equivalent of greatest common divisor on the right side of two monoidal values. The following laws must be respected:

stripCommonSuffix a b == (a', b', s)
where s = commonSuffix a b
Just a' = stripSuffix p a
Just b' = stripSuffix p b
s == commonSuffix a b && a' <> s == a && b' <> s == b
where (a', b', s) = stripCommonSuffix a b

Furthermore, commonSuffix must return the unique greatest common suffix that contains, as its suffix, any other suffix x of both values:

not (x isSuffixOf a && x isSuffixOf b) || x isSuffixOf commonSuffix a b

and it cannot itself be a prefix of any other common suffix y of both values:

not (y isSuffixOf a && y isSuffixOf b && commonSuffix a b isPrefixOf y)

In addition, the commonSuffix operation must satisfy the following properties:

Idempotence

commonSuffix a a == a


Identity

commonSuffix mempty a == mempty

commonSuffix a mempty == mempty


Commutativity

commonSuffix a b == commonSuffix b a


Associativity

commonSuffix (commonSuffix a b) c
==
commonSuffix a (commonSuffix b c)


Minimal complete definition

Methods

commonSuffix :: m -> m -> m Source #

stripCommonSuffix :: m -> m -> (m, m, m) Source #

#### Instances

Instances details
 Source # O(suffixLength) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(suffixLength) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(m+n) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(suffixLength), except on GHCjs where it is O(m+n)Since: 1.0 Instance detailsDefined in Data.Monoid.GCD MethodsstripCommonSuffix :: Text -> Text -> (Text, Text, Text) Source # Source # O(m+n)Since: 1.0 Instance detailsDefined in Data.Monoid.GCD MethodsstripCommonSuffix :: Text -> Text -> (Text, Text, Text) Source # Source # O(1) Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: () -> () -> () Source #stripCommonSuffix :: () -> () -> ((), (), ()) Source # Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: Dual a -> Dual a -> Dual a Source #stripCommonSuffix :: Dual a -> Dual a -> (Dual a, Dual a, Dual a) Source # Source # O(1) Instance detailsDefined in Data.Monoid.GCD Methods Source # O(1) Instance detailsDefined in Data.Monoid.GCD Methods Eq a => RightGCDMonoid (Seq a) Source # O(suffixLength) Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: Seq a -> Seq a -> Seq a Source #stripCommonSuffix :: Seq a -> Seq a -> (Seq a, Seq a, Seq a) Source # Ord a => RightGCDMonoid (Set a) Source # O(m*log(n/m + 1)), m <= n Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: Set a -> Set a -> Set a Source #stripCommonSuffix :: Set a -> Set a -> (Set a, Set a, Set a) Source # Source # Instance detailsDefined in Data.Monoid.Instances.Concat MethodscommonSuffix :: Concat a -> Concat a -> Concat a Source #stripCommonSuffix :: Concat a -> Concat a -> (Concat a, Concat a, Concat a) Source # Source # Instance detailsDefined in Data.Monoid.Instances.Measured MethodscommonSuffix :: Measured a -> Measured a -> Measured a Source #stripCommonSuffix :: Measured a -> Measured a -> (Measured a, Measured a, Measured a) Source # Source # Instance detailsDefined in Data.Monoid.Instances.Positioned Methods Source # Instance detailsDefined in Data.Monoid.Instances.Positioned Methods Source # Instance detailsDefined in Data.Monoid.Instances.PrefixMemory MethodscommonSuffix :: Shadowed m -> Shadowed m -> Shadowed m Source #stripCommonSuffix :: Shadowed m -> Shadowed m -> (Shadowed m, Shadowed m, Shadowed m) Source # Eq a => RightGCDMonoid (Vector a) Source # O(suffixLength) Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: Vector a -> Vector a -> Vector a Source #stripCommonSuffix :: Vector a -> Vector a -> (Vector a, Vector a, Vector a) Source # Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: Maybe x -> Maybe x -> Maybe x Source #stripCommonSuffix :: Maybe x -> Maybe x -> (Maybe x, Maybe x, Maybe x) Source # Eq x => RightGCDMonoid [x] Source # O(m+n)Since: 1.0 Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: [x] -> [x] -> [x] Source #stripCommonSuffix :: [x] -> [x] -> ([x], [x], [x]) Source # (RightGCDMonoid a, RightGCDMonoid b) => RightGCDMonoid (Stateful a b) Source # Instance detailsDefined in Data.Monoid.Instances.Stateful MethodscommonSuffix :: Stateful a b -> Stateful a b -> Stateful a b Source #stripCommonSuffix :: Stateful a b -> Stateful a b -> (Stateful a b, Stateful a b, Stateful a b) Source # (RightGCDMonoid a, RightGCDMonoid b) => RightGCDMonoid (a, b) Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: (a, b) -> (a, b) -> (a, b) Source #stripCommonSuffix :: (a, b) -> (a, b) -> ((a, b), (a, b), (a, b)) Source # (RightGCDMonoid a, RightGCDMonoid b, RightGCDMonoid c) => RightGCDMonoid (a, b, c) Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #stripCommonSuffix :: (a, b, c) -> (a, b, c) -> ((a, b, c), (a, b, c), (a, b, c)) Source # (RightGCDMonoid a, RightGCDMonoid b, RightGCDMonoid c, RightGCDMonoid d) => RightGCDMonoid (a, b, c, d) Source # Instance detailsDefined in Data.Monoid.GCD MethodscommonSuffix :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #stripCommonSuffix :: (a, b, c, d) -> (a, b, c, d) -> ((a, b, c, d), (a, b, c, d), (a, b, c, d)) Source #

class (Monoid m, LeftReductive m, RightReductive m) => OverlappingGCDMonoid m where Source #

Class of monoids for which the greatest overlap can be found between any two values, such that

a == a' <> overlap a b
b == overlap a b <> b'

The methods must satisfy the following laws:

stripOverlap a b == (stripSuffixOverlap b a, overlap a b, stripPrefixOverlap a b)
stripSuffixOverlap b a <> overlap a b == a
overlap a b <> stripPrefixOverlap a b == b

The result of overlap a b must be the largest prefix of b and suffix of a, in the sense that it contains any other value x that satifies the property (x isPrefixOf b) && (x isSuffixOf a):

∀x. (x isPrefixOf b && x isSuffixOf a) => (x isPrefixOf overlap a b && x isSuffixOf overlap a b)

and it must be unique so there's no other value y that satisfies the same properties for every such x:

∀y. ((∀x. (x isPrefixOf b && x isSuffixOf a) => x isPrefixOf y && x isSuffixOf y) => y == overlap a b)

In addition, the overlap operation must satisfy the following properties:

Idempotence

overlap a a == a


Identity

overlap mempty a == mempty

overlap a mempty == mempty


Since: 1.0

Minimal complete definition

stripOverlap

Methods

stripPrefixOverlap :: m -> m -> m Source #

stripSuffixOverlap :: m -> m -> m Source #

overlap :: m -> m -> m Source #

stripOverlap :: m -> m -> (m, m, m) Source #

#### Instances

Instances details
 Source # O(min(m,n)^2) Instance detailsDefined in Data.Monoid.Monus Methods Source # O(m*n) Instance detailsDefined in Data.Monoid.Monus Methods Source # O(m+n) Instance detailsDefined in Data.Monoid.Monus Methods Source # O(min(m,n)^2) Instance detailsDefined in Data.Monoid.Monus MethodsstripOverlap :: Text -> Text -> (Text, Text, Text) Source # Source # O(m*n) Instance detailsDefined in Data.Monoid.Monus MethodsstripOverlap :: Text -> Text -> (Text, Text, Text) Source # Source # O(1) Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: () -> () -> () Source #stripSuffixOverlap :: () -> () -> () Source #overlap :: () -> () -> () Source #stripOverlap :: () -> () -> ((), (), ()) Source # Source # Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: Dual a -> Dual a -> Dual a Source #stripSuffixOverlap :: Dual a -> Dual a -> Dual a Source #overlap :: Dual a -> Dual a -> Dual a Source #stripOverlap :: Dual a -> Dual a -> (Dual a, Dual a, Dual a) Source # Source # O(1) Instance detailsDefined in Data.Monoid.Monus Methods Source # O(1) Instance detailsDefined in Data.Monoid.Monus Methods Eq a => OverlappingGCDMonoid (IntMap a) Source # O(m+n) Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: IntMap a -> IntMap a -> IntMap a Source #stripSuffixOverlap :: IntMap a -> IntMap a -> IntMap a Source #overlap :: IntMap a -> IntMap a -> IntMap a Source #stripOverlap :: IntMap a -> IntMap a -> (IntMap a, IntMap a, IntMap a) Source # Eq a => OverlappingGCDMonoid (Seq a) Source # O(min(m,n)^2) Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: Seq a -> Seq a -> Seq a Source #stripSuffixOverlap :: Seq a -> Seq a -> Seq a Source #overlap :: Seq a -> Seq a -> Seq a Source #stripOverlap :: Seq a -> Seq a -> (Seq a, Seq a, Seq a) Source # Ord a => OverlappingGCDMonoid (Set a) Source # O(m*log(nm + 1)), m <= n/ Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: Set a -> Set a -> Set a Source #stripSuffixOverlap :: Set a -> Set a -> Set a Source #overlap :: Set a -> Set a -> Set a Source #stripOverlap :: Set a -> Set a -> (Set a, Set a, Set a) Source # Eq a => OverlappingGCDMonoid (Vector a) Source # O(min(m,n)^2) Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: Vector a -> Vector a -> Vector a Source #stripSuffixOverlap :: Vector a -> Vector a -> Vector a Source #overlap :: Vector a -> Vector a -> Vector a Source #stripOverlap :: Vector a -> Vector a -> (Vector a, Vector a, Vector a) Source # Source # Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: Maybe a -> Maybe a -> Maybe a Source #stripSuffixOverlap :: Maybe a -> Maybe a -> Maybe a Source #overlap :: Maybe a -> Maybe a -> Maybe a Source #stripOverlap :: Maybe a -> Maybe a -> (Maybe a, Maybe a, Maybe a) Source # Eq a => OverlappingGCDMonoid [a] Source # O(m*n) Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: [a] -> [a] -> [a] Source #stripSuffixOverlap :: [a] -> [a] -> [a] Source #overlap :: [a] -> [a] -> [a] Source #stripOverlap :: [a] -> [a] -> ([a], [a], [a]) Source # (Ord k, Eq v) => OverlappingGCDMonoid (Map k v) Source # O(m+n) Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: Map k v -> Map k v -> Map k v Source #stripSuffixOverlap :: Map k v -> Map k v -> Map k v Source #overlap :: Map k v -> Map k v -> Map k v Source #stripOverlap :: Map k v -> Map k v -> (Map k v, Map k v, Map k v) Source # Source # Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: (a, b) -> (a, b) -> (a, b) Source #stripSuffixOverlap :: (a, b) -> (a, b) -> (a, b) Source #overlap :: (a, b) -> (a, b) -> (a, b) Source #stripOverlap :: (a, b) -> (a, b) -> ((a, b), (a, b), (a, b)) Source # Source # Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #stripSuffixOverlap :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #overlap :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #stripOverlap :: (a, b, c) -> (a, b, c) -> ((a, b, c), (a, b, c), (a, b, c)) Source # Source # Instance detailsDefined in Data.Monoid.Monus MethodsstripPrefixOverlap :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #stripSuffixOverlap :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #overlap :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #stripOverlap :: (a, b, c, d) -> (a, b, c, d) -> ((a, b, c, d), (a, b, c, d), (a, b, c, d)) Source #

Class of commutative GCD monoids with symmetric distributivity.

In addition to the general GCDMonoid laws, instances of this class must also satisfy the following laws:

gcd (a <> b) (a <> c) == a <> gcd b c

gcd (a <> c) (b <> c) == gcd a b <> c


#### Instances

Instances details
 Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Ord a => DistributiveGCDMonoid (Set a) Source # Instance detailsDefined in Data.Monoid.GCD

Class of left GCD monoids with left-distributivity.

In addition to the general LeftGCDMonoid laws, instances of this class must also satisfy the following law:

commonPrefix (a <> b) (a <> c) == a <> commonPrefix b c


#### Instances

Instances details
 Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Eq a => LeftDistributiveGCDMonoid [a] Source # Instance detailsDefined in Data.Monoid.GCD

Class of right GCD monoids with right-distributivity.

In addition to the general RightGCDMonoid laws, instances of this class must also satisfy the following law:

commonSuffix (a <> c) (b <> c) == commonSuffix a b <> c


#### Instances

Instances details
 Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Source # Instance detailsDefined in Data.Monoid.GCD Eq a => RightDistributiveGCDMonoid [a] Source # Instance detailsDefined in Data.Monoid.GCD