Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.Ord
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 (a6989586621679393955 :: Ordering) :: (~>) Ordering Ordering
- type ThenCmpSym2 (a6989586621679393955 :: Ordering) (a6989586621679393956 :: Ordering) = ThenCmp a6989586621679393955 a6989586621679393956
- type LTSym0 = LT
- type EQSym0 = EQ
- type GTSym0 = GT
- data CompareSym0 :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Ordering)
- data CompareSym1 (arg6989586621679383544 :: a6989586621679383450) :: (~>) a6989586621679383450 Ordering
- type CompareSym2 (arg6989586621679383544 :: a6989586621679383450) (arg6989586621679383545 :: a6989586621679383450) = Compare arg6989586621679383544 arg6989586621679383545
- data (<@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool)
- data (<@#@$$) (arg6989586621679383548 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool
- type (<@#@$$$) (arg6989586621679383548 :: a6989586621679383450) (arg6989586621679383549 :: a6989586621679383450) = (<) arg6989586621679383548 arg6989586621679383549
- data (<=@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool)
- data (<=@#@$$) (arg6989586621679383552 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool
- type (<=@#@$$$) (arg6989586621679383552 :: a6989586621679383450) (arg6989586621679383553 :: a6989586621679383450) = (<=) arg6989586621679383552 arg6989586621679383553
- data (>@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool)
- data (>@#@$$) (arg6989586621679383556 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool
- type (>@#@$$$) (arg6989586621679383556 :: a6989586621679383450) (arg6989586621679383557 :: a6989586621679383450) = (>) arg6989586621679383556 arg6989586621679383557
- data (>=@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool)
- data (>=@#@$$) (arg6989586621679383560 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool
- type (>=@#@$$$) (arg6989586621679383560 :: a6989586621679383450) (arg6989586621679383561 :: a6989586621679383450) = (>=) arg6989586621679383560 arg6989586621679383561
- data MaxSym0 :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 a6989586621679383450)
- data MaxSym1 (arg6989586621679383564 :: a6989586621679383450) :: (~>) a6989586621679383450 a6989586621679383450
- type MaxSym2 (arg6989586621679383564 :: a6989586621679383450) (arg6989586621679383565 :: a6989586621679383450) = Max arg6989586621679383564 arg6989586621679383565
- data MinSym0 :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 a6989586621679383450)
- data MinSym1 (arg6989586621679383568 :: a6989586621679383450) :: (~>) a6989586621679383450 a6989586621679383450
- type MinSym2 (arg6989586621679383568 :: a6989586621679383450) (arg6989586621679383569 :: a6989586621679383450) = Min arg6989586621679383568 arg6989586621679383569
- data ComparingSym0 :: forall a6989586621679383439 b6989586621679383440. (~>) ((~>) b6989586621679383440 a6989586621679383439) ((~>) b6989586621679383440 ((~>) b6989586621679383440 Ordering))
- data ComparingSym1 (a6989586621679383535 :: (~>) b6989586621679383440 a6989586621679383439) :: (~>) b6989586621679383440 ((~>) b6989586621679383440 Ordering)
- data ComparingSym2 (a6989586621679383535 :: (~>) b6989586621679383440 a6989586621679383439) (a6989586621679383536 :: b6989586621679383440) :: (~>) b6989586621679383440 Ordering
- type ComparingSym3 (a6989586621679383535 :: (~>) b6989586621679383440 a6989586621679383439) (a6989586621679383536 :: b6989586621679383440) (a6989586621679383537 :: b6989586621679383440) = Comparing a6989586621679383535 a6989586621679383536 a6989586621679383537
- data DownSym0 :: forall (a6989586621679091012 :: Type). (~>) a6989586621679091012 (Down (a6989586621679091012 :: Type))
- type DownSym1 (t6989586621679392637 :: a6989586621679091012) = Down t6989586621679392637
Documentation
class PEq a => POrd (a :: Type) 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 #
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 #
Minimal complete definition
Nothing
Methods
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_6989586621679383592Sym0 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_6989586621679383610Sym0 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_6989586621679383628Sym0 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_6989586621679383646Sym0 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_6989586621679383664Sym0 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_6989586621679383682Sym0 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_6989586621679383700Sym0 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 # | |
newtype 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 # | |
newtype 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 Methods sing :: Sing ThenCmpSym0 Source # | |
SuppressUnusedWarnings ThenCmpSym0 Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ThenCmpSym0 (a6989586621679393955 :: Ordering) Source # | |
Defined in Data.Singletons.Prelude.Ord |
data ThenCmpSym1 (a6989586621679393955 :: Ordering) :: (~>) Ordering Ordering Source #
Instances
SingI d => SingI (ThenCmpSym1 d :: TyFun Ordering Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods sing :: Sing (ThenCmpSym1 d) Source # | |
SuppressUnusedWarnings (ThenCmpSym1 a6989586621679393955 :: TyFun Ordering Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (ThenCmpSym1 a6989586621679393955 :: TyFun Ordering Ordering -> Type) (a6989586621679393956 :: Ordering) Source # | |
Defined in Data.Singletons.Prelude.Ord |
type ThenCmpSym2 (a6989586621679393955 :: Ordering) (a6989586621679393956 :: Ordering) = ThenCmp a6989586621679393955 a6989586621679393956 Source #
data CompareSym0 :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Ordering) Source #
Instances
SOrd a => SingI (CompareSym0 :: TyFun a (a ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods sing :: Sing CompareSym0 Source # | |
SuppressUnusedWarnings (CompareSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (CompareSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> Ordering) -> Type) (arg6989586621679383544 :: a6989586621679383450) Source # | |
Defined in Data.Singletons.Prelude.Ord type Apply (CompareSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> Ordering) -> Type) (arg6989586621679383544 :: a6989586621679383450) = CompareSym1 arg6989586621679383544 |
data CompareSym1 (arg6989586621679383544 :: a6989586621679383450) :: (~>) a6989586621679383450 Ordering Source #
Instances
(SOrd a, SingI d) => SingI (CompareSym1 d :: TyFun a Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods sing :: Sing (CompareSym1 d) Source # | |
SuppressUnusedWarnings (CompareSym1 arg6989586621679383544 :: TyFun a6989586621679383450 Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (CompareSym1 arg6989586621679383544 :: TyFun a Ordering -> Type) (arg6989586621679383545 :: a) Source # | |
Defined in Data.Singletons.Prelude.Ord |
type CompareSym2 (arg6989586621679383544 :: a6989586621679383450) (arg6989586621679383545 :: a6989586621679383450) = Compare arg6989586621679383544 arg6989586621679383545 Source #
data (<@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool) infix 4 Source #
Instances
SOrd a => SingI ((<@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) (arg6989586621679383548 :: a6989586621679383450) Source # | |
data (<@#@$$) (arg6989586621679383548 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((<@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((<@#@$$) arg6989586621679383548 :: TyFun a6989586621679383450 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<@#@$$) arg6989586621679383548 :: TyFun a Bool -> Type) (arg6989586621679383549 :: a) Source # | |
type (<@#@$$$) (arg6989586621679383548 :: a6989586621679383450) (arg6989586621679383549 :: a6989586621679383450) = (<) arg6989586621679383548 arg6989586621679383549 Source #
data (<=@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool) infix 4 Source #
Instances
SOrd a => SingI ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<=@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) (arg6989586621679383552 :: a6989586621679383450) Source # | |
data (<=@#@$$) (arg6989586621679383552 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((<=@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((<=@#@$$) arg6989586621679383552 :: TyFun a6989586621679383450 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<=@#@$$) arg6989586621679383552 :: TyFun a Bool -> Type) (arg6989586621679383553 :: a) Source # | |
type (<=@#@$$$) (arg6989586621679383552 :: a6989586621679383450) (arg6989586621679383553 :: a6989586621679383450) = (<=) arg6989586621679383552 arg6989586621679383553 Source #
data (>@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool) infix 4 Source #
Instances
SOrd a => SingI ((>@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) (arg6989586621679383556 :: a6989586621679383450) Source # | |
data (>@#@$$) (arg6989586621679383556 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((>@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((>@#@$$) arg6989586621679383556 :: TyFun a6989586621679383450 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>@#@$$) arg6989586621679383556 :: TyFun a Bool -> Type) (arg6989586621679383557 :: a) Source # | |
type (>@#@$$$) (arg6989586621679383556 :: a6989586621679383450) (arg6989586621679383557 :: a6989586621679383450) = (>) arg6989586621679383556 arg6989586621679383557 Source #
data (>=@#@$) :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 Bool) infix 4 Source #
Instances
SOrd a => SingI ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) Source # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>=@#@$) :: TyFun a6989586621679383450 (a6989586621679383450 ~> Bool) -> Type) (arg6989586621679383560 :: a6989586621679383450) Source # | |
data (>=@#@$$) (arg6989586621679383560 :: a6989586621679383450) :: (~>) a6989586621679383450 Bool infix 4 Source #
Instances
(SOrd a, SingI d) => SingI ((>=@#@$$) d :: TyFun a Bool -> Type) Source # | |
SuppressUnusedWarnings ((>=@#@$$) arg6989586621679383560 :: TyFun a6989586621679383450 Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>=@#@$$) arg6989586621679383560 :: TyFun a Bool -> Type) (arg6989586621679383561 :: a) Source # | |
type (>=@#@$$$) (arg6989586621679383560 :: a6989586621679383450) (arg6989586621679383561 :: a6989586621679383450) = (>=) arg6989586621679383560 arg6989586621679383561 Source #
data MaxSym0 :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 a6989586621679383450) Source #
Instances
SOrd a => SingI (MaxSym0 :: TyFun a (a ~> a) -> Type) Source # | |
SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> a6989586621679383450) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (MaxSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> a6989586621679383450) -> Type) (arg6989586621679383564 :: a6989586621679383450) Source # | |
data MaxSym1 (arg6989586621679383564 :: a6989586621679383450) :: (~>) a6989586621679383450 a6989586621679383450 Source #
Instances
(SOrd a, SingI d) => SingI (MaxSym1 d :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (MaxSym1 arg6989586621679383564 :: TyFun a6989586621679383450 a6989586621679383450 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (MaxSym1 arg6989586621679383564 :: TyFun a a -> Type) (arg6989586621679383565 :: a) Source # | |
type MaxSym2 (arg6989586621679383564 :: a6989586621679383450) (arg6989586621679383565 :: a6989586621679383450) = Max arg6989586621679383564 arg6989586621679383565 Source #
data MinSym0 :: forall a6989586621679383450. (~>) a6989586621679383450 ((~>) a6989586621679383450 a6989586621679383450) Source #
Instances
SOrd a => SingI (MinSym0 :: TyFun a (a ~> a) -> Type) Source # | |
SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> a6989586621679383450) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (MinSym0 :: TyFun a6989586621679383450 (a6989586621679383450 ~> a6989586621679383450) -> Type) (arg6989586621679383568 :: a6989586621679383450) Source # | |
data MinSym1 (arg6989586621679383568 :: a6989586621679383450) :: (~>) a6989586621679383450 a6989586621679383450 Source #
Instances
(SOrd a, SingI d) => SingI (MinSym1 d :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (MinSym1 arg6989586621679383568 :: TyFun a6989586621679383450 a6989586621679383450 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (MinSym1 arg6989586621679383568 :: TyFun a a -> Type) (arg6989586621679383569 :: a) Source # | |
type MinSym2 (arg6989586621679383568 :: a6989586621679383450) (arg6989586621679383569 :: a6989586621679383450) = Min arg6989586621679383568 arg6989586621679383569 Source #
data ComparingSym0 :: forall a6989586621679383439 b6989586621679383440. (~>) ((~>) b6989586621679383440 a6989586621679383439) ((~>) b6989586621679383440 ((~>) b6989586621679383440 Ordering)) Source #
Instances
SOrd a => SingI (ComparingSym0 :: TyFun (b ~> a) (b ~> (b ~> Ordering)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods sing :: Sing ComparingSym0 Source # | |
SuppressUnusedWarnings (ComparingSym0 :: TyFun (b6989586621679383440 ~> a6989586621679383439) (b6989586621679383440 ~> (b6989586621679383440 ~> Ordering)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (ComparingSym0 :: TyFun (b6989586621679383440 ~> a6989586621679383439) (b6989586621679383440 ~> (b6989586621679383440 ~> Ordering)) -> Type) (a6989586621679383535 :: b6989586621679383440 ~> a6989586621679383439) Source # | |
Defined in Data.Singletons.Prelude.Ord type Apply (ComparingSym0 :: TyFun (b6989586621679383440 ~> a6989586621679383439) (b6989586621679383440 ~> (b6989586621679383440 ~> Ordering)) -> Type) (a6989586621679383535 :: b6989586621679383440 ~> a6989586621679383439) = ComparingSym1 a6989586621679383535 |
data ComparingSym1 (a6989586621679383535 :: (~>) b6989586621679383440 a6989586621679383439) :: (~>) b6989586621679383440 ((~>) b6989586621679383440 Ordering) Source #
Instances
(SOrd a, SingI d) => SingI (ComparingSym1 d :: TyFun b (b ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods sing :: Sing (ComparingSym1 d) Source # | |
SuppressUnusedWarnings (ComparingSym1 a6989586621679383535 :: TyFun b6989586621679383440 (b6989586621679383440 ~> Ordering) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (ComparingSym1 a6989586621679383535 :: TyFun b6989586621679383440 (b6989586621679383440 ~> Ordering) -> Type) (a6989586621679383536 :: b6989586621679383440) Source # | |
Defined in Data.Singletons.Prelude.Ord type Apply (ComparingSym1 a6989586621679383535 :: TyFun b6989586621679383440 (b6989586621679383440 ~> Ordering) -> Type) (a6989586621679383536 :: b6989586621679383440) = ComparingSym2 a6989586621679383535 a6989586621679383536 |
data ComparingSym2 (a6989586621679383535 :: (~>) b6989586621679383440 a6989586621679383439) (a6989586621679383536 :: b6989586621679383440) :: (~>) b6989586621679383440 Ordering Source #
Instances
(SOrd a, SingI d1, SingI d2) => SingI (ComparingSym2 d1 d2 :: TyFun b Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods sing :: Sing (ComparingSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ComparingSym2 a6989586621679383536 a6989586621679383535 :: TyFun b6989586621679383440 Ordering -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (ComparingSym2 a6989586621679383536 a6989586621679383535 :: TyFun b Ordering -> Type) (a6989586621679383537 :: b) Source # | |
Defined in Data.Singletons.Prelude.Ord |
type ComparingSym3 (a6989586621679383535 :: (~>) b6989586621679383440 a6989586621679383439) (a6989586621679383536 :: b6989586621679383440) (a6989586621679383537 :: b6989586621679383440) = Comparing a6989586621679383535 a6989586621679383536 a6989586621679383537 Source #
data DownSym0 :: forall (a6989586621679091012 :: Type). (~>) a6989586621679091012 (Down (a6989586621679091012 :: Type)) Source #
Instances
SingI (DownSym0 :: TyFun a (Down a) -> Type) Source # | |
SuppressUnusedWarnings (DownSym0 :: TyFun a6989586621679091012 (Down a6989586621679091012) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source # | |
type Apply (DownSym0 :: TyFun a (Down a) -> Type) (t6989586621679392637 :: a) Source # | |