Language.Symantic.Lib.Ord

Symantic for Ord.

Class Sym_Ordering

class Sym_Eq term => Sym_Ordering term where

Methods

ordering :: Ordering -> term Ordering

ordering :: Sym_Ordering (UnT term) => Trans term => Ordering -> term Ordering

Instances

Sym_Ordering View

Methods

ordering :: Ordering -> View Ordering

Sym_Ordering Eval

Methods

ordering :: Ordering -> Eval Ordering

(Sym_Ordering term, Sym_Lambda term) => Sym_Ordering (BetaT term)

Methods

ordering :: Ordering -> BetaT term Ordering

(Sym_Ordering r1, Sym_Ordering r2) => Sym_Ordering (Dup r1 r2)

Methods

ordering :: Ordering -> Dup r1 r2 Ordering

Types

tyOrdering :: Source src => LenInj vs => Type src vs Ordering

Terms

teOrdering :: Source src => SymInj ss Ordering => Ordering -> Term src ss ts '[] (() #> Ordering)

Class Sym_Ord

class Sym_Eq term => Sym_Ord term where

Methods

compare :: Ord a => term a -> term a -> term Ordering

(<) :: Ord a => term a -> term a -> term Bool infix 4

(<=) :: Ord a => term a -> term a -> term Bool infix 4

(>) :: Ord a => term a -> term a -> term Bool infix 4

(>=) :: Ord a => term a -> term a -> term Bool infix 4

max :: Ord a => term a -> term a -> term a

min :: Ord a => term a -> term a -> term a

compare :: Sym_Ord (UnT term) => Trans term => Ord a => term a -> term a -> term Ordering

(<) :: Sym_Ord (UnT term) => Trans term => Ord a => term a -> term a -> term Bool infix 4

(<=) :: Sym_Ord (UnT term) => Trans term => Ord a => term a -> term a -> term Bool infix 4

(>) :: Sym_Ord (UnT term) => Trans term => Ord a => term a -> term a -> term Bool infix 4

(>=) :: Sym_Ord (UnT term) => Trans term => Ord a => term a -> term a -> term Bool infix 4

max :: Sym_Ord (UnT term) => Trans term => Ord a => term a -> term a -> term a

min :: Sym_Ord (UnT term) => Trans term => Ord a => term a -> term a -> term a

Instances

Sym_Ord View

Methods

compare :: Ord a => View a -> View a -> View Ordering

(<) :: Ord a => View a -> View a -> View Bool

(<=) :: Ord a => View a -> View a -> View Bool

(>) :: Ord a => View a -> View a -> View Bool

(>=) :: Ord a => View a -> View a -> View Bool

max :: Ord a => View a -> View a -> View a

min :: Ord a => View a -> View a -> View a

Sym_Ord Eval

Methods

compare :: Ord a => Eval a -> Eval a -> Eval Ordering

(<) :: Ord a => Eval a -> Eval a -> Eval Bool

(<=) :: Ord a => Eval a -> Eval a -> Eval Bool

(>) :: Ord a => Eval a -> Eval a -> Eval Bool

(>=) :: Ord a => Eval a -> Eval a -> Eval Bool

max :: Ord a => Eval a -> Eval a -> Eval a

min :: Ord a => Eval a -> Eval a -> Eval a

(Sym_Ord term, Sym_Lambda term) => Sym_Ord (BetaT term)

Methods

compare :: Ord a => BetaT term a -> BetaT term a -> BetaT term Ordering

(<) :: Ord a => BetaT term a -> BetaT term a -> BetaT term Bool

(<=) :: Ord a => BetaT term a -> BetaT term a -> BetaT term Bool

(>) :: Ord a => BetaT term a -> BetaT term a -> BetaT term Bool

(>=) :: Ord a => BetaT term a -> BetaT term a -> BetaT term Bool

max :: Ord a => BetaT term a -> BetaT term a -> BetaT term a

min :: Ord a => BetaT term a -> BetaT term a -> BetaT term a

(Sym_Ord r1, Sym_Ord r2) => Sym_Ord (Dup r1 r2)

Methods

compare :: Ord a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 Ordering

(<) :: Ord a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 Bool

(<=) :: Ord a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 Bool

(>) :: Ord a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 Bool

(>=) :: Ord a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 Bool

max :: Ord a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 a

min :: Ord a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 a

Types

tyOrd :: Source src => Type src vs a -> Type src vs (Ord a)

Terms

teOrd_compare :: TermDef Ord '[Proxy a] (Ord a #> (a -> a -> Ordering))

teOrd_le :: TermDef Ord '[Proxy a] (Ord a #> (a -> a -> Bool))

teOrd_lt :: TermDef Ord '[Proxy a] (Ord a #> (a -> a -> Bool))

teOrd_ge :: TermDef Ord '[Proxy a] (Ord a #> (a -> a -> Bool))

teOrd_gt :: TermDef Ord '[Proxy a] (Ord a #> (a -> a -> Bool))

teOrd_min :: TermDef Ord '[Proxy a] (Ord a #> (a -> a -> a))

teOrd_max :: TermDef Ord '[Proxy a] (Ord a #> (a -> a -> a))

Orphan instances

ClassInstancesFor * Ordering

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor * Ordering

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf * Ordering

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

(Source src, SymInj * ss Ordering) => ModuleFor * src ss Ordering

Methods

moduleFor :: (PathMod, Module ss Ordering)

Gram_Term_AtomsFor * src ss g Ordering

Methods

g_term_atomsFor :: [CF Ordering (AST_Term ss g)]

ClassInstancesFor (* -> Constraint) Ord

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor (* -> Constraint) Ord

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf (* -> Constraint) Ord

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Ord

Methods

fixityOf :: proxy c -> Maybe Fixity

(Source src, SymInj (* -> Constraint) ss Ord) => ModuleFor (* -> Constraint) src ss Ord

Methods

moduleFor :: (PathMod, Module ss Ord)

Gram_Term_AtomsFor (* -> Constraint) src ss g Ord

Methods

g_term_atomsFor :: [CF Ord (AST_Term ss g)]