Copyright	(C) 2014 Jan Stolarek
License	BSD-style (see LICENSE)
Maintainer	Jan Stolarek (jan.stolarek@p.lodz.pl)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Promotion.Prelude.Ord

Contents

Defunctionalization symbols

Description

Provides promoted definitions related to type-level comparisons.

Synopsis

class PEq a => POrd (a :: Type) where
- type Compare (arg :: a) (arg :: a) :: Ordering
- type (arg :: a) < (arg :: a) :: Bool
- type (arg :: a) <= (arg :: a) :: Bool
- type (arg :: a) > (arg :: a) :: Bool
- type (arg :: a) >= (arg :: a) :: Bool
- type Max (arg :: a) (arg :: a) :: a
- type Min (arg :: a) (arg :: a) :: a
type family Comparing (a :: TyFun b a -> Type) (a :: b) (a :: b) :: Ordering where ...
type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ...
data ThenCmpSym0 (l :: TyFun Ordering (TyFun Ordering Ordering -> Type))
data ThenCmpSym1 (l :: Ordering) (l :: TyFun Ordering Ordering)
type ThenCmpSym2 (t :: Ordering) (t :: Ordering) = ThenCmp t t
type LTSym0 = LT
type EQSym0 = EQ
type GTSym0 = GT
data CompareSym0 (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Ordering -> Type))
data CompareSym1 (l :: a6989586621679323527) (l :: TyFun a6989586621679323527 Ordering)
type CompareSym2 (t :: a6989586621679323527) (t :: a6989586621679323527) = Compare t t
data (<@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type))
data (l :: a6989586621679323527) <@#@$$ (l :: TyFun a6989586621679323527 Bool)
type (<@#@$$$) (t :: a6989586621679323527) (t :: a6989586621679323527) = (<) t t
data (<=@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type))
data (l :: a6989586621679323527) <=@#@$$ (l :: TyFun a6989586621679323527 Bool)
type (<=@#@$$$) (t :: a6989586621679323527) (t :: a6989586621679323527) = (<=) t t
data (>@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type))
data (l :: a6989586621679323527) >@#@$$ (l :: TyFun a6989586621679323527 Bool)
type (>@#@$$$) (t :: a6989586621679323527) (t :: a6989586621679323527) = (>) t t
data (>=@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type))
data (l :: a6989586621679323527) >=@#@$$ (l :: TyFun a6989586621679323527 Bool)
type (>=@#@$$$) (t :: a6989586621679323527) (t :: a6989586621679323527) = (>=) t t
data MaxSym0 (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type))
data MaxSym1 (l :: a6989586621679323527) (l :: TyFun a6989586621679323527 a6989586621679323527)
type MaxSym2 (t :: a6989586621679323527) (t :: a6989586621679323527) = Max t t
data MinSym0 (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type))
data MinSym1 (l :: a6989586621679323527) (l :: TyFun a6989586621679323527 a6989586621679323527)
type MinSym2 (t :: a6989586621679323527) (t :: a6989586621679323527) = Min t t
data ComparingSym0 (l :: TyFun (TyFun b6989586621679323517 a6989586621679323516 -> Type) (TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> Type))
data ComparingSym1 (l :: TyFun b6989586621679323517 a6989586621679323516 -> Type) (l :: TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type))
data ComparingSym2 (l :: TyFun b6989586621679323517 a6989586621679323516 -> Type) (l :: b6989586621679323517) (l :: TyFun b6989586621679323517 Ordering)
type ComparingSym3 (t :: TyFun b6989586621679323517 a6989586621679323516 -> Type) (t :: b6989586621679323517) (t :: b6989586621679323517) = Comparing t t t

Documentation

class PEq a => POrd (a :: Type) Source #

Associated Types

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

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

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

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

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

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

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

Instances

POrd Bool Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd Ordering Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd Nat Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd Symbol Source #
Instance details Defined in Data.Singletons.TypeLits.Internal Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd () Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd Void Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd [a] Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (Maybe a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (Either a b) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (a, b) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (a, b, c) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (a, b, c, d) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (a, b, c, d, e) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (a, b, c, d, e, f) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
POrd (a, b, c, d, e, f, g) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #

type family Comparing (a :: TyFun b a -> Type) (a :: b) (a :: b) :: Ordering where ... Source #

Equations

Comparing p x y = Apply (Apply CompareSym0 (Apply p x)) (Apply p y)

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

Equations

ThenCmp EQ x = x
ThenCmp LT _ = LTSym0
ThenCmp GT _ = GTSym0

Defunctionalization symbols

data ThenCmpSym0 (l :: TyFun Ordering (TyFun Ordering Ordering -> Type)) Source #

Instances

SuppressUnusedWarnings ThenCmpSym0 Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ThenCmpSym0 (l :: Ordering) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ThenCmpSym0 (l :: Ordering) = ThenCmpSym1 l

data ThenCmpSym1 (l :: Ordering) (l :: TyFun Ordering Ordering) Source #

Instances

SuppressUnusedWarnings ThenCmpSym1 Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (ThenCmpSym1 l1 :: TyFun Ordering Ordering -> *) (l2 :: Ordering) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (ThenCmpSym1 l1 :: TyFun Ordering Ordering -> *) (l2 :: Ordering) = ThenCmp l1 l2

type ThenCmpSym2 (t :: Ordering) (t :: Ordering) = ThenCmp t t Source #

type LTSym0 = LT Source #

type EQSym0 = EQ Source #

type GTSym0 = GT Source #

data CompareSym0 (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Ordering -> Type)) Source #

Instances

SuppressUnusedWarnings (CompareSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Ordering -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (CompareSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Ordering -> Type) -> *) (l :: a6989586621679323527) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (CompareSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Ordering -> Type) -> *) (l :: a6989586621679323527) = CompareSym1 l

data CompareSym1 (l :: a6989586621679323527) (l :: TyFun a6989586621679323527 Ordering) Source #

Instances

SuppressUnusedWarnings (CompareSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 Ordering -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (CompareSym1 l1 :: TyFun a Ordering -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (CompareSym1 l1 :: TyFun a Ordering -> *) (l2 :: a) = Compare l1 l2

type CompareSym2 (t :: a6989586621679323527) (t :: a6989586621679323527) = Compare t t Source #

data (<@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type)) Source #

Instances

SuppressUnusedWarnings ((<@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((<@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((<@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) = (<@#@$$) l

data (l :: a6989586621679323527) <@#@$$ (l :: TyFun a6989586621679323527 Bool) Source #

Instances

SuppressUnusedWarnings ((<@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((<@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((<@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) = l1 < l2

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

data (<=@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type)) Source #

Instances

SuppressUnusedWarnings ((<=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((<=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((<=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) = (<=@#@$$) l

data (l :: a6989586621679323527) <=@#@$$ (l :: TyFun a6989586621679323527 Bool) Source #

Instances

SuppressUnusedWarnings ((<=@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((<=@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((<=@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) = l1 <= l2

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

data (>@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type)) Source #

Instances

SuppressUnusedWarnings ((>@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((>@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((>@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) = (>@#@$$) l

data (l :: a6989586621679323527) >@#@$$ (l :: TyFun a6989586621679323527 Bool) Source #

Instances

SuppressUnusedWarnings ((>@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((>@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((>@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) = l1 > l2

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

data (>=@#@$) (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type)) Source #

Instances

SuppressUnusedWarnings ((>=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((>=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((>=@#@$) :: TyFun a6989586621679323527 (TyFun a6989586621679323527 Bool -> Type) -> *) (l :: a6989586621679323527) = (>=@#@$$) l

data (l :: a6989586621679323527) >=@#@$$ (l :: TyFun a6989586621679323527 Bool) Source #

Instances

SuppressUnusedWarnings ((>=@#@$$) :: a6989586621679323527 -> TyFun a6989586621679323527 Bool -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply ((>=@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply ((>=@#@$$) l1 :: TyFun a Bool -> *) (l2 :: a) = l1 >= l2

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

data MaxSym0 (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type)) Source #

Instances

SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (MaxSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) (l :: a6989586621679323527) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (MaxSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) (l :: a6989586621679323527) = MaxSym1 l

data MaxSym1 (l :: a6989586621679323527) (l :: TyFun a6989586621679323527 a6989586621679323527) Source #

Instances

SuppressUnusedWarnings (MaxSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 a6989586621679323527 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (MaxSym1 l1 :: TyFun a a -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (MaxSym1 l1 :: TyFun a a -> *) (l2 :: a) = Max l1 l2

type MaxSym2 (t :: a6989586621679323527) (t :: a6989586621679323527) = Max t t Source #

data MinSym0 (l :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type)) Source #

Instances

SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (MinSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) (l :: a6989586621679323527) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (MinSym0 :: TyFun a6989586621679323527 (TyFun a6989586621679323527 a6989586621679323527 -> Type) -> *) (l :: a6989586621679323527) = MinSym1 l

data MinSym1 (l :: a6989586621679323527) (l :: TyFun a6989586621679323527 a6989586621679323527) Source #

Instances

SuppressUnusedWarnings (MinSym1 :: a6989586621679323527 -> TyFun a6989586621679323527 a6989586621679323527 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (MinSym1 l1 :: TyFun a a -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (MinSym1 l1 :: TyFun a a -> *) (l2 :: a) = Min l1 l2

type MinSym2 (t :: a6989586621679323527) (t :: a6989586621679323527) = Min t t Source #

data ComparingSym0 (l :: TyFun (TyFun b6989586621679323517 a6989586621679323516 -> Type) (TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (ComparingSym0 :: TyFun (TyFun b6989586621679323517 a6989586621679323516 -> Type) (TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (ComparingSym0 :: TyFun (TyFun b6989586621679323517 a6989586621679323516 -> Type) (TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> Type) -> *) (l :: TyFun b6989586621679323517 a6989586621679323516 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (ComparingSym0 :: TyFun (TyFun b6989586621679323517 a6989586621679323516 -> Type) (TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> Type) -> *) (l :: TyFun b6989586621679323517 a6989586621679323516 -> Type) = ComparingSym1 l

data ComparingSym1 (l :: TyFun b6989586621679323517 a6989586621679323516 -> Type) (l :: TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type)) Source #

Instances

SuppressUnusedWarnings (ComparingSym1 :: (TyFun b6989586621679323517 a6989586621679323516 -> Type) -> TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (ComparingSym1 l1 :: TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> *) (l2 :: b6989586621679323517) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (ComparingSym1 l1 :: TyFun b6989586621679323517 (TyFun b6989586621679323517 Ordering -> Type) -> *) (l2 :: b6989586621679323517) = ComparingSym2 l1 l2

data ComparingSym2 (l :: TyFun b6989586621679323517 a6989586621679323516 -> Type) (l :: b6989586621679323517) (l :: TyFun b6989586621679323517 Ordering) Source #

Instances

SuppressUnusedWarnings (ComparingSym2 :: (TyFun b6989586621679323517 a6989586621679323516 -> Type) -> b6989586621679323517 -> TyFun b6989586621679323517 Ordering -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () Source #
type Apply (ComparingSym2 l1 l2 :: TyFun b Ordering -> *) (l3 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Apply (ComparingSym2 l1 l2 :: TyFun b Ordering -> *) (l3 :: b) = Comparing l1 l2 l3

type ComparingSym3 (t :: TyFun b6989586621679323517 a6989586621679323516 -> Type) (t :: b6989586621679323517) (t :: b6989586621679323517) = Comparing t t t Source #