Language.Symantic.Lib.Bounded

Symantic for Bounded.

Class Sym_Bounded

class Sym_Bounded term where

Methods

minBound :: Bounded a => term a

maxBound :: Bounded a => term a

minBound :: Sym_Bounded (UnT term) => Trans term => Bounded a => term a

maxBound :: Sym_Bounded (UnT term) => Trans term => Bounded a => term a

Instances

Sym_Bounded Eval

Methods

minBound :: Bounded a => Eval a

maxBound :: Bounded a => Eval a

Sym_Bounded View

Methods

minBound :: Bounded a => View a

maxBound :: Bounded a => View a

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

Methods

minBound :: Bounded a => BetaT term a

maxBound :: Bounded a => BetaT term a

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

Methods

minBound :: Bounded a => Dup r1 r2 a

maxBound :: Bounded a => Dup r1 r2 a

Types

tyBounded :: Source src => Type src vs a -> Type src vs (Bounded a)

Terms

teBounded_minBound :: TermDef Bounded '[Proxy a] (Bounded a #> a)

teBounded_maxBound :: TermDef Bounded '[Proxy a] (Bounded a #> a)

Orphan instances

ClassInstancesFor (* -> Constraint) Bounded

Methods

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

TypeInstancesFor (* -> Constraint) Bounded

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) Bounded

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Bounded

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss Bounded)

Gram_Term_AtomsFor (* -> Constraint) src ss g Bounded

Methods

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