Data.Monoid.Same

Monoidal witness that all items in a bag are the same.

Documentation

data Same a

Monoid under every element being equal.

Constructors

DegenerateSame

Witness that all of no items are equal

NotSame a a

Witness that two items are not equal

Same a

Witness of item that everything is equal to

Instances

Eq a => Eq (Same a)

Defined in Data.Monoid.Same

Methods

(==) :: Same a -> Same a -> Bool

(/=) :: Same a -> Same a -> Bool

Ord a => Ord (Same a)

Defined in Data.Monoid.Same

Methods

compare :: Same a -> Same a -> Ordering

(<) :: Same a -> Same a -> Bool

(<=) :: Same a -> Same a -> Bool

(>) :: Same a -> Same a -> Bool

(>=) :: Same a -> Same a -> Bool

max :: Same a -> Same a -> Same a

min :: Same a -> Same a -> Same a

Show a => Show (Same a)

Defined in Data.Monoid.Same

Methods

showsPrec :: Int -> Same a -> ShowS

show :: Same a -> String

showList :: [Same a] -> ShowS

Eq a => Semigroup (Same a)

Defined in Data.Monoid.Same

Methods

(<>) :: Same a -> Same a -> Same a

sconcat :: NonEmpty (Same a) -> Same a

stimes :: Integral b => b -> Same a -> Same a

Eq a => Monoid (Same a)

Defined in Data.Monoid.Same

Methods

mempty :: Same a

mappend :: Same a -> Same a -> Same a

mconcat :: [Same a] -> Same a

allSame :: (Eq a, Foldable f) => f a -> Same a

What is every element of this foldable?

allSame_ :: (Eq a, Foldable f) => f a -> Bool

Is every element of this foldable equal?