singletons-2.1: A framework for generating singleton types

Copyright(C) 2014 Jan Stolarek
LicenseBSD-style (see LICENSE)
MaintainerJan Stolarek (jan.stolarek@p.lodz.pl)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude.Ord

Description

Provides promoted definitions related to type-level comparisons.

Documentation

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

Associated Types

type Compare arg arg :: Ordering Source

type arg :< arg :: Bool infix 4 Source

type arg :<= arg :: Bool infix 4 Source

type arg :> arg :: Bool infix 4 Source

type arg :>= arg :: Bool infix 4 Source

type Max arg arg :: a Source

type Min arg arg :: a Source

Instances

POrd Bool (KProxy Bool) Source 
POrd Ordering (KProxy Ordering) Source 
POrd () (KProxy ()) Source 
POrd [a] (KProxy [a]) Source 
POrd (Maybe a) (KProxy (Maybe a)) Source 
POrd (Either a b) (KProxy (Either a b)) Source 
POrd ((,) a b) (KProxy ((,) a b)) Source 
POrd ((,,) a b c) (KProxy ((,,) a b c)) Source 
POrd ((,,,) a b c d) (KProxy ((,,,) a b c d)) Source 
POrd ((,,,,) a b c d e) (KProxy ((,,,,) a b c d e)) Source 
POrd ((,,,,,) a b c d e f) (KProxy ((,,,,,) a b c d e f)) Source 
POrd ((,,,,,,) a b c d e f g) (KProxy ((,,,,,,) a b c d e f g)) Source 

data CompareSym0 l Source

Instances

data CompareSym1 l l Source

Instances

type CompareSym2 t t = Compare t t Source

data (:<$) l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k Bool -> *) -> *) ((:<$) k) Source 
type Apply (TyFun k Bool -> *) k ((:<$) k) l0 = (:<$$) k l0 Source 

data l :<$$ l Source

Instances

SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:<$$) k) Source 
type Apply Bool k ((:<$$) k l1) l0 = (:<$$$) k l1 l0 Source 

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

data (:<=$) l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k Bool -> *) -> *) ((:<=$) k) Source 
type Apply (TyFun k Bool -> *) k ((:<=$) k) l0 = (:<=$$) k l0 Source 

data l :<=$$ l Source

Instances

SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:<=$$) k) Source 
type Apply Bool k ((:<=$$) k l1) l0 = (:<=$$$) k l1 l0 Source 

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

data (:>$) l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k Bool -> *) -> *) ((:>$) k) Source 
type Apply (TyFun k Bool -> *) k ((:>$) k) l0 = (:>$$) k l0 Source 

data l :>$$ l Source

Instances

SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:>$$) k) Source 
type Apply Bool k ((:>$$) k l1) l0 = (:>$$$) k l1 l0 Source 

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

data (:>=$) l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k Bool -> *) -> *) ((:>=$) k) Source 
type Apply (TyFun k Bool -> *) k ((:>=$) k) l0 = (:>=$$) k l0 Source 

data l :>=$$ l Source

Instances

SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:>=$$) k) Source 
type Apply Bool k ((:>=$$) k l1) l0 = (:>=$$$) k l1 l0 Source 

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

data MaxSym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k k -> *) -> *) (MaxSym0 k) Source 
type Apply (TyFun k k -> *) k (MaxSym0 k) l0 = MaxSym1 k l0 Source 

data MaxSym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k k -> *) (MaxSym1 k) Source 
type Apply k k (MaxSym1 k l1) l0 = MaxSym2 k l1 l0 Source 

type MaxSym2 t t = Max t t Source

data MinSym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k k -> *) -> *) (MinSym0 k) Source 
type Apply (TyFun k k -> *) k (MinSym0 k) l0 = MinSym1 k l0 Source 

data MinSym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k k -> *) (MinSym1 k) Source 
type Apply k k (MinSym1 k l1) l0 = MinSym2 k l1 l0 Source 

type MinSym2 t t = Min t t Source