0 | module Control.Ord
 1 |
 2 | %default total
 3 |
 4 | namespace Semigroup
 5 |
 6 |   public export
 7 |   [Maximum] Ord a => Semigroup a where
 8 |     (<+>) = max
 9 |
10 |   public export
11 |   [Minimum] Ord a => Semigroup a where
12 |     (<+>) = min
13 |