POrd Bool # | |
|
POrd Ordering # | |
|
POrd () # | |
Associated Types type Compare () (arg :: ()) (arg :: ()) :: Ordering # type (() :< (arg :: ())) (arg :: ()) :: Bool # type (() :<= (arg :: ())) (arg :: ()) :: Bool # type (() :> (arg :: ())) (arg :: ()) :: Bool # type (() :>= (arg :: ())) (arg :: ()) :: Bool # type Max () (arg :: ()) (arg :: ()) :: a # type Min () (arg :: ()) (arg :: ()) :: a # |
POrd [a] # | |
Associated Types type Compare [a] (arg :: [a]) (arg :: [a]) :: Ordering # type ([a] :< (arg :: [a])) (arg :: [a]) :: Bool # type ([a] :<= (arg :: [a])) (arg :: [a]) :: Bool # type ([a] :> (arg :: [a])) (arg :: [a]) :: Bool # type ([a] :>= (arg :: [a])) (arg :: [a]) :: Bool # type Max [a] (arg :: [a]) (arg :: [a]) :: a # type Min [a] (arg :: [a]) (arg :: [a]) :: a # |
POrd (Maybe a) # | |
|
POrd (NonEmpty a) # | |
|
POrd (Either a b) # | |
|
POrd (a, b) # | |
Associated Types type Compare (a, b) (arg :: (a, b)) (arg :: (a, b)) :: Ordering # type ((a, b) :< (arg :: (a, b))) (arg :: (a, b)) :: Bool # type ((a, b) :<= (arg :: (a, b))) (arg :: (a, b)) :: Bool # type ((a, b) :> (arg :: (a, b))) (arg :: (a, b)) :: Bool # type ((a, b) :>= (arg :: (a, b))) (arg :: (a, b)) :: Bool # type Max (a, b) (arg :: (a, b)) (arg :: (a, b)) :: a # type Min (a, b) (arg :: (a, b)) (arg :: (a, b)) :: a # |
POrd (a, b, c) # | |
Associated Types type Compare (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: Ordering # type ((a, b, c) :< (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type ((a, b, c) :<= (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type ((a, b, c) :> (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type ((a, b, c) :>= (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type Max (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: a # type Min (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: a # |
POrd (a, b, c, d) # | |
Associated Types type Compare (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: Ordering # type ((a, b, c, d) :< (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type ((a, b, c, d) :<= (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type ((a, b, c, d) :> (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type ((a, b, c, d) :>= (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type Max (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: a # type Min (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: a # |
POrd (a, b, c, d, e) # | |
Associated Types type Compare (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: Ordering # type ((a, b, c, d, e) :< (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type ((a, b, c, d, e) :<= (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type ((a, b, c, d, e) :> (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type ((a, b, c, d, e) :>= (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type Max (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: a # type Min (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: a # |
POrd (a, b, c, d, e, f) # | |
Associated Types type Compare (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: Ordering # type ((a, b, c, d, e, f) :< (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type ((a, b, c, d, e, f) :<= (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type ((a, b, c, d, e, f) :> (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type ((a, b, c, d, e, f) :>= (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type Max (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: a # type Min (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: a # |
POrd (a, b, c, d, e, f, g) # | |
Associated Types type Compare (a, b, c, d, e, f, g) (arg :: (a, b, c, d, e, f, g)) (arg :: (a, b, c, d, e, f, g)) :: Ordering # type ((a, b, c, d, e, f, g) :< (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type ((a, b, c, d, e, f, g) :<= (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type ((a, b, c, d, e, f, g) :> (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type ((a, b, c, d, e, f, g) :>= (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type Max (a, b, c, d, e, f, g) (arg :: (a, b, c, d, e, f, g)) (arg :: (a, b, c, d, e, f, g)) :: a # type Min (a, b, c, d, e, f, g) (arg :: (a, b, c, d, e, f, g)) (arg :: (a, b, c, d, e, f, g)) :: a # |