Safe Haskell	Safe
Language	Haskell2010

DDF.Ordering

Documentation

class Bool r => Ordering r where Source #

Minimal complete definition

sel, ordering

Methods

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

ordering :: Ordering -> r h Ordering Source #

ltOrd :: r h Ordering Source #

eqOrd :: r h Ordering Source #

gtOrd :: r h Ordering Source #

isLT :: r h (Ordering -> Bool) Source #

isEQ :: r h (Ordering -> Bool) Source #

isGT :: r h (Ordering -> Bool) Source #

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

Instances

Ordering Eval Source #
Methods sel :: Eval h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> Eval h Ordering Source # ltOrd :: Eval h Ordering Source # eqOrd :: Eval h Ordering Source # gtOrd :: Eval h Ordering Source # isLT :: Eval h (Ordering -> Bool) Source # isEQ :: Eval h (Ordering -> Bool) Source # isGT :: Eval h (Ordering -> Bool) Source # chainOrd :: Eval h (Ordering -> Ordering -> Ordering) Source #
Ordering Show Source #
Methods sel :: Show h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> Show h Ordering Source # ltOrd :: Show h Ordering Source # eqOrd :: Show h Ordering Source # gtOrd :: Show h Ordering Source # isLT :: Show h (Ordering -> Bool) Source # isEQ :: Show h (Ordering -> Bool) Source # isGT :: Show h (Ordering -> Bool) Source # chainOrd :: Show h (Ordering -> Ordering -> Ordering) Source #
Ordering Size Source #
Methods sel :: Size h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> Size h Ordering Source # ltOrd :: Size h Ordering Source # eqOrd :: Size h Ordering Source # gtOrd :: Size h Ordering Source # isLT :: Size h (Ordering -> Bool) Source # isEQ :: Size h (Ordering -> Bool) Source # isGT :: Size h (Ordering -> Bool) Source # chainOrd :: Size h (Ordering -> Ordering -> Ordering) Source #
Ordering repr => Ordering (P repr) Source #
Methods sel :: P repr h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> P repr h Ordering Source # ltOrd :: P repr h Ordering Source # eqOrd :: P repr h Ordering Source # gtOrd :: P repr h Ordering Source # isLT :: P repr h (Ordering -> Bool) Source # isEQ :: P repr h (Ordering -> Bool) Source # isGT :: P repr h (Ordering -> Bool) Source # chainOrd :: P repr h (Ordering -> Ordering -> Ordering) Source #
SubL c Ordering => Ordering (Term c) Source #
Methods sel :: Term c h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> Term c h Ordering Source # ltOrd :: Term c h Ordering Source # eqOrd :: Term c h Ordering Source # gtOrd :: Term c h Ordering Source # isLT :: Term c h (Ordering -> Bool) Source # isEQ :: Term c h (Ordering -> Bool) Source # isGT :: Term c h (Ordering -> Bool) Source # chainOrd :: Term c h (Ordering -> Ordering -> Ordering) Source #
Ordering r => Ordering (UnHOAS r) Source #
Methods sel :: UnHOAS r h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> UnHOAS r h Ordering Source # ltOrd :: UnHOAS r h Ordering Source # eqOrd :: UnHOAS r h Ordering Source # gtOrd :: UnHOAS r h Ordering Source # isLT :: UnHOAS r h (Ordering -> Bool) Source # isEQ :: UnHOAS r h (Ordering -> Bool) Source # isGT :: UnHOAS r h (Ordering -> Bool) Source # chainOrd :: UnHOAS r h (Ordering -> Ordering -> Ordering) Source #
(Prod r, Ordering r) => Ordering (UnLiftEnv r) Source #
Methods sel :: UnLiftEnv r h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> UnLiftEnv r h Ordering Source # ltOrd :: UnLiftEnv r h Ordering Source # eqOrd :: UnLiftEnv r h Ordering Source # gtOrd :: UnLiftEnv r h Ordering Source # isLT :: UnLiftEnv r h (Ordering -> Bool) Source # isEQ :: UnLiftEnv r h (Ordering -> Bool) Source # isGT :: UnLiftEnv r h (Ordering -> Bool) Source # chainOrd :: UnLiftEnv r h (Ordering -> Ordering -> Ordering) Source #
(Prod r, Ordering r) => Ordering (ImpW r) Source #
Methods sel :: ImpW r h (a -> a -> a -> Ordering -> a) Source # ordering :: Ordering -> ImpW r h Ordering Source # ltOrd :: ImpW r h Ordering Source # eqOrd :: ImpW r h Ordering Source # gtOrd :: ImpW r h Ordering Source # isLT :: ImpW r h (Ordering -> Bool) Source # isEQ :: ImpW r h (Ordering -> Bool) Source # isGT :: ImpW r h (Ordering -> Bool) Source # chainOrd :: ImpW r h (Ordering -> Ordering -> Ordering) Source #
type SubLC c Ordering Source #
type SubLC c Ordering = SubL c Bool

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

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

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

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

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

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

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

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

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

class Ordering r => ObjOrd r x where Source #

Minimal complete definition

cmp

Methods

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

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

Instances

ObjOrd Show (VectorTF a b) Source #
Methods cmp :: Show h (VectorTF a b -> VectorTF a b -> Ordering) Source # eq :: Show h (VectorTF a b -> VectorTF a b -> Bool) Source #
Int repr => ObjOrd (P repr) Int Source #
Methods cmp :: P repr h (Int -> Int -> Ordering) Source # eq :: P repr h (Int -> Int -> Bool) Source #

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

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

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

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

type Cmp a = a -> a -> Ordering Source #

module DDF.Bool