Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- class PEq a => POrd (a :: Type) where
- class SEq a => SOrd a where
- sCompare :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering)
- (%<) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t :: Bool)
- (%<=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t :: Bool)
- (%>) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t :: Bool)
- (%>=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t :: Bool)
- sMax :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a)
- sMin :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a)
- type family Comparing (a :: (~>) b a) (a :: b) (a :: b) :: Ordering where ...
- sComparing :: forall a b (t :: (~>) b a) (t :: b) (t :: b). SOrd a => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ComparingSym0 t) t) t :: Ordering)
- thenCmp :: Ordering -> Ordering -> Ordering
- type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ...
- sThenCmp :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering)
- data family Sing :: k -> Type
- type SOrdering = (Sing :: Ordering -> Type)
- type SDown = (Sing :: Down a -> Type)
- data ThenCmpSym0 :: (~>) Ordering ((~>) Ordering Ordering)
- data ThenCmpSym1 (a6989586621679391212 :: Ordering) :: (~>) Ordering Ordering
- type ThenCmpSym2 (a6989586621679391212 :: Ordering) (a6989586621679391213 :: Ordering) = ThenCmp a6989586621679391212 a6989586621679391213
- type LTSym0 = LT
- type EQSym0 = EQ
- type GTSym0 = GT
- data CompareSym0 :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Ordering)
- data CompareSym1 (arg6989586621679380801 :: a6989586621679380707) :: (~>) a6989586621679380707 Ordering
- type CompareSym2 (arg6989586621679380801 :: a6989586621679380707) (arg6989586621679380802 :: a6989586621679380707) = Compare arg6989586621679380801 arg6989586621679380802
- data (<@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool)
- data (<@#@$$) (arg6989586621679380805 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool
- type (<@#@$$$) (arg6989586621679380805 :: a6989586621679380707) (arg6989586621679380806 :: a6989586621679380707) = (<) arg6989586621679380805 arg6989586621679380806
- data (<=@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool)
- data (<=@#@$$) (arg6989586621679380809 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool
- type (<=@#@$$$) (arg6989586621679380809 :: a6989586621679380707) (arg6989586621679380810 :: a6989586621679380707) = (<=) arg6989586621679380809 arg6989586621679380810
- data (>@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool)
- data (>@#@$$) (arg6989586621679380813 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool
- type (>@#@$$$) (arg6989586621679380813 :: a6989586621679380707) (arg6989586621679380814 :: a6989586621679380707) = (>) arg6989586621679380813 arg6989586621679380814
- data (>=@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool)
- data (>=@#@$$) (arg6989586621679380817 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool
- type (>=@#@$$$) (arg6989586621679380817 :: a6989586621679380707) (arg6989586621679380818 :: a6989586621679380707) = (>=) arg6989586621679380817 arg6989586621679380818
- data MaxSym0 :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 a6989586621679380707)
- data MaxSym1 (arg6989586621679380821 :: a6989586621679380707) :: (~>) a6989586621679380707 a6989586621679380707
- type MaxSym2 (arg6989586621679380821 :: a6989586621679380707) (arg6989586621679380822 :: a6989586621679380707) = Max arg6989586621679380821 arg6989586621679380822
- data MinSym0 :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 a6989586621679380707)
- data MinSym1 (arg6989586621679380825 :: a6989586621679380707) :: (~>) a6989586621679380707 a6989586621679380707
- type MinSym2 (arg6989586621679380825 :: a6989586621679380707) (arg6989586621679380826 :: a6989586621679380707) = Min arg6989586621679380825 arg6989586621679380826
- data ComparingSym0 :: forall a6989586621679380696 b6989586621679380697. (~>) ((~>) b6989586621679380697 a6989586621679380696) ((~>) b6989586621679380697 ((~>) b6989586621679380697 Ordering))
- data ComparingSym1 (a6989586621679380792 :: (~>) b6989586621679380697 a6989586621679380696) :: (~>) b6989586621679380697 ((~>) b6989586621679380697 Ordering)
- data ComparingSym2 (a6989586621679380792 :: (~>) b6989586621679380697 a6989586621679380696) (a6989586621679380793 :: b6989586621679380697) :: (~>) b6989586621679380697 Ordering
- type ComparingSym3 (a6989586621679380792 :: (~>) b6989586621679380697 a6989586621679380696) (a6989586621679380793 :: b6989586621679380697) (a6989586621679380794 :: b6989586621679380697) = Comparing a6989586621679380792 a6989586621679380793 a6989586621679380794
- data DownSym0 :: forall (a6989586621679092637 :: Type). (~>) a6989586621679092637 (Down (a6989586621679092637 :: Type))
- type DownSym1 (t6989586621679389894 :: a6989586621679092637) = Down t6989586621679389894
Documentation
class PEq a => POrd (a :: Type) Source #
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 #
Instances
POrd Bool Source # | |
POrd Ordering Source # | |
POrd Nat Source # | |
POrd Symbol Source # | |
POrd () Source # | |
POrd Void Source # | |
POrd All Source # | |
POrd Any Source # | |
POrd [a] Source # | |
POrd (Maybe a) Source # | |
POrd (Min a) Source # | |
POrd (Max a) Source # | |
POrd (First a) Source # | |
POrd (Last a) Source # | |
POrd (WrappedMonoid m) Source # | |
POrd (Option a) Source # | |
POrd (Identity a) Source # | |
POrd (First a) Source # | |
POrd (Last a) Source # | |
POrd (Dual a) Source # | |
POrd (Sum a) Source # | |
POrd (Product a) Source # | |
POrd (Down a) Source # | |
POrd (NonEmpty a) Source # | |
POrd (Either a b) Source # | |
POrd (a, b) Source # | |
POrd (Arg a b) Source # | |
POrd (a, b, c) Source # | |
POrd (Const a b) Source # | |
POrd (a, b, c, d) Source # | |
POrd (a, b, c, d, e) Source # | |
POrd (a, b, c, d, e, f) Source # | |
POrd (a, b, c, d, e, f, g) Source # | |
class SEq a => SOrd a where Source #
Nothing
sCompare :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #
(%<) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t :: Bool) infix 4 Source #
(%<=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t :: Bool) infix 4 Source #
(%>) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t :: Bool) infix 4 Source #
(%>=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t :: Bool) infix 4 Source #
sMax :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #
sMin :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #
sCompare :: forall (t :: a) (t :: a). (Apply (Apply CompareSym0 t) t :: Ordering) ~ Apply (Apply Compare_6989586621679380849Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #
(%<) :: forall (t :: a) (t :: a). (Apply (Apply (<@#@$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679380867Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t :: Bool) infix 4 Source #
(%<=) :: forall (t :: a) (t :: a). (Apply (Apply (<=@#@$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679380885Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t :: Bool) infix 4 Source #
(%>) :: forall (t :: a) (t :: a). (Apply (Apply (>@#@$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679380903Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t :: Bool) infix 4 Source #
(%>=) :: forall (t :: a) (t :: a). (Apply (Apply (>=@#@$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679380921Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t :: Bool) infix 4 Source #
sMax :: forall (t :: a) (t :: a). (Apply (Apply MaxSym0 t) t :: a) ~ Apply (Apply Max_6989586621679380939Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #
sMin :: forall (t :: a) (t :: a). (Apply (Apply MinSym0 t) t :: a) ~ Apply (Apply Min_6989586621679380957Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #
Instances
sComparing :: forall a b (t :: (~>) b a) (t :: b) (t :: b). SOrd a => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ComparingSym0 t) t) t :: Ordering) Source #
sThenCmp :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering) Source #
data family Sing :: k -> Type Source #
The singleton kind-indexed data family.
Instances
SDecide k => TestCoercion (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
SDecide k => TestEquality (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
Show (SSymbol s) Source # | |
Show (SNat n) Source # | |
Eq (Sing a) Source # | |
Ord (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
Show (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # | |
Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing m => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
data Sing (a :: Bool) Source # | |
data Sing (a :: Ordering) Source # | |
data Sing (n :: Nat) Source # | |
data Sing (n :: Symbol) Source # | |
Defined in Data.Singletons.TypeLits.Internal | |
data Sing (a :: ()) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: Void) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: All) Source # | |
data Sing (a :: Any) Source # | |
data Sing (a :: PErrorMessage) Source # | |
Defined in Data.Singletons.TypeError data Sing (a :: PErrorMessage) where
| |
data Sing (b :: [a]) Source # | |
data Sing (b :: Maybe a) Source # | |
data Sing (a :: TYPE rep) Source # | A choice of singleton for the kind Conceivably, one could generalize this instance to `Sing :: k -> Type` for
any kind We cannot produce explicit singleton values for everything in |
Defined in Data.Singletons.TypeRepTYPE | |
data Sing (b :: Min a) Source # | |
data Sing (b :: Max a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (a :: WrappedMonoid m) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where
| |
data Sing (b :: Option a) Source # | |
data Sing (b :: Identity a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (b :: Dual a) Source # | |
data Sing (b :: Sum a) Source # | |
data Sing (b :: Product a) Source # | |
data Sing (b :: Down a) Source # | |
data Sing (b :: NonEmpty a) Source # | |
data Sing (c :: Either a b) Source # | |
data Sing (c :: (a, b)) Source # | |
data Sing (c :: Arg a b) Source # | |
data Sing (f :: k1 ~> k2) Source # | |
data Sing (d :: (a, b, c)) Source # | |
data Sing (c :: Const a b) Source # | |
data Sing (e :: (a, b, c, d)) Source # | |
data Sing (f :: (a, b, c, d, e)) Source # | |
data Sing (g :: (a, b, c, d, e, f)) Source # | |
data Sing (h :: (a, b, c, d, e, f, g)) Source # | |
Defined in Data.Singletons.Prelude.Instances |
Defunctionalization symbols
data ThenCmpSym0 :: (~>) Ordering ((~>) Ordering Ordering) Source #
Instances
SingI ThenCmpSym0 Source # | |
Defined in Data.Singletons.Prelude.Ord sing :: Sing ThenCmpSym0 Source # | |
SuppressUnusedWarnings ThenCmpSym0 Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ThenCmpSym0 (a6989586621679391212 :: Ordering) Source # | |
Defined in Data.Singletons.Prelude.Ord |
data ThenCmpSym1 (a6989586621679391212 :: Ordering) :: (~>) Ordering Ordering Source #
Instances
SingI d => SingI (ThenCmpSym1 d :: TyFun Ordering Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord sing :: Sing (ThenCmpSym1 d) Source # | |
SuppressUnusedWarnings (ThenCmpSym1 a6989586621679391212 :: TyFun Ordering Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (ThenCmpSym1 a6989586621679391212 :: TyFun Ordering Ordering -> Type) (a6989586621679391213 :: Ordering) Source # | |
Defined in Data.Singletons.Prelude.Ord |
type ThenCmpSym2 (a6989586621679391212 :: Ordering) (a6989586621679391213 :: Ordering) = ThenCmp a6989586621679391212 a6989586621679391213 Source #
data CompareSym0 :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Ordering) Source #
Instances
SOrd a => SingI (CompareSym0 :: TyFun a (a ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord sing :: Sing CompareSym0 Source # | |
SuppressUnusedWarnings (CompareSym0 :: TyFun a6989586621679380707 (a6989586621679380707 ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (CompareSym0 :: TyFun a6989586621679380707 (a6989586621679380707 ~> Ordering) -> Type) (arg6989586621679380801 :: a6989586621679380707) Source # | |
Defined in Data.Singletons.Prelude.Ord type Apply (CompareSym0 :: TyFun a6989586621679380707 (a6989586621679380707 ~> Ordering) -> Type) (arg6989586621679380801 :: a6989586621679380707) = CompareSym1 arg6989586621679380801 |
data CompareSym1 (arg6989586621679380801 :: a6989586621679380707) :: (~>) a6989586621679380707 Ordering Source #
Instances
(SOrd a, SingI d) => SingI (CompareSym1 d :: TyFun a Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord sing :: Sing (CompareSym1 d) Source # | |
SuppressUnusedWarnings (CompareSym1 arg6989586621679380801 :: TyFun a6989586621679380707 Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (CompareSym1 arg6989586621679380801 :: TyFun a Ordering -> Type) (arg6989586621679380802 :: a) Source # | |
Defined in Data.Singletons.Prelude.Ord |
type CompareSym2 (arg6989586621679380801 :: a6989586621679380707) (arg6989586621679380802 :: a6989586621679380707) = Compare arg6989586621679380801 arg6989586621679380802 Source #
data (<@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool) infix 4 Source #
Instances
SOrd a => SingI ((<@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((<@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) (arg6989586621679380805 :: a6989586621679380707) Source # | |
data (<@#@$$) (arg6989586621679380805 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((<@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((<@#@$$) arg6989586621679380805 :: TyFun a6989586621679380707 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((<@#@$$) arg6989586621679380805 :: TyFun a Bool -> Type) (arg6989586621679380806 :: a) Source # | |
type (<@#@$$$) (arg6989586621679380805 :: a6989586621679380707) (arg6989586621679380806 :: a6989586621679380707) = (<) arg6989586621679380805 arg6989586621679380806 Source #
data (<=@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool) infix 4 Source #
Instances
SOrd a => SingI ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((<=@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) (arg6989586621679380809 :: a6989586621679380707) Source # | |
data (<=@#@$$) (arg6989586621679380809 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((<=@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679380809 :: TyFun a6989586621679380707 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((<=@#@$$) arg6989586621679380809 :: TyFun a Bool -> Type) (arg6989586621679380810 :: a) Source # | |
type (<=@#@$$$) (arg6989586621679380809 :: a6989586621679380707) (arg6989586621679380810 :: a6989586621679380707) = (<=) arg6989586621679380809 arg6989586621679380810 Source #
data (>@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool) infix 4 Source #
Instances
SOrd a => SingI ((>@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((>@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) (arg6989586621679380813 :: a6989586621679380707) Source # | |
data (>@#@$$) (arg6989586621679380813 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((>@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((>@#@$$) arg6989586621679380813 :: TyFun a6989586621679380707 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((>@#@$$) arg6989586621679380813 :: TyFun a Bool -> Type) (arg6989586621679380814 :: a) Source # | |
type (>@#@$$$) (arg6989586621679380813 :: a6989586621679380707) (arg6989586621679380814 :: a6989586621679380707) = (>) arg6989586621679380813 arg6989586621679380814 Source #
data (>=@#@$) :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 Bool) infix 4 Source #
Instances
SOrd a => SingI ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((>=@#@$) :: TyFun a6989586621679380707 (a6989586621679380707 ~> Bool) -> Type) (arg6989586621679380817 :: a6989586621679380707) Source # | |
data (>=@#@$$) (arg6989586621679380817 :: a6989586621679380707) :: (~>) a6989586621679380707 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((>=@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679380817 :: TyFun a6989586621679380707 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply ((>=@#@$$) arg6989586621679380817 :: TyFun a Bool -> Type) (arg6989586621679380818 :: a) Source # | |
type (>=@#@$$$) (arg6989586621679380817 :: a6989586621679380707) (arg6989586621679380818 :: a6989586621679380707) = (>=) arg6989586621679380817 arg6989586621679380818 Source #
data MaxSym0 :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 a6989586621679380707) Source #
Instances
SOrd a => SingI (MaxSym0 :: TyFun a (a ~> a) -> Type) Source # | |
SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679380707 (a6989586621679380707 ~> a6989586621679380707) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (MaxSym0 :: TyFun a6989586621679380707 (a6989586621679380707 ~> a6989586621679380707) -> Type) (arg6989586621679380821 :: a6989586621679380707) Source # | |
data MaxSym1 (arg6989586621679380821 :: a6989586621679380707) :: (~>) a6989586621679380707 a6989586621679380707 Source #
Instances
(SOrd a, SingI d) => SingI (MaxSym1 d :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (MaxSym1 arg6989586621679380821 :: TyFun a6989586621679380707 a6989586621679380707 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (MaxSym1 arg6989586621679380821 :: TyFun a a -> Type) (arg6989586621679380822 :: a) Source # | |
type MaxSym2 (arg6989586621679380821 :: a6989586621679380707) (arg6989586621679380822 :: a6989586621679380707) = Max arg6989586621679380821 arg6989586621679380822 Source #
data MinSym0 :: forall a6989586621679380707. (~>) a6989586621679380707 ((~>) a6989586621679380707 a6989586621679380707) Source #
Instances
SOrd a => SingI (MinSym0 :: TyFun a (a ~> a) -> Type) Source # | |
SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679380707 (a6989586621679380707 ~> a6989586621679380707) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (MinSym0 :: TyFun a6989586621679380707 (a6989586621679380707 ~> a6989586621679380707) -> Type) (arg6989586621679380825 :: a6989586621679380707) Source # | |
data MinSym1 (arg6989586621679380825 :: a6989586621679380707) :: (~>) a6989586621679380707 a6989586621679380707 Source #
Instances
(SOrd a, SingI d) => SingI (MinSym1 d :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (MinSym1 arg6989586621679380825 :: TyFun a6989586621679380707 a6989586621679380707 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (MinSym1 arg6989586621679380825 :: TyFun a a -> Type) (arg6989586621679380826 :: a) Source # | |
type MinSym2 (arg6989586621679380825 :: a6989586621679380707) (arg6989586621679380826 :: a6989586621679380707) = Min arg6989586621679380825 arg6989586621679380826 Source #
data ComparingSym0 :: forall a6989586621679380696 b6989586621679380697. (~>) ((~>) b6989586621679380697 a6989586621679380696) ((~>) b6989586621679380697 ((~>) b6989586621679380697 Ordering)) Source #
Instances
SOrd a => SingI (ComparingSym0 :: TyFun (b ~> a) (b ~> (b ~> Ordering)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord sing :: Sing ComparingSym0 Source # | |
SuppressUnusedWarnings (ComparingSym0 :: TyFun (b6989586621679380697 ~> a6989586621679380696) (b6989586621679380697 ~> (b6989586621679380697 ~> Ordering)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (ComparingSym0 :: TyFun (b6989586621679380697 ~> a6989586621679380696) (b6989586621679380697 ~> (b6989586621679380697 ~> Ordering)) -> Type) (a6989586621679380792 :: b6989586621679380697 ~> a6989586621679380696) Source # | |
Defined in Data.Singletons.Prelude.Ord type Apply (ComparingSym0 :: TyFun (b6989586621679380697 ~> a6989586621679380696) (b6989586621679380697 ~> (b6989586621679380697 ~> Ordering)) -> Type) (a6989586621679380792 :: b6989586621679380697 ~> a6989586621679380696) = ComparingSym1 a6989586621679380792 |
data ComparingSym1 (a6989586621679380792 :: (~>) b6989586621679380697 a6989586621679380696) :: (~>) b6989586621679380697 ((~>) b6989586621679380697 Ordering) Source #
Instances
(SOrd a, SingI d) => SingI (ComparingSym1 d :: TyFun b (b ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord sing :: Sing (ComparingSym1 d) Source # | |
SuppressUnusedWarnings (ComparingSym1 a6989586621679380792 :: TyFun b6989586621679380697 (b6989586621679380697 ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (ComparingSym1 a6989586621679380792 :: TyFun b6989586621679380697 (b6989586621679380697 ~> Ordering) -> Type) (a6989586621679380793 :: b6989586621679380697) Source # | |
Defined in Data.Singletons.Prelude.Ord type Apply (ComparingSym1 a6989586621679380792 :: TyFun b6989586621679380697 (b6989586621679380697 ~> Ordering) -> Type) (a6989586621679380793 :: b6989586621679380697) = ComparingSym2 a6989586621679380792 a6989586621679380793 |
data ComparingSym2 (a6989586621679380792 :: (~>) b6989586621679380697 a6989586621679380696) (a6989586621679380793 :: b6989586621679380697) :: (~>) b6989586621679380697 Ordering Source #
Instances
(SOrd a, SingI d1, SingI d2) => SingI (ComparingSym2 d1 d2 :: TyFun b Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord sing :: Sing (ComparingSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ComparingSym2 a6989586621679380793 a6989586621679380792 :: TyFun b6989586621679380697 Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (ComparingSym2 a6989586621679380793 a6989586621679380792 :: TyFun b Ordering -> Type) (a6989586621679380794 :: b) Source # | |
Defined in Data.Singletons.Prelude.Ord |
type ComparingSym3 (a6989586621679380792 :: (~>) b6989586621679380697 a6989586621679380696) (a6989586621679380793 :: b6989586621679380697) (a6989586621679380794 :: b6989586621679380697) = Comparing a6989586621679380792 a6989586621679380793 a6989586621679380794 Source #
data DownSym0 :: forall (a6989586621679092637 :: Type). (~>) a6989586621679092637 (Down (a6989586621679092637 :: Type)) Source #
Instances
SingI (DownSym0 :: TyFun a (Down a) -> Type) Source # | |
SuppressUnusedWarnings (DownSym0 :: TyFun a6989586621679092637 (Down a6989586621679092637) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () Source # | |
type Apply (DownSym0 :: TyFun a (Down a) -> Type) (t6989586621679389894 :: a) Source # | |