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 View

Defined in Language.Symantic.Lib.Num

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 Eval

Defined in Language.Symantic.Lib.Num

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 term, Sym_Lambda term) => Sym_Num (BetaT term)

Defined in Language.Symantic.Lib.Num

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)

Defined in Language.Symantic.Lib.Num

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 Num

Methods

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

TypeInstancesFor Num

Methods

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

NameTyOf Num

Methods

nameTyOf :: proxy Num -> Mod NameTy

isNameTyOp :: proxy Num -> Bool

FixityOf Num

Methods

fixityOf :: proxy Num -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Num

Methods

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