Language.Symantic.Lib.Integral

Symantic for Integral.

Class Sym_Integral

class Sym_Integral term where

Methods

quot :: Integral i => term i -> term i -> term i infixl 7

rem :: Integral i => term i -> term i -> term i infixl 7

div :: Integral i => term i -> term i -> term i infixl 7

mod :: Integral i => term i -> term i -> term i infixl 7

quotRem :: Integral i => term i -> term i -> term (i, i)

divMod :: Integral i => term i -> term i -> term (i, i)

toInteger :: Integral i => term i -> term Integer

quot :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7

rem :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7

div :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7

mod :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7

quotRem :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term (i, i)

divMod :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term (i, i)

toInteger :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term Integer

Instances

Sym_Integral View

Defined in Language.Symantic.Lib.Integral

Methods

quot :: Integral i => View i -> View i -> View i

rem :: Integral i => View i -> View i -> View i

div :: Integral i => View i -> View i -> View i

mod :: Integral i => View i -> View i -> View i

quotRem :: Integral i => View i -> View i -> View (i, i)

divMod :: Integral i => View i -> View i -> View (i, i)

toInteger :: Integral i => View i -> View Integer

Sym_Integral Eval

Defined in Language.Symantic.Lib.Integral

Methods

quot :: Integral i => Eval i -> Eval i -> Eval i

rem :: Integral i => Eval i -> Eval i -> Eval i

div :: Integral i => Eval i -> Eval i -> Eval i

mod :: Integral i => Eval i -> Eval i -> Eval i

quotRem :: Integral i => Eval i -> Eval i -> Eval (i, i)

divMod :: Integral i => Eval i -> Eval i -> Eval (i, i)

toInteger :: Integral i => Eval i -> Eval Integer

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

Defined in Language.Symantic.Lib.Integral

Methods

quot :: Integral i => BetaT term i -> BetaT term i -> BetaT term i

rem :: Integral i => BetaT term i -> BetaT term i -> BetaT term i

div :: Integral i => BetaT term i -> BetaT term i -> BetaT term i

mod :: Integral i => BetaT term i -> BetaT term i -> BetaT term i

quotRem :: Integral i => BetaT term i -> BetaT term i -> BetaT term (i, i)

divMod :: Integral i => BetaT term i -> BetaT term i -> BetaT term (i, i)

toInteger :: Integral i => BetaT term i -> BetaT term Integer

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

Defined in Language.Symantic.Lib.Integral

Methods

quot :: Integral i => Dup r1 r2 i -> Dup r1 r2 i -> Dup r1 r2 i

rem :: Integral i => Dup r1 r2 i -> Dup r1 r2 i -> Dup r1 r2 i

div :: Integral i => Dup r1 r2 i -> Dup r1 r2 i -> Dup r1 r2 i

mod :: Integral i => Dup r1 r2 i -> Dup r1 r2 i -> Dup r1 r2 i

quotRem :: Integral i => Dup r1 r2 i -> Dup r1 r2 i -> Dup r1 r2 (i, i)

divMod :: Integral i => Dup r1 r2 i -> Dup r1 r2 i -> Dup r1 r2 (i, i)

toInteger :: Integral i => Dup r1 r2 i -> Dup r1 r2 Integer

Types

tyIntegral :: Source src => Type src vs a -> Type src vs (Integral a)

Terms

teIntegral_quot :: TermDef Integral '[Proxy a] (Integral a #> (a -> a -> a))

teIntegral_rem :: TermDef Integral '[Proxy a] (Integral a #> (a -> a -> a))

teIntegral_div :: TermDef Integral '[Proxy a] (Integral a #> (a -> a -> a))

teIntegral_mod :: TermDef Integral '[Proxy a] (Integral a #> (a -> a -> a))

teIntegral_quotRem :: TermDef Integral '[Proxy a] (Integral a #> (a -> a -> (a, a)))

teIntegral_divMod :: TermDef Integral '[Proxy a] (Integral a #> (a -> a -> (a, a)))

teIntegral_toInteger :: TermDef Integral '[Proxy a] (Integral a #> (a -> Integer))

Orphan instances

ClassInstancesFor Integral

Methods

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

TypeInstancesFor Integral

Methods

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

NameTyOf Integral

Methods

nameTyOf :: proxy Integral -> Mod NameTy

isNameTyOp :: proxy Integral -> Bool

FixityOf Integral

Methods

fixityOf :: proxy Integral -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Integral

Methods

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