DA.Semigroup
Data Types
data Max a
Semigroup under max
> Max 23 <> Max 42
Max 42
Max a
- instance
Orda=>Semigroup(Maxa) - instance
Eqa=>Eq(Maxa) - instance
Orda=>Ord(Maxa) - instance
Showa=>Show(Maxa)
data Min a
Semigroup under min
> Min 23 <> Min 42
Min 23
Min a
- instance
Orda=>Semigroup(Mina) - instance
Eqa=>Eq(Mina) - instance
Orda=>Ord(Mina) - instance
Showa=>Show(Mina)