DDF.Ordering

Documentation

class DBI repr => Ordering repr where

Minimal complete definition

sel, ordering

Methods

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

ordering :: Ordering -> repr h Ordering

ltOrd :: repr h Ordering

eqOrd :: repr h Ordering

gtOrd :: repr h 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

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

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

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

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

(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

(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

type SubLC c Ordering

type SubLC c Ordering = SubL c DBI

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

isLT :: (Bool r, Ordering r) => r h (Ordering -> Bool)

isEQ :: (Bool r, Ordering r) => r h (Ordering -> Bool)

isGT :: (Bool r, Ordering r) => r h (Ordering -> Bool)

module DDF.DBI