singletons-2.2: 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 (Proxy :: Proxy a), kproxy ~ Proxy) => POrd kproxy #

Associated Types

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

type (arg :: a) :< (arg :: a) :: Bool infix 4 #

type (arg :: a) :<= (arg :: a) :: Bool infix 4 #

type (arg :: a) :> (arg :: a) :: Bool infix 4 #

type (arg :: a) :>= (arg :: a) :: Bool infix 4 #

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

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

Instances

POrd Bool (Proxy * Bool) # 

Associated Types

type Compare (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: Ordering #

type ((Proxy * Bool) :< (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool #

type ((Proxy * Bool) :<= (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool #

type ((Proxy * Bool) :> (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool #

type ((Proxy * Bool) :>= (arg :: Proxy * Bool)) (arg :: Proxy * Bool) :: Bool #

type Max (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: a #

type Min (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: a #

POrd Ordering (Proxy * Ordering) # 

Associated Types

type Compare (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: Ordering #

type ((Proxy * Ordering) :< (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool #

type ((Proxy * Ordering) :<= (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool #

type ((Proxy * Ordering) :> (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool #

type ((Proxy * Ordering) :>= (arg :: Proxy * Ordering)) (arg :: Proxy * Ordering) :: Bool #

type Max (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: a #

type Min (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: a #

POrd () (Proxy * ()) # 

Associated Types

type Compare (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: Ordering #

type ((Proxy * ()) :< (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool #

type ((Proxy * ()) :<= (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool #

type ((Proxy * ()) :> (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool #

type ((Proxy * ()) :>= (arg :: Proxy * ())) (arg :: Proxy * ()) :: Bool #

type Max (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: a #

type Min (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: a #

POrd [a0] (Proxy * [a0]) # 

Associated Types

type Compare (Proxy * [a0]) (arg :: Proxy * [a0]) (arg :: Proxy * [a0]) :: Ordering #

type ((Proxy * [a0]) :< (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool #

type ((Proxy * [a0]) :<= (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool #

type ((Proxy * [a0]) :> (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool #

type ((Proxy * [a0]) :>= (arg :: Proxy * [a0])) (arg :: Proxy * [a0]) :: Bool #

type Max (Proxy * [a0]) (arg :: Proxy * [a0]) (arg :: Proxy * [a0]) :: a #

type Min (Proxy * [a0]) (arg :: Proxy * [a0]) (arg :: Proxy * [a0]) :: a #

POrd (Maybe a0) (Proxy * (Maybe a0)) # 

Associated Types

type Compare (Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) :: Ordering #

type ((Proxy * (Maybe a0)) :< (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool #

type ((Proxy * (Maybe a0)) :<= (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool #

type ((Proxy * (Maybe a0)) :> (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool #

type ((Proxy * (Maybe a0)) :>= (arg :: Proxy * (Maybe a0))) (arg :: Proxy * (Maybe a0)) :: Bool #

type Max (Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) :: a #

type Min (Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) (arg :: Proxy * (Maybe a0)) :: a #

POrd (NonEmpty a0) (Proxy * (NonEmpty a0)) # 

Associated Types

type Compare (Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) :: Ordering #

type ((Proxy * (NonEmpty a0)) :< (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool #

type ((Proxy * (NonEmpty a0)) :<= (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool #

type ((Proxy * (NonEmpty a0)) :> (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool #

type ((Proxy * (NonEmpty a0)) :>= (arg :: Proxy * (NonEmpty a0))) (arg :: Proxy * (NonEmpty a0)) :: Bool #

type Max (Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) :: a #

type Min (Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) (arg :: Proxy * (NonEmpty a0)) :: a #

POrd (Either a0 b0) (Proxy * (Either a0 b0)) # 

Associated Types

type Compare (Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) :: Ordering #

type ((Proxy * (Either a0 b0)) :< (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool #

type ((Proxy * (Either a0 b0)) :<= (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool #

type ((Proxy * (Either a0 b0)) :> (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool #

type ((Proxy * (Either a0 b0)) :>= (arg :: Proxy * (Either a0 b0))) (arg :: Proxy * (Either a0 b0)) :: Bool #

type Max (Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) :: a #

type Min (Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) (arg :: Proxy * (Either a0 b0)) :: a #

POrd (a0, b0) (Proxy * (a0, b0)) # 

Associated Types

type Compare (Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) :: Ordering #

type ((Proxy * (a0, b0)) :< (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool #

type ((Proxy * (a0, b0)) :<= (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool #

type ((Proxy * (a0, b0)) :> (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool #

type ((Proxy * (a0, b0)) :>= (arg :: Proxy * (a0, b0))) (arg :: Proxy * (a0, b0)) :: Bool #

type Max (Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) :: a #

type Min (Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) (arg :: Proxy * (a0, b0)) :: a #

POrd (a0, b0, c0) (Proxy * (a0, b0, c0)) # 

Associated Types

type Compare (Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) :: Ordering #

type ((Proxy * (a0, b0, c0)) :< (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool #

type ((Proxy * (a0, b0, c0)) :<= (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool #

type ((Proxy * (a0, b0, c0)) :> (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool #

type ((Proxy * (a0, b0, c0)) :>= (arg :: Proxy * (a0, b0, c0))) (arg :: Proxy * (a0, b0, c0)) :: Bool #

type Max (Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) :: a #

type Min (Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) (arg :: Proxy * (a0, b0, c0)) :: a #

POrd (a0, b0, c0, d0) (Proxy * (a0, b0, c0, d0)) # 

Associated Types

type Compare (Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) :: Ordering #

type ((Proxy * (a0, b0, c0, d0)) :< (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0)) :<= (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0)) :> (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0)) :>= (arg :: Proxy * (a0, b0, c0, d0))) (arg :: Proxy * (a0, b0, c0, d0)) :: Bool #

type Max (Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) :: a #

type Min (Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) (arg :: Proxy * (a0, b0, c0, d0)) :: a #

POrd (a0, b0, c0, d0, e0) (Proxy * (a0, b0, c0, d0, e0)) # 

Associated Types

type Compare (Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Ordering #

type ((Proxy * (a0, b0, c0, d0, e0)) :< (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0)) :<= (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0)) :> (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0)) :>= (arg :: Proxy * (a0, b0, c0, d0, e0))) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: Bool #

type Max (Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: a #

type Min (Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) (arg :: Proxy * (a0, b0, c0, d0, e0)) :: a #

POrd (a0, b0, c0, d0, e0, f0) (Proxy * (a0, b0, c0, d0, e0, f0)) # 

Associated Types

type Compare (Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Ordering #

type ((Proxy * (a0, b0, c0, d0, e0, f0)) :< (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0, f0)) :<= (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0, f0)) :> (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0, f0)) :>= (arg :: Proxy * (a0, b0, c0, d0, e0, f0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: Bool #

type Max (Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: a #

type Min (Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0)) :: a #

POrd (a0, b0, c0, d0, e0, f0, g0) (Proxy * (a0, b0, c0, d0, e0, f0, g0)) # 

Associated Types

type Compare (Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Ordering #

type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :< (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :<= (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :> (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool #

type ((Proxy * (a0, b0, c0, d0, e0, f0, g0)) :>= (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0))) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: Bool #

type Max (Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: a #

type Min (Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) (arg :: Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: a #

type LTSym0 = LT #

type EQSym0 = EQ #

type GTSym0 = GT #

data CompareSym0 l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Ordering -> Type) -> *) (CompareSym0 a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy (CompareSym0 a6989586621679513517) t -> () #

type Apply a6989586621679513517 (TyFun a6989586621679513517 Ordering -> Type) (CompareSym0 a6989586621679513517) l0 # 
type Apply a6989586621679513517 (TyFun a6989586621679513517 Ordering -> Type) (CompareSym0 a6989586621679513517) l0 = CompareSym1 a6989586621679513517 l0

data CompareSym1 l l #

Instances

SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Ordering -> *) (CompareSym1 a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy (CompareSym1 a6989586621679513517) t -> () #

type Apply a6989586621679513517 Ordering (CompareSym1 a6989586621679513517 l0) l1 # 
type Apply a6989586621679513517 Ordering (CompareSym1 a6989586621679513517 l0) l1 = CompareSym2 a6989586621679513517 l0 l1

type CompareSym2 t t = Compare t t #

data (:<$) l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:<$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:<$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:<$) a6989586621679513517) l0 # 
type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:<$) a6989586621679513517) l0 = (:<$$) a6989586621679513517 l0

data l :<$$ l #

Instances

SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:<$$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:<$$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 Bool ((:<$$) a6989586621679513517 l0) l1 # 
type Apply a6989586621679513517 Bool ((:<$$) a6989586621679513517 l0) l1 = (:<$$$) a6989586621679513517 l0 l1

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

data (:<=$) l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:<=$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:<=$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:<=$) a6989586621679513517) l0 # 
type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:<=$) a6989586621679513517) l0 = (:<=$$) a6989586621679513517 l0

data l :<=$$ l #

Instances

SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:<=$$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:<=$$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 Bool ((:<=$$) a6989586621679513517 l0) l1 # 
type Apply a6989586621679513517 Bool ((:<=$$) a6989586621679513517 l0) l1 = (:<=$$$) a6989586621679513517 l0 l1

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

data (:>$) l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:>$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:>$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:>$) a6989586621679513517) l0 # 
type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:>$) a6989586621679513517) l0 = (:>$$) a6989586621679513517 l0

data l :>$$ l #

Instances

SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:>$$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:>$$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 Bool ((:>$$) a6989586621679513517 l0) l1 # 
type Apply a6989586621679513517 Bool ((:>$$) a6989586621679513517 l0) l1 = (:>$$$) a6989586621679513517 l0 l1

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

data (:>=$) l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:>=$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:>=$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:>=$) a6989586621679513517) l0 # 
type Apply a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) ((:>=$) a6989586621679513517) l0 = (:>=$$) a6989586621679513517 l0

data l :>=$$ l #

Instances

SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:>=$$) a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy ((:>=$$) a6989586621679513517) t -> () #

type Apply a6989586621679513517 Bool ((:>=$$) a6989586621679513517 l0) l1 # 
type Apply a6989586621679513517 Bool ((:>=$$) a6989586621679513517 l0) l1 = (:>=$$$) a6989586621679513517 l0 l1

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

data MaxSym0 l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) -> *) (MaxSym0 a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy (MaxSym0 a6989586621679513517) t -> () #

type Apply a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) (MaxSym0 a6989586621679513517) l0 # 
type Apply a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) (MaxSym0 a6989586621679513517) l0 = MaxSym1 a6989586621679513517 l0

data MaxSym1 l l #

Instances

SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 a6989586621679513517 -> *) (MaxSym1 a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy (MaxSym1 a6989586621679513517) t -> () #

type Apply a6989586621679513517 a6989586621679513517 (MaxSym1 a6989586621679513517 l0) l1 # 
type Apply a6989586621679513517 a6989586621679513517 (MaxSym1 a6989586621679513517 l0) l1 = MaxSym2 a6989586621679513517 l0 l1

type MaxSym2 t t = Max t t #

data MinSym0 l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) -> *) (MinSym0 a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy (MinSym0 a6989586621679513517) t -> () #

type Apply a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) (MinSym0 a6989586621679513517) l0 # 
type Apply a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) (MinSym0 a6989586621679513517) l0 = MinSym1 a6989586621679513517 l0

data MinSym1 l l #

Instances

SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 a6989586621679513517 -> *) (MinSym1 a6989586621679513517) # 

Methods

suppressUnusedWarnings :: Proxy (MinSym1 a6989586621679513517) t -> () #

type Apply a6989586621679513517 a6989586621679513517 (MinSym1 a6989586621679513517 l0) l1 # 
type Apply a6989586621679513517 a6989586621679513517 (MinSym1 a6989586621679513517 l0) l1 = MinSym2 a6989586621679513517 l0 l1

type MinSym2 t t = Min t t #