Language.Symantic.Lib.Ord

Symantic for Ord.

Class Sym_Ordering

class Sym_Eq term => Sym_Ordering term where

Minimal complete definition

Nothing

Methods

ordering :: Ordering -> term Ordering

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

Instances

Sym_Ordering View

Defined in Language.Symantic.Lib.Ord

Methods

ordering :: Ordering -> View Ordering

Sym_Ordering Eval

Defined in Language.Symantic.Lib.Ord

Methods

ordering :: Ordering -> Eval Ordering

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

Defined in Language.Symantic.Lib.Ord

Methods

ordering :: Ordering -> BetaT term Ordering

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

Defined in Language.Symantic.Lib.Ord

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

Minimal complete definition

Nothing

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

Defined in Language.Symantic.Lib.Ord

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

Defined in Language.Symantic.Lib.Ord

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)

Defined in Language.Symantic.Lib.Ord

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)

Defined in Language.Symantic.Lib.Ord

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 Ordering -> Type src vs q -> Maybe (Qual q)

TypeInstancesFor Ordering

Methods

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

NameTyOf Ordering

Methods

nameTyOf :: proxy Ordering -> Mod NameTy

isNameTyOp :: proxy Ordering -> Bool

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

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Ordering

Methods

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

ClassInstancesFor Ord

Methods

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

TypeInstancesFor Ord

Methods

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

NameTyOf Ord

Methods

nameTyOf :: proxy Ord -> Mod NameTy

isNameTyOp :: proxy Ord -> Bool

FixityOf Ord

Methods

fixityOf :: proxy Ord -> Maybe Fixity

(Source src, SymInj ss Ord) => ModuleFor src ss Ord

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Ord

Methods

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