DDF.Ordering

Documentation

class Bool r => Ordering r where

Minimal complete definition

sel, ordering

Methods

sel :: r h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> r h Ordering

ltOrd :: r h Ordering

eqOrd :: r h Ordering

gtOrd :: r h Ordering

isLT :: r h (Ordering -> Bool)

isEQ :: r h (Ordering -> Bool)

isGT :: r h (Ordering -> Bool)

chainOrd :: r h (Ordering -> Ordering -> Ordering)

Instances

Ordering Eval

Methods

sel :: Eval h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> Eval h Ordering

ltOrd :: Eval h Ordering

eqOrd :: Eval h Ordering

gtOrd :: Eval h Ordering

isLT :: Eval h (Ordering -> Bool)

isEQ :: Eval h (Ordering -> Bool)

isGT :: Eval h (Ordering -> Bool)

chainOrd :: Eval h (Ordering -> Ordering -> Ordering)

Ordering Show

Methods

sel :: Show h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> Show h Ordering

ltOrd :: Show h Ordering

eqOrd :: Show h Ordering

gtOrd :: Show h Ordering

isLT :: Show h (Ordering -> Bool)

isEQ :: Show h (Ordering -> Bool)

isGT :: Show h (Ordering -> Bool)

chainOrd :: Show h (Ordering -> Ordering -> Ordering)

Ordering Size

Methods

sel :: Size h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> Size h Ordering

ltOrd :: Size h Ordering

eqOrd :: Size h Ordering

gtOrd :: Size h Ordering

isLT :: Size h (Ordering -> Bool)

isEQ :: Size h (Ordering -> Bool)

isGT :: Size h (Ordering -> Bool)

chainOrd :: Size h (Ordering -> Ordering -> Ordering)

Ordering repr => Ordering (P repr)

Methods

sel :: P repr h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> P repr h Ordering

ltOrd :: P repr h Ordering

eqOrd :: P repr h Ordering

gtOrd :: P repr h Ordering

isLT :: P repr h (Ordering -> Bool)

isEQ :: P repr h (Ordering -> Bool)

isGT :: P repr h (Ordering -> Bool)

chainOrd :: P repr h (Ordering -> Ordering -> Ordering)

SubL c Ordering => Ordering (Term c)

Methods

sel :: Term c h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> Term c h Ordering

ltOrd :: Term c h Ordering

eqOrd :: Term c h Ordering

gtOrd :: Term c h Ordering

isLT :: Term c h (Ordering -> Bool)

isEQ :: Term c h (Ordering -> Bool)

isGT :: Term c h (Ordering -> Bool)

chainOrd :: Term c h (Ordering -> Ordering -> Ordering)

Ordering r => Ordering (UnHOAS r)

Methods

sel :: UnHOAS r h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> UnHOAS r h Ordering

ltOrd :: UnHOAS r h Ordering

eqOrd :: UnHOAS r h Ordering

gtOrd :: UnHOAS r h Ordering

isLT :: UnHOAS r h (Ordering -> Bool)

isEQ :: UnHOAS r h (Ordering -> Bool)

isGT :: UnHOAS r h (Ordering -> Bool)

chainOrd :: UnHOAS r h (Ordering -> Ordering -> Ordering)

(Prod r, Ordering r) => Ordering (UnLiftEnv r)

Methods

sel :: UnLiftEnv r h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> UnLiftEnv r h Ordering

ltOrd :: UnLiftEnv r h Ordering

eqOrd :: UnLiftEnv r h Ordering

gtOrd :: UnLiftEnv r h Ordering

isLT :: UnLiftEnv r h (Ordering -> Bool)

isEQ :: UnLiftEnv r h (Ordering -> Bool)

isGT :: UnLiftEnv r h (Ordering -> Bool)

chainOrd :: UnLiftEnv r h (Ordering -> Ordering -> Ordering)

(Prod r, Ordering r) => Ordering (ImpW r)

Methods

sel :: ImpW r h (a -> a -> a -> Ordering -> a)

ordering :: Ordering -> ImpW r h Ordering

ltOrd :: ImpW r h Ordering

eqOrd :: ImpW r h Ordering

gtOrd :: ImpW r h Ordering

isLT :: ImpW r h (Ordering -> Bool)

isEQ :: ImpW r h (Ordering -> Bool)

isGT :: ImpW r h (Ordering -> Bool)

chainOrd :: ImpW r h (Ordering -> Ordering -> Ordering)

type SubLC c Ordering

type SubLC c Ordering = SubL c Bool

sel1 :: Ordering r => r h a -> r h (a -> a -> Ordering -> a)

sel2 :: Ordering r => r h a -> r h a -> r h (a -> Ordering -> a)

sel3 :: Ordering r => r h a -> r h a -> r h a -> r h (Ordering -> a)

sel4 :: Ordering r => r h b -> r h b -> r h b -> r h Ordering -> r h b

isLT1 :: Ordering r => r h Ordering -> r h Bool

isEQ1 :: Ordering r => r h Ordering -> r h Bool

isGT1 :: Ordering r => r h Ordering -> r h Bool

chainOrd1 :: Ordering r => r h Ordering -> r h (Ordering -> Ordering)

chainOrd2 :: Ordering r => r h Ordering -> r h Ordering -> r h Ordering

class Ordering r => ObjOrd r x where

Minimal complete definition

cmp

Methods

cmp :: r h (x -> x -> Ordering)

eq :: r h (x -> x -> Bool)

Instances

ObjOrd Show (VectorTF a b)

Methods

cmp :: Show h (VectorTF a b -> VectorTF a b -> Ordering)

eq :: Show h (VectorTF a b -> VectorTF a b -> Bool)

Int repr => ObjOrd (P repr) Int

Methods

cmp :: P repr h (Int -> Int -> Ordering)

eq :: P repr h (Int -> Int -> Bool)

eq1 :: ObjOrd r a => r h a -> r h (a -> Bool)

eq2 :: ObjOrd r a => r h a -> r h a -> r h Bool

cmp1 :: ObjOrd r a => r h a -> r h (a -> Ordering)

cmp2 :: ObjOrd r a => r h a -> r h a -> r h Ordering

type Cmp a = a -> a -> Ordering

module DDF.Bool