Module DA.Semigroup

Data Types

data Max a

Semigroup under max

> Max 23 <> Max 42
Max 42

Max a

instance Ord a => Semigroup (Max a)

instance Eq a => Eq (Max a)

instance Ord a => Ord (Max a)

instance Show a => Show (Max a)

data Min a

Semigroup under min

> Min 23 <> Min 42
Min 23

Min a

instance Ord a => Semigroup (Min a)

instance Eq a => Eq (Min a)

instance Ord a => Ord (Min a)

instance Show a => Show (Min a)