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 a6989586621679315171 (TyFun a6989586621679315171 Ordering -> Type))
data CompareSym1 (l :: a6989586621679315171) (l :: TyFun a6989586621679315171 Ordering)
type CompareSym2 (t :: a6989586621679315171) (t :: a6989586621679315171) = Compare t t
data (<@#@$) (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 Bool -> Type))
data (l :: a6989586621679315171) <@#@$$ (l :: TyFun a6989586621679315171 Bool)
type (<@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (<) t t
data (<=@#@$) (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 Bool -> Type))
data (l :: a6989586621679315171) <=@#@$$ (l :: TyFun a6989586621679315171 Bool)
type (<=@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (<=) t t
data (>@#@$) (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 Bool -> Type))
data (l :: a6989586621679315171) >@#@$$ (l :: TyFun a6989586621679315171 Bool)
type (>@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (>) t t
data (>=@#@$) (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 Bool -> Type))
data (l :: a6989586621679315171) >=@#@$$ (l :: TyFun a6989586621679315171 Bool)
type (>=@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (>=) t t
data MaxSym0 (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 a6989586621679315171 -> Type))
data MaxSym1 (l :: a6989586621679315171) (l :: TyFun a6989586621679315171 a6989586621679315171)
type MaxSym2 (t :: a6989586621679315171) (t :: a6989586621679315171) = Max t t
data MinSym0 (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 a6989586621679315171 -> Type))
data MinSym1 (l :: a6989586621679315171) (l :: TyFun a6989586621679315171 a6989586621679315171)
type MinSym2 (t :: a6989586621679315171) (t :: a6989586621679315171) = Min t t
data ComparingSym0 (l :: TyFun (TyFun b6989586621679315161 a6989586621679315160 -> Type) (TyFun b6989586621679315161 (TyFun b6989586621679315161 Ordering -> Type) -> Type))
data ComparingSym1 (l :: TyFun b6989586621679315161 a6989586621679315160 -> Type) (l :: TyFun b6989586621679315161 (TyFun b6989586621679315161 Ordering -> Type))
data ComparingSym2 (l :: TyFun b6989586621679315161 a6989586621679315160 -> Type) (l :: b6989586621679315161) (l :: TyFun b6989586621679315161 Ordering)
type ComparingSym3 (t :: TyFun b6989586621679315161 a6989586621679315160 -> Type) (t :: b6989586621679315161) (t :: b6989586621679315161) = Comparing t t t

Documentation

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

Associated Types

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 #

Instances

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

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

Equations

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

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

Equations

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

Defunctionalization symbols

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

Instances

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

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

Instances

SuppressUnusedWarnings ThenCmpSym1 #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () #
type Apply (ThenCmpSym1 l1 :: TyFun Ordering Ordering -> *) (l2 :: Ordering) #
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 #

type LTSym0 = LT #

type EQSym0 = EQ #

type GTSym0 = GT #

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

Instances

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

data CompareSym1 (l :: a6989586621679315171) (l :: TyFun a6989586621679315171 Ordering) #

Instances

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

type CompareSym2 (t :: a6989586621679315171) (t :: a6989586621679315171) = Compare t t #

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

Instances

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

data (l :: a6989586621679315171) <@#@$$ (l :: TyFun a6989586621679315171 Bool) #

Instances

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

type (<@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (<) t t #

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

Instances

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

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

Instances

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

type (<=@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (<=) t t #

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

Instances

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

data (l :: a6989586621679315171) >@#@$$ (l :: TyFun a6989586621679315171 Bool) #

Instances

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

type (>@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (>) t t #

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

Instances

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

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

Instances

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

type (>=@#@$$$) (t :: a6989586621679315171) (t :: a6989586621679315171) = (>=) t t #

data MaxSym0 (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 a6989586621679315171 -> Type)) #

Instances

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

data MaxSym1 (l :: a6989586621679315171) (l :: TyFun a6989586621679315171 a6989586621679315171) #

Instances

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

type MaxSym2 (t :: a6989586621679315171) (t :: a6989586621679315171) = Max t t #

data MinSym0 (l :: TyFun a6989586621679315171 (TyFun a6989586621679315171 a6989586621679315171 -> Type)) #

Instances

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

data MinSym1 (l :: a6989586621679315171) (l :: TyFun a6989586621679315171 a6989586621679315171) #

Instances

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

type MinSym2 (t :: a6989586621679315171) (t :: a6989586621679315171) = Min t t #

data ComparingSym0 (l :: TyFun (TyFun b6989586621679315161 a6989586621679315160 -> Type) (TyFun b6989586621679315161 (TyFun b6989586621679315161 Ordering -> Type) -> Type)) #

Instances

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

data ComparingSym1 (l :: TyFun b6989586621679315161 a6989586621679315160 -> Type) (l :: TyFun b6989586621679315161 (TyFun b6989586621679315161 Ordering -> Type)) #

Instances

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

data ComparingSym2 (l :: TyFun b6989586621679315161 a6989586621679315160 -> Type) (l :: b6989586621679315161) (l :: TyFun b6989586621679315161 Ordering) #

Instances

SuppressUnusedWarnings (ComparingSym2 :: (TyFun b6989586621679315161 a6989586621679315160 -> Type) -> b6989586621679315161 -> TyFun b6989586621679315161 Ordering -> *) #
Instance details Defined in Data.Singletons.Prelude.Ord Methods suppressUnusedWarnings :: () #
type Apply (ComparingSym2 l1 l2 :: TyFun b Ordering -> *) (l3 :: b) #
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 b6989586621679315161 a6989586621679315160 -> Type) (t :: b6989586621679315161) (t :: b6989586621679315161) = Comparing t t t #