Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Singletons.Prelude.Ord

Contents

Defunctionalization symbols

Description

Defines the promoted version of Ord, POrd, and the singleton version, SOrd.

Synopsis

Documentation

class (PEq (Proxy :: Proxy a), kproxy ~ Proxy) => POrd kproxy Source #

Associated Types

type Compare (arg :: a) (arg :: a) :: Ordering Source #

type (arg :: a) :< (arg :: a) :: Bool infix 4 Source #

type (arg :: a) :<= (arg :: a) :: Bool infix 4 Source #

type (arg :: a) :> (arg :: a) :: Bool infix 4 Source #

type (arg :: a) :>= (arg :: a) :: Bool infix 4 Source #

type Max (arg :: a) (arg :: a) :: a Source #

type Min (arg :: a) (arg :: a) :: a Source #

Instances

POrd Bool (Proxy * Bool) Source #
Associated Types type Compare (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: Ordering Source # type ((Proxy * Bool) :< (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool Source # type ((Proxy * Bool) :<= (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool Source # type ((Proxy * Bool) :> (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool Source # type ((Proxy * Bool) :>= (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool Source # type Max (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: a Source # type Min (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: a Source #
POrd Ordering (Proxy * Ordering) Source #
Associated Types type Compare (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: Ordering Source # type ((Proxy * Ordering) :< (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool Source # type ((Proxy * Ordering) :<= (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool Source # type ((Proxy * Ordering) :> (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool Source # type ((Proxy * Ordering) :>= (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool Source # type Max (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: a Source # type Min (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: a Source #
POrd () (Proxy * ()) Source #
Associated Types type Compare (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: Ordering Source # type ((Proxy * ()) :< (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool Source # type ((Proxy * ()) :<= (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool Source # type ((Proxy * ()) :> (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool Source # type ((Proxy * ()) :>= (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool Source # type Max (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: a Source # type Min (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: a Source #
POrd [a0] (Proxy * [a0]) Source #
Associated Types type Compare (Proxy * [a0]) (arg :: Proxy * [a0]) (arg :: Proxy * [a0]) :: Ordering Source # type ((Proxy * [a0]) :< (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool Source # type ((Proxy * [a0]) :<= (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool Source # type ((Proxy * [a0]) :> (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool Source # type ((Proxy * [a0]) :>= (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool Source # type Max (Proxy * [a0]) (arg :: Proxy * [a0]) (arg :: Proxy * [a0]) :: a Source # type Min (Proxy * [a0]) (arg :: Proxy * [a0]) (arg :: Proxy * [a0]) :: a Source #
POrd (Maybe a0) (Proxy * (Maybe a0)) Source #
Associated Types type Compare (Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) :: Ordering Source # type ((Proxy * (Maybe a0)) :< (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool Source # type ((Proxy * (Maybe a0)) :<= (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool Source # type ((Proxy * (Maybe a0)) :> (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool Source # type ((Proxy * (Maybe a0)) :>= (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool Source # type Max (Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) :: a Source # type Min (Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) :: a Source #
POrd (NonEmpty a0) (Proxy * (NonEmpty a0)) Source #
Associated Types type Compare (Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) :: Ordering Source # type ((Proxy * (NonEmpty a0)) :< (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool Source # type ((Proxy * (NonEmpty a0)) :<= (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool Source # type ((Proxy * (NonEmpty a0)) :> (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool Source # type ((Proxy * (NonEmpty a0)) :>= (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool Source # type Max (Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) :: a Source # type Min (Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) :: a Source #
POrd (Either a0 b0) (Proxy * (Either a0 b0)) Source #
Associated Types type Compare (Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) :: Ordering Source # type ((Proxy * (Either a0 b0)) :< (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool Source # type ((Proxy * (Either a0 b0)) :<= (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool Source # type ((Proxy * (Either a0 b0)) :> (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool Source # type ((Proxy * (Either a0 b0)) :>= (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool Source # type Max (Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) :: a Source # type Min (Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) :: a Source #
POrd (a0, b0) (Proxy * (a0, b0)) Source #
Associated Types type Compare (Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) :: Ordering Source # type ((Proxy * (a0, b0)) :< (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool Source # type ((Proxy * (a0, b0)) :<= (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool Source # type ((Proxy * (a0, b0)) :> (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool Source # type ((Proxy * (a0, b0)) :>= (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool Source # type Max (Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) :: a Source # type Min (Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) :: a Source #
POrd (a0, b0, c0) (Proxy * (a0, b0, c0)) Source #
Associated Types type Compare (Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) :: Ordering Source # type ((Proxy * (a0, b0, c0)) :< (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool Source # type ((Proxy * (a0, b0, c0)) :<= (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool Source # type ((Proxy * (a0, b0, c0)) :> (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool Source # type ((Proxy * (a0, b0, c0)) :>= (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool Source # type Max (Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) :: a Source # type Min (Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) :: a Source #
POrd (a0, b0, c0, d0) (Proxy * (a0, b0, c0, d0)) Source #
Associated Types type Compare (Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) :: Ordering Source # type ((Proxy * (a0, b0, c0, d0)) :< (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0)) :<= (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0)) :> (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0)) :>= (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool Source # type Max (Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) :: a Source # type Min (Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) :: a Source #
POrd (a0, b0, c0, d0, e0) (Proxy * (a0, b0, c0, d0, e0)) Source #
Associated Types type Compare (Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Ordering Source # type ((Proxy * (a0, b0, c0, d0, e0)) :< (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0)) :<= (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0)) :> (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0)) :>= (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool Source # type Max (Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: a Source # type Min (Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: a Source #
POrd (a0, b0, c0, d0, e0, f0) (Proxy * (a0, b0, c0, d0, e0, f0)) Source #
Associated Types type Compare (Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Ordering Source # type ((Proxy * (a0, b0, c0, d0, e0, f0)) :< (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0, f0)) :<= (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0, f0)) :> (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0, f0)) :>= (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool Source # type Max (Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: a Source # type Min (Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: a Source #
POrd (a0, b0, c0, d0, e0, f0, g0) (Proxy * (a0, b0, c0, d0, e0, f0, g0)) Source #
Associated Types type Compare (Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Ordering Source # type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :< (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :<= (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :> (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool Source # type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :>= (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool Source # type Max (Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: a Source # type Min (Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: a Source #

class SEq a => SOrd a where Source #

Methods

sCompare :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #

(%:<) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 Source #

(%:<=) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 Source #

(%:>) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 Source #

(%:>=) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 Source #

sMax :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #

sMin :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #

sCompare :: forall t t. (Apply (Apply CompareSym0 t) t ~ Apply (Apply Compare_1627683010Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #

(%:<) :: forall t t. (Apply (Apply (:<$) t) t ~ Apply (Apply TFHelper_1627683043Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 Source #

(%:<=) :: forall t t. (Apply (Apply (:<=$) t) t ~ Apply (Apply TFHelper_1627683076Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 Source #

(%:>) :: forall t t. (Apply (Apply (:>$) t) t ~ Apply (Apply TFHelper_1627683109Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 Source #

(%:>=) :: forall t t. (Apply (Apply (:>=$) t) t ~ Apply (Apply TFHelper_1627683142Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 Source #

sMax :: forall t t. (Apply (Apply MaxSym0 t) t ~ Apply (Apply Max_1627683175Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #

sMin :: forall t t. (Apply (Apply MinSym0 t) t ~ Apply (Apply Min_1627683208Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #

Instances

SOrd Bool Source #
Methods sCompare :: Sing Bool t -> Sing Bool t -> Sing Ordering (Apply Bool Ordering (Apply Bool (TyFun Bool Ordering -> Type) (CompareSym0 Bool) t) t) Source # (%:<) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:<$) Bool) t) t) Source # (%:<=) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:<=$) Bool) t) t) Source # (%:>) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:>$) Bool) t) t) Source # (%:>=) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:>=$) Bool) t) t) Source # sMax :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) (MaxSym0 Bool) t) t) Source # sMin :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) (MinSym0 Bool) t) t) Source #
SOrd Ordering Source #
Methods sCompare :: Sing Ordering t -> Sing Ordering t -> Sing Ordering (Apply Ordering Ordering (Apply Ordering (TyFun Ordering Ordering -> Type) (CompareSym0 Ordering) t) t) Source # (%:<) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:<$) Ordering) t) t) Source # (%:<=) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:<=$) Ordering) t) t) Source # (%:>) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:>$) Ordering) t) t) Source # (%:>=) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:>=$) Ordering) t) t) Source # sMax :: Sing Ordering t -> Sing Ordering t -> Sing Ordering (Apply Ordering Ordering (Apply Ordering (TyFun Ordering Ordering -> Type) (MaxSym0 Ordering) t) t) Source # sMin :: Sing Ordering t -> Sing Ordering t -> Sing Ordering (Apply Ordering Ordering (Apply Ordering (TyFun Ordering Ordering -> Type) (MinSym0 Ordering) t) t) Source #
SOrd () Source #
Methods sCompare :: Sing () t -> Sing () t -> Sing Ordering (Apply () Ordering (Apply () (TyFun () Ordering -> Type) (CompareSym0 ()) t) t) Source # (%:<) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:<$) ()) t) t) Source # (%:<=) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:<=$) ()) t) t) Source # (%:>) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:>$) ()) t) t) Source # (%:>=) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:>=$) ()) t) t) Source # sMax :: Sing () t -> Sing () t -> Sing () (Apply () () (Apply () (TyFun () () -> Type) (MaxSym0 ()) t) t) Source # sMin :: Sing () t -> Sing () t -> Sing () (Apply () () (Apply () (TyFun () () -> Type) (MinSym0 ()) t) t) Source #
(SOrd a0, SOrd [a0]) => SOrd [a0] Source #
Methods sCompare :: Sing [a0] t -> Sing [a0] t -> Sing Ordering (Apply [a0] Ordering (Apply [a0] (TyFun [a0] Ordering -> Type) (CompareSym0 [a0]) t) t) Source # (%:<) :: Sing [a0] t -> Sing [a0] t -> Sing Bool (Apply [a0] Bool (Apply [a0] (TyFun [a0] Bool -> Type) ((:<$) [a0]) t) t) Source # (%:<=) :: Sing [a0] t -> Sing [a0] t -> Sing Bool (Apply [a0] Bool (Apply [a0] (TyFun [a0] Bool -> Type) ((:<=$) [a0]) t) t) Source # (%:>) :: Sing [a0] t -> Sing [a0] t -> Sing Bool (Apply [a0] Bool (Apply [a0] (TyFun [a0] Bool -> Type) ((:>$) [a0]) t) t) Source # (%:>=) :: Sing [a0] t -> Sing [a0] t -> Sing Bool (Apply [a0] Bool (Apply [a0] (TyFun [a0] Bool -> Type) ((:>=$) [a0]) t) t) Source # sMax :: Sing [a0] t -> Sing [a0] t -> Sing [a0] (Apply [a0] [a0] (Apply [a0] (TyFun [a0] [a0] -> Type) (MaxSym0 [a0]) t) t) Source # sMin :: Sing [a0] t -> Sing [a0] t -> Sing [a0] (Apply [a0] [a0] (Apply [a0] (TyFun [a0] [a0] -> Type) (MinSym0 [a0]) t) t) Source #
SOrd a0 => SOrd (Maybe a0) Source #
Methods sCompare :: Sing (Maybe a0) t -> Sing (Maybe a0) t -> Sing Ordering (Apply (Maybe a0) Ordering (Apply (Maybe a0) (TyFun (Maybe a0) Ordering -> Type) (CompareSym0 (Maybe a0)) t) t) Source # (%:<) :: Sing (Maybe a0) t -> Sing (Maybe a0) t -> Sing Bool (Apply (Maybe a0) Bool (Apply (Maybe a0) (TyFun (Maybe a0) Bool -> Type) ((:<$) (Maybe a0)) t) t) Source # (%:<=) :: Sing (Maybe a0) t -> Sing (Maybe a0) t -> Sing Bool (Apply (Maybe a0) Bool (Apply (Maybe a0) (TyFun (Maybe a0) Bool -> Type) ((:<=$) (Maybe a0)) t) t) Source # (%:>) :: Sing (Maybe a0) t -> Sing (Maybe a0) t -> Sing Bool (Apply (Maybe a0) Bool (Apply (Maybe a0) (TyFun (Maybe a0) Bool -> Type) ((:>$) (Maybe a0)) t) t) Source # (%:>=) :: Sing (Maybe a0) t -> Sing (Maybe a0) t -> Sing Bool (Apply (Maybe a0) Bool (Apply (Maybe a0) (TyFun (Maybe a0) Bool -> Type) ((:>=$) (Maybe a0)) t) t) Source # sMax :: Sing (Maybe a0) t -> Sing (Maybe a0) t -> Sing (Maybe a0) (Apply (Maybe a0) (Maybe a0) (Apply (Maybe a0) (TyFun (Maybe a0) (Maybe a0) -> Type) (MaxSym0 (Maybe a0)) t) t) Source # sMin :: Sing (Maybe a0) t -> Sing (Maybe a0) t -> Sing (Maybe a0) (Apply (Maybe a0) (Maybe a0) (Apply (Maybe a0) (TyFun (Maybe a0) (Maybe a0) -> Type) (MinSym0 (Maybe a0)) t) t) Source #
(SOrd a0, SOrd [a0]) => SOrd (NonEmpty a0) Source #
Methods sCompare :: Sing (NonEmpty a0) t -> Sing (NonEmpty a0) t -> Sing Ordering (Apply (NonEmpty a0) Ordering (Apply (NonEmpty a0) (TyFun (NonEmpty a0) Ordering -> Type) (CompareSym0 (NonEmpty a0)) t) t) Source # (%:<) :: Sing (NonEmpty a0) t -> Sing (NonEmpty a0) t -> Sing Bool (Apply (NonEmpty a0) Bool (Apply (NonEmpty a0) (TyFun (NonEmpty a0) Bool -> Type) ((:<$) (NonEmpty a0)) t) t) Source # (%:<=) :: Sing (NonEmpty a0) t -> Sing (NonEmpty a0) t -> Sing Bool (Apply (NonEmpty a0) Bool (Apply (NonEmpty a0) (TyFun (NonEmpty a0) Bool -> Type) ((:<=$) (NonEmpty a0)) t) t) Source # (%:>) :: Sing (NonEmpty a0) t -> Sing (NonEmpty a0) t -> Sing Bool (Apply (NonEmpty a0) Bool (Apply (NonEmpty a0) (TyFun (NonEmpty a0) Bool -> Type) ((:>$) (NonEmpty a0)) t) t) Source # (%:>=) :: Sing (NonEmpty a0) t -> Sing (NonEmpty a0) t -> Sing Bool (Apply (NonEmpty a0) Bool (Apply (NonEmpty a0) (TyFun (NonEmpty a0) Bool -> Type) ((:>=$) (NonEmpty a0)) t) t) Source # sMax :: Sing (NonEmpty a0) t -> Sing (NonEmpty a0) t -> Sing (NonEmpty a0) (Apply (NonEmpty a0) (NonEmpty a0) (Apply (NonEmpty a0) (TyFun (NonEmpty a0) (NonEmpty a0) -> Type) (MaxSym0 (NonEmpty a0)) t) t) Source # sMin :: Sing (NonEmpty a0) t -> Sing (NonEmpty a0) t -> Sing (NonEmpty a0) (Apply (NonEmpty a0) (NonEmpty a0) (Apply (NonEmpty a0) (TyFun (NonEmpty a0) (NonEmpty a0) -> Type) (MinSym0 (NonEmpty a0)) t) t) Source #
(SOrd a0, SOrd b0) => SOrd (Either a0 b0) Source #
Methods sCompare :: Sing (Either a0 b0) t -> Sing (Either a0 b0) t -> Sing Ordering (Apply (Either a0 b0) Ordering (Apply (Either a0 b0) (TyFun (Either a0 b0) Ordering -> Type) (CompareSym0 (Either a0 b0)) t) t) Source # (%:<) :: Sing (Either a0 b0) t -> Sing (Either a0 b0) t -> Sing Bool (Apply (Either a0 b0) Bool (Apply (Either a0 b0) (TyFun (Either a0 b0) Bool -> Type) ((:<$) (Either a0 b0)) t) t) Source # (%:<=) :: Sing (Either a0 b0) t -> Sing (Either a0 b0) t -> Sing Bool (Apply (Either a0 b0) Bool (Apply (Either a0 b0) (TyFun (Either a0 b0) Bool -> Type) ((:<=$) (Either a0 b0)) t) t) Source # (%:>) :: Sing (Either a0 b0) t -> Sing (Either a0 b0) t -> Sing Bool (Apply (Either a0 b0) Bool (Apply (Either a0 b0) (TyFun (Either a0 b0) Bool -> Type) ((:>$) (Either a0 b0)) t) t) Source # (%:>=) :: Sing (Either a0 b0) t -> Sing (Either a0 b0) t -> Sing Bool (Apply (Either a0 b0) Bool (Apply (Either a0 b0) (TyFun (Either a0 b0) Bool -> Type) ((:>=$) (Either a0 b0)) t) t) Source # sMax :: Sing (Either a0 b0) t -> Sing (Either a0 b0) t -> Sing (Either a0 b0) (Apply (Either a0 b0) (Either a0 b0) (Apply (Either a0 b0) (TyFun (Either a0 b0) (Either a0 b0) -> Type) (MaxSym0 (Either a0 b0)) t) t) Source # sMin :: Sing (Either a0 b0) t -> Sing (Either a0 b0) t -> Sing (Either a0 b0) (Apply (Either a0 b0) (Either a0 b0) (Apply (Either a0 b0) (TyFun (Either a0 b0) (Either a0 b0) -> Type) (MinSym0 (Either a0 b0)) t) t) Source #
(SOrd a0, SOrd b0) => SOrd (a0, b0) Source #
Methods sCompare :: Sing (a0, b0) t -> Sing (a0, b0) t -> Sing Ordering (Apply (a0, b0) Ordering (Apply (a0, b0) (TyFun (a0, b0) Ordering -> Type) (CompareSym0 (a0, b0)) t) t) Source # (%:<) :: Sing (a0, b0) t -> Sing (a0, b0) t -> Sing Bool (Apply (a0, b0) Bool (Apply (a0, b0) (TyFun (a0, b0) Bool -> Type) ((:<$) (a0, b0)) t) t) Source # (%:<=) :: Sing (a0, b0) t -> Sing (a0, b0) t -> Sing Bool (Apply (a0, b0) Bool (Apply (a0, b0) (TyFun (a0, b0) Bool -> Type) ((:<=$) (a0, b0)) t) t) Source # (%:>) :: Sing (a0, b0) t -> Sing (a0, b0) t -> Sing Bool (Apply (a0, b0) Bool (Apply (a0, b0) (TyFun (a0, b0) Bool -> Type) ((:>$) (a0, b0)) t) t) Source # (%:>=) :: Sing (a0, b0) t -> Sing (a0, b0) t -> Sing Bool (Apply (a0, b0) Bool (Apply (a0, b0) (TyFun (a0, b0) Bool -> Type) ((:>=$) (a0, b0)) t) t) Source # sMax :: Sing (a0, b0) t -> Sing (a0, b0) t -> Sing (a0, b0) (Apply (a0, b0) (a0, b0) (Apply (a0, b0) (TyFun (a0, b0) (a0, b0) -> Type) (MaxSym0 (a0, b0)) t) t) Source # sMin :: Sing (a0, b0) t -> Sing (a0, b0) t -> Sing (a0, b0) (Apply (a0, b0) (a0, b0) (Apply (a0, b0) (TyFun (a0, b0) (a0, b0) -> Type) (MinSym0 (a0, b0)) t) t) Source #
(SOrd a0, SOrd b0, SOrd c0) => SOrd (a0, b0, c0) Source #
Methods sCompare :: Sing (a0, b0, c0) t -> Sing (a0, b0, c0) t -> Sing Ordering (Apply (a0, b0, c0) Ordering (Apply (a0, b0, c0) (TyFun (a0, b0, c0) Ordering -> Type) (CompareSym0 (a0, b0, c0)) t) t) Source # (%:<) :: Sing (a0, b0, c0) t -> Sing (a0, b0, c0) t -> Sing Bool (Apply (a0, b0, c0) Bool (Apply (a0, b0, c0) (TyFun (a0, b0, c0) Bool -> Type) ((:<$) (a0, b0, c0)) t) t) Source # (%:<=) :: Sing (a0, b0, c0) t -> Sing (a0, b0, c0) t -> Sing Bool (Apply (a0, b0, c0) Bool (Apply (a0, b0, c0) (TyFun (a0, b0, c0) Bool -> Type) ((:<=$) (a0, b0, c0)) t) t) Source # (%:>) :: Sing (a0, b0, c0) t -> Sing (a0, b0, c0) t -> Sing Bool (Apply (a0, b0, c0) Bool (Apply (a0, b0, c0) (TyFun (a0, b0, c0) Bool -> Type) ((:>$) (a0, b0, c0)) t) t) Source # (%:>=) :: Sing (a0, b0, c0) t -> Sing (a0, b0, c0) t -> Sing Bool (Apply (a0, b0, c0) Bool (Apply (a0, b0, c0) (TyFun (a0, b0, c0) Bool -> Type) ((:>=$) (a0, b0, c0)) t) t) Source # sMax :: Sing (a0, b0, c0) t -> Sing (a0, b0, c0) t -> Sing (a0, b0, c0) (Apply (a0, b0, c0) (a0, b0, c0) (Apply (a0, b0, c0) (TyFun (a0, b0, c0) (a0, b0, c0) -> Type) (MaxSym0 (a0, b0, c0)) t) t) Source # sMin :: Sing (a0, b0, c0) t -> Sing (a0, b0, c0) t -> Sing (a0, b0, c0) (Apply (a0, b0, c0) (a0, b0, c0) (Apply (a0, b0, c0) (TyFun (a0, b0, c0) (a0, b0, c0) -> Type) (MinSym0 (a0, b0, c0)) t) t) Source #
(SOrd a0, SOrd b0, SOrd c0, SOrd d0) => SOrd (a0, b0, c0, d0) Source #
Methods sCompare :: Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) t -> Sing Ordering (Apply (a0, b0, c0, d0) Ordering (Apply (a0, b0, c0, d0) (TyFun (a0, b0, c0, d0) Ordering -> Type) (CompareSym0 (a0, b0, c0, d0)) t) t) Source # (%:<) :: Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) t -> Sing Bool (Apply (a0, b0, c0, d0) Bool (Apply (a0, b0, c0, d0) (TyFun (a0, b0, c0, d0) Bool -> Type) ((:<$) (a0, b0, c0, d0)) t) t) Source # (%:<=) :: Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) t -> Sing Bool (Apply (a0, b0, c0, d0) Bool (Apply (a0, b0, c0, d0) (TyFun (a0, b0, c0, d0) Bool -> Type) ((:<=$) (a0, b0, c0, d0)) t) t) Source # (%:>) :: Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) t -> Sing Bool (Apply (a0, b0, c0, d0) Bool (Apply (a0, b0, c0, d0) (TyFun (a0, b0, c0, d0) Bool -> Type) ((:>$) (a0, b0, c0, d0)) t) t) Source # (%:>=) :: Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) t -> Sing Bool (Apply (a0, b0, c0, d0) Bool (Apply (a0, b0, c0, d0) (TyFun (a0, b0, c0, d0) Bool -> Type) ((:>=$) (a0, b0, c0, d0)) t) t) Source # sMax :: Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) (Apply (a0, b0, c0, d0) (a0, b0, c0, d0) (Apply (a0, b0, c0, d0) (TyFun (a0, b0, c0, d0) (a0, b0, c0, d0) -> Type) (MaxSym0 (a0, b0, c0, d0)) t) t) Source # sMin :: Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) t -> Sing (a0, b0, c0, d0) (Apply (a0, b0, c0, d0) (a0, b0, c0, d0) (Apply (a0, b0, c0, d0) (TyFun (a0, b0, c0, d0) (a0, b0, c0, d0) -> Type) (MinSym0 (a0, b0, c0, d0)) t) t) Source #
(SOrd a0, SOrd b0, SOrd c0, SOrd d0, SOrd e0) => SOrd (a0, b0, c0, d0, e0) Source #
Methods sCompare :: Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) t -> Sing Ordering (Apply (a0, b0, c0, d0, e0) Ordering (Apply (a0, b0, c0, d0, e0) (TyFun (a0, b0, c0, d0, e0) Ordering -> Type) (CompareSym0 (a0, b0, c0, d0, e0)) t) t) Source # (%:<) :: Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0) Bool (Apply (a0, b0, c0, d0, e0) (TyFun (a0, b0, c0, d0, e0) Bool -> Type) ((:<$) (a0, b0, c0, d0, e0)) t) t) Source # (%:<=) :: Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0) Bool (Apply (a0, b0, c0, d0, e0) (TyFun (a0, b0, c0, d0, e0) Bool -> Type) ((:<=$) (a0, b0, c0, d0, e0)) t) t) Source # (%:>) :: Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0) Bool (Apply (a0, b0, c0, d0, e0) (TyFun (a0, b0, c0, d0, e0) Bool -> Type) ((:>$) (a0, b0, c0, d0, e0)) t) t) Source # (%:>=) :: Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0) Bool (Apply (a0, b0, c0, d0, e0) (TyFun (a0, b0, c0, d0, e0) Bool -> Type) ((:>=$) (a0, b0, c0, d0, e0)) t) t) Source # sMax :: Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) (Apply (a0, b0, c0, d0, e0) (a0, b0, c0, d0, e0) (Apply (a0, b0, c0, d0, e0) (TyFun (a0, b0, c0, d0, e0) (a0, b0, c0, d0, e0) -> Type) (MaxSym0 (a0, b0, c0, d0, e0)) t) t) Source # sMin :: Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) t -> Sing (a0, b0, c0, d0, e0) (Apply (a0, b0, c0, d0, e0) (a0, b0, c0, d0, e0) (Apply (a0, b0, c0, d0, e0) (TyFun (a0, b0, c0, d0, e0) (a0, b0, c0, d0, e0) -> Type) (MinSym0 (a0, b0, c0, d0, e0)) t) t) Source #
(SOrd a0, SOrd b0, SOrd c0, SOrd d0, SOrd e0, SOrd f0) => SOrd (a0, b0, c0, d0, e0, f0) Source #
Methods sCompare :: Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) t -> Sing Ordering (Apply (a0, b0, c0, d0, e0, f0) Ordering (Apply (a0, b0, c0, d0, e0, f0) (TyFun (a0, b0, c0, d0, e0, f0) Ordering -> Type) (CompareSym0 (a0, b0, c0, d0, e0, f0)) t) t) Source # (%:<) :: Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0) Bool (Apply (a0, b0, c0, d0, e0, f0) (TyFun (a0, b0, c0, d0, e0, f0) Bool -> Type) ((:<$) (a0, b0, c0, d0, e0, f0)) t) t) Source # (%:<=) :: Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0) Bool (Apply (a0, b0, c0, d0, e0, f0) (TyFun (a0, b0, c0, d0, e0, f0) Bool -> Type) ((:<=$) (a0, b0, c0, d0, e0, f0)) t) t) Source # (%:>) :: Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0) Bool (Apply (a0, b0, c0, d0, e0, f0) (TyFun (a0, b0, c0, d0, e0, f0) Bool -> Type) ((:>$) (a0, b0, c0, d0, e0, f0)) t) t) Source # (%:>=) :: Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0) Bool (Apply (a0, b0, c0, d0, e0, f0) (TyFun (a0, b0, c0, d0, e0, f0) Bool -> Type) ((:>=$) (a0, b0, c0, d0, e0, f0)) t) t) Source # sMax :: Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) (Apply (a0, b0, c0, d0, e0, f0) (a0, b0, c0, d0, e0, f0) (Apply (a0, b0, c0, d0, e0, f0) (TyFun (a0, b0, c0, d0, e0, f0) (a0, b0, c0, d0, e0, f0) -> Type) (MaxSym0 (a0, b0, c0, d0, e0, f0)) t) t) Source # sMin :: Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) t -> Sing (a0, b0, c0, d0, e0, f0) (Apply (a0, b0, c0, d0, e0, f0) (a0, b0, c0, d0, e0, f0) (Apply (a0, b0, c0, d0, e0, f0) (TyFun (a0, b0, c0, d0, e0, f0) (a0, b0, c0, d0, e0, f0) -> Type) (MinSym0 (a0, b0, c0, d0, e0, f0)) t) t) Source #
(SOrd a0, SOrd b0, SOrd c0, SOrd d0, SOrd e0, SOrd f0, SOrd g0) => SOrd (a0, b0, c0, d0, e0, f0, g0) Source #
Methods sCompare :: Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing Ordering (Apply (a0, b0, c0, d0, e0, f0, g0) Ordering (Apply (a0, b0, c0, d0, e0, f0, g0) (TyFun (a0, b0, c0, d0, e0, f0, g0) Ordering -> Type) (CompareSym0 (a0, b0, c0, d0, e0, f0, g0)) t) t) Source # (%:<) :: Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0, g0) Bool (Apply (a0, b0, c0, d0, e0, f0, g0) (TyFun (a0, b0, c0, d0, e0, f0, g0) Bool -> Type) ((:<$) (a0, b0, c0, d0, e0, f0, g0)) t) t) Source # (%:<=) :: Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0, g0) Bool (Apply (a0, b0, c0, d0, e0, f0, g0) (TyFun (a0, b0, c0, d0, e0, f0, g0) Bool -> Type) ((:<=$) (a0, b0, c0, d0, e0, f0, g0)) t) t) Source # (%:>) :: Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0, g0) Bool (Apply (a0, b0, c0, d0, e0, f0, g0) (TyFun (a0, b0, c0, d0, e0, f0, g0) Bool -> Type) ((:>$) (a0, b0, c0, d0, e0, f0, g0)) t) t) Source # (%:>=) :: Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing Bool (Apply (a0, b0, c0, d0, e0, f0, g0) Bool (Apply (a0, b0, c0, d0, e0, f0, g0) (TyFun (a0, b0, c0, d0, e0, f0, g0) Bool -> Type) ((:>=$) (a0, b0, c0, d0, e0, f0, g0)) t) t) Source # sMax :: Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) (Apply (a0, b0, c0, d0, e0, f0, g0) (a0, b0, c0, d0, e0, f0, g0) (Apply (a0, b0, c0, d0, e0, f0, g0) (TyFun (a0, b0, c0, d0, e0, f0, g0) (a0, b0, c0, d0, e0, f0, g0) -> Type) (MaxSym0 (a0, b0, c0, d0, e0, f0, g0)) t) t) Source # sMin :: Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) t -> Sing (a0, b0, c0, d0, e0, f0, g0) (Apply (a0, b0, c0, d0, e0, f0, g0) (a0, b0, c0, d0, e0, f0, g0) (Apply (a0, b0, c0, d0, e0, f0, g0) (TyFun (a0, b0, c0, d0, e0, f0, g0) (a0, b0, c0, d0, e0, f0, g0) -> Type) (MinSym0 (a0, b0, c0, d0, e0, f0, g0)) t) t) Source #

thenCmp returns its second argument if its first is EQ; otherwise, it returns its first argument.

thenCmp :: Ordering -> Ordering -> Ordering Source #

type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ... Source #

Equations

ThenCmp EQ x = x
ThenCmp LT _z_1627690200 = LTSym0
ThenCmp GT _z_1627690203 = GTSym0

sThenCmp :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering) Source #

data family Sing (a :: k) Source #

The singleton kind-indexed data family.

Instances

data Sing Bool Source #
data Sing Bool where SFalse :: Sing Bool z STrue :: Sing Bool z
data Sing Ordering Source #
data Sing Ordering where SLT :: Sing Ordering z SEQ :: Sing Ordering z SGT :: Sing Ordering z
data Sing * Source #
data Sing * where STypeRep :: Sing * a
data Sing Nat Source #
data Sing Nat where SNat :: Sing Nat n
data Sing Symbol Source #
data Sing Symbol where SSym :: Sing Symbol n
data Sing () Source #
data Sing () where STuple0 :: Sing () z
data Sing [a0] Source #
data Sing [a0] where SNil :: Sing [a] z SCons :: Sing [a] z
data Sing (Maybe a0) Source #
data Sing (Maybe a0) where SNothing :: Sing (Maybe a) z SJust :: Sing (Maybe a) z
data Sing (NonEmpty a0) Source #
data Sing (NonEmpty a0) where (:%\|) :: Sing (NonEmpty a) z
data Sing (Either a0 b0) Source #
data Sing (Either a0 b0) where SLeft :: Sing (Either a b) z SRight :: Sing (Either a b) z
data Sing (a0, b0) Source #
data Sing (a0, b0) where STuple2 :: Sing (a, b) z
data Sing ((~>) k1 k2) Source #
data Sing ((~>) k1 k2) = SLambda { applySing :: forall t. Sing k1 t -> Sing k2 ((@@) k1 k2 f t) }
data Sing (a0, b0, c0) Source #
data Sing (a0, b0, c0) where STuple3 :: Sing (a, b, c) z
data Sing (a0, b0, c0, d0) Source #
data Sing (a0, b0, c0, d0) where STuple4 :: Sing (a, b, c, d) z
data Sing (a0, b0, c0, d0, e0) Source #
data Sing (a0, b0, c0, d0, e0) where STuple5 :: Sing (a, b, c, d, e) z
data Sing (a0, b0, c0, d0, e0, f0) Source #
data Sing (a0, b0, c0, d0, e0, f0) where STuple6 :: Sing (a, b, c, d, e, f) z
data Sing (a0, b0, c0, d0, e0, f0, g0) Source #
data Sing (a0, b0, c0, d0, e0, f0, g0) where STuple7 :: Sing (a, b, c, d, e, f, g) z

Defunctionalization symbols

data ThenCmpSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 Source #
Methods suppressUnusedWarnings :: Proxy ThenCmpSym0 t -> () Source #
type Apply Ordering (TyFun Ordering Ordering -> Type) ThenCmpSym0 l0 Source #
type Apply Ordering (TyFun Ordering Ordering -> Type) ThenCmpSym0 l0 = ThenCmpSym1 l0

data ThenCmpSym1 l l Source #

Instances

SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1 Source #
Methods suppressUnusedWarnings :: Proxy ThenCmpSym1 t -> () Source #
type Apply Ordering Ordering (ThenCmpSym1 l1) l0 Source #
type Apply Ordering Ordering (ThenCmpSym1 l1) l0 = ThenCmpSym2 l1 l0

type ThenCmpSym2 t t = ThenCmp t t Source #

type LTSym0 = LT Source #

type EQSym0 = EQ Source #

type GTSym0 = GT Source #

data CompareSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627682221 (TyFun a1627682221 Ordering -> Type) -> *) (CompareSym0 a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy (CompareSym0 a1627682221) t -> () Source #
type Apply a1627682221 (TyFun a1627682221 Ordering -> Type) (CompareSym0 a1627682221) l0 Source #
type Apply a1627682221 (TyFun a1627682221 Ordering -> Type) (CompareSym0 a1627682221) l0 = CompareSym1 a1627682221 l0

data CompareSym1 l l Source #

Instances

SuppressUnusedWarnings (a1627682221 -> TyFun a1627682221 Ordering -> *) (CompareSym1 a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy (CompareSym1 a1627682221) t -> () Source #
type Apply a1627682221 Ordering (CompareSym1 a1627682221 l1) l0 Source #
type Apply a1627682221 Ordering (CompareSym1 a1627682221 l1) l0 = CompareSym2 a1627682221 l1 l0

type CompareSym2 t t = Compare t t Source #

data (:<$) l Source #

Instances

SuppressUnusedWarnings (TyFun a1627682221 (TyFun a1627682221 Bool -> Type) -> *) ((:<$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:<$) a1627682221) t -> () Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:<$) a1627682221) l0 Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:<$) a1627682221) l0 = (:<$$) a1627682221 l0

data l :<$$ l Source #

Instances

SuppressUnusedWarnings (a1627682221 -> TyFun a1627682221 Bool -> *) ((:<$$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:<$$) a1627682221) t -> () Source #
type Apply a1627682221 Bool ((:<$$) a1627682221 l1) l0 Source #
type Apply a1627682221 Bool ((:<$$) a1627682221 l1) l0 = (:<$$$) a1627682221 l1 l0

type (:<$$$) t t = (:<) t t Source #

data (:<=$) l Source #

Instances

SuppressUnusedWarnings (TyFun a1627682221 (TyFun a1627682221 Bool -> Type) -> *) ((:<=$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:<=$) a1627682221) t -> () Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:<=$) a1627682221) l0 Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:<=$) a1627682221) l0 = (:<=$$) a1627682221 l0

data l :<=$$ l Source #

Instances

SuppressUnusedWarnings (a1627682221 -> TyFun a1627682221 Bool -> *) ((:<=$$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:<=$$) a1627682221) t -> () Source #
type Apply a1627682221 Bool ((:<=$$) a1627682221 l1) l0 Source #
type Apply a1627682221 Bool ((:<=$$) a1627682221 l1) l0 = (:<=$$$) a1627682221 l1 l0

type (:<=$$$) t t = (:<=) t t Source #

data (:>$) l Source #

Instances

SuppressUnusedWarnings (TyFun a1627682221 (TyFun a1627682221 Bool -> Type) -> *) ((:>$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:>$) a1627682221) t -> () Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:>$) a1627682221) l0 Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:>$) a1627682221) l0 = (:>$$) a1627682221 l0

data l :>$$ l Source #

Instances

SuppressUnusedWarnings (a1627682221 -> TyFun a1627682221 Bool -> *) ((:>$$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:>$$) a1627682221) t -> () Source #
type Apply a1627682221 Bool ((:>$$) a1627682221 l1) l0 Source #
type Apply a1627682221 Bool ((:>$$) a1627682221 l1) l0 = (:>$$$) a1627682221 l1 l0

type (:>$$$) t t = (:>) t t Source #

data (:>=$) l Source #

Instances

SuppressUnusedWarnings (TyFun a1627682221 (TyFun a1627682221 Bool -> Type) -> *) ((:>=$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:>=$) a1627682221) t -> () Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:>=$) a1627682221) l0 Source #
type Apply a1627682221 (TyFun a1627682221 Bool -> Type) ((:>=$) a1627682221) l0 = (:>=$$) a1627682221 l0

data l :>=$$ l Source #

Instances

SuppressUnusedWarnings (a1627682221 -> TyFun a1627682221 Bool -> *) ((:>=$$) a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy ((:>=$$) a1627682221) t -> () Source #
type Apply a1627682221 Bool ((:>=$$) a1627682221 l1) l0 Source #
type Apply a1627682221 Bool ((:>=$$) a1627682221 l1) l0 = (:>=$$$) a1627682221 l1 l0

type (:>=$$$) t t = (:>=) t t Source #

data MaxSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627682221 (TyFun a1627682221 a1627682221 -> Type) -> *) (MaxSym0 a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy (MaxSym0 a1627682221) t -> () Source #
type Apply a1627682221 (TyFun a1627682221 a1627682221 -> Type) (MaxSym0 a1627682221) l0 Source #
type Apply a1627682221 (TyFun a1627682221 a1627682221 -> Type) (MaxSym0 a1627682221) l0 = MaxSym1 a1627682221 l0

data MaxSym1 l l Source #

Instances

SuppressUnusedWarnings (a1627682221 -> TyFun a1627682221 a1627682221 -> *) (MaxSym1 a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy (MaxSym1 a1627682221) t -> () Source #
type Apply a1627682221 a1627682221 (MaxSym1 a1627682221 l1) l0 Source #
type Apply a1627682221 a1627682221 (MaxSym1 a1627682221 l1) l0 = MaxSym2 a1627682221 l1 l0

type MaxSym2 t t = Max t t Source #

data MinSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627682221 (TyFun a1627682221 a1627682221 -> Type) -> *) (MinSym0 a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy (MinSym0 a1627682221) t -> () Source #
type Apply a1627682221 (TyFun a1627682221 a1627682221 -> Type) (MinSym0 a1627682221) l0 Source #
type Apply a1627682221 (TyFun a1627682221 a1627682221 -> Type) (MinSym0 a1627682221) l0 = MinSym1 a1627682221 l0

data MinSym1 l l Source #

Instances

SuppressUnusedWarnings (a1627682221 -> TyFun a1627682221 a1627682221 -> *) (MinSym1 a1627682221) Source #
Methods suppressUnusedWarnings :: Proxy (MinSym1 a1627682221) t -> () Source #
type Apply a1627682221 a1627682221 (MinSym1 a1627682221 l1) l0 Source #
type Apply a1627682221 a1627682221 (MinSym1 a1627682221 l1) l0 = MinSym2 a1627682221 l1 l0

type MinSym2 t t = Min t t Source #