Language.Symantic.Lib.Num

Symantic for Num.

Class Sym_Num

class Sym_Num term where

Methods

abs :: Num n => term n -> term n

negate :: Num n => term n -> term n

signum :: Num n => term n -> term n

(+) :: Num n => term n -> term n -> term n infixl 6

(-) :: Num n => term n -> term n -> term n infixl 6

(*) :: Num n => term n -> term n -> term n infixl 7

fromInteger :: Num n => term Integer -> term n

abs :: Sym_Num (UnT term) => Trans term => Num n => term n -> term n

negate :: Sym_Num (UnT term) => Trans term => Num n => term n -> term n

signum :: Sym_Num (UnT term) => Trans term => Num n => term n -> term n

(+) :: Sym_Num (UnT term) => Trans term => Num n => term n -> term n -> term n infixl 6

(-) :: Sym_Num (UnT term) => Trans term => Num n => term n -> term n -> term n infixl 6

(*) :: Sym_Num (UnT term) => Trans term => Num n => term n -> term n -> term n infixl 7

fromInteger :: Sym_Num (UnT term) => Trans term => Num n => term Integer -> term n

Instances

Sym_Num Eval

Methods

abs :: Num n => Eval n -> Eval n

negate :: Num n => Eval n -> Eval n

signum :: Num n => Eval n -> Eval n

(+) :: Num n => Eval n -> Eval n -> Eval n

(-) :: Num n => Eval n -> Eval n -> Eval n

(*) :: Num n => Eval n -> Eval n -> Eval n

fromInteger :: Num n => Eval Integer -> Eval n

Sym_Num View

Methods

abs :: Num n => View n -> View n

negate :: Num n => View n -> View n

signum :: Num n => View n -> View n

(+) :: Num n => View n -> View n -> View n

(-) :: Num n => View n -> View n -> View n

(*) :: Num n => View n -> View n -> View n

fromInteger :: Num n => View Integer -> View n

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

Methods

abs :: Num n => BetaT term n -> BetaT term n

negate :: Num n => BetaT term n -> BetaT term n

signum :: Num n => BetaT term n -> BetaT term n

(+) :: Num n => BetaT term n -> BetaT term n -> BetaT term n

(-) :: Num n => BetaT term n -> BetaT term n -> BetaT term n

(*) :: Num n => BetaT term n -> BetaT term n -> BetaT term n

fromInteger :: Num n => BetaT term Integer -> BetaT term n

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

Methods

abs :: Num n => Dup r1 r2 n -> Dup r1 r2 n

negate :: Num n => Dup r1 r2 n -> Dup r1 r2 n

signum :: Num n => Dup r1 r2 n -> Dup r1 r2 n

(+) :: Num n => Dup r1 r2 n -> Dup r1 r2 n -> Dup r1 r2 n

(-) :: Num n => Dup r1 r2 n -> Dup r1 r2 n -> Dup r1 r2 n

(*) :: Num n => Dup r1 r2 n -> Dup r1 r2 n -> Dup r1 r2 n

fromInteger :: Num n => Dup r1 r2 Integer -> Dup r1 r2 n

Types

tyNum :: Source src => Type src vs a -> Type src vs (Num a)

Terms

teNum_fromInteger :: TermDef Num '[Proxy a] (Num a #> (Integer -> a))

teNum_abs :: TermDef Num '[Proxy a] (Num a #> (a -> a))

teNum_negate :: TermDef Num '[Proxy a] (Num a #> (a -> a))

teNum_signum :: TermDef Num '[Proxy a] (Num a #> (a -> a))

teNum_add :: TermDef Num '[Proxy a] (Num a #> (a -> a -> a))

teNum_sub :: TermDef Num '[Proxy a] (Num a #> (a -> a -> a))

teNum_mul :: TermDef Num '[Proxy a] (Num a #> (a -> a -> a))

Orphan instances

ClassInstancesFor (* -> Constraint) Num

Methods

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

TypeInstancesFor (* -> Constraint) Num

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

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Num

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss Num)

Gram_Term_AtomsFor (* -> Constraint) src ss g Num

Methods

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