Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Integral
.
- class Sym_Integral term where
- tyIntegral :: Source src => Type src vs a -> Type src vs (Integral a)
- 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))
Class Sym_Integral
class Sym_Integral term where Source #
quot :: Integral i => term i -> term i -> term i infixl 7 Source #
rem :: Integral i => term i -> term i -> term i infixl 7 Source #
div :: Integral i => term i -> term i -> term i infixl 7 Source #
mod :: Integral i => term i -> term i -> term i infixl 7 Source #
quotRem :: Integral i => term i -> term i -> term (i, i) Source #
divMod :: Integral i => term i -> term i -> term (i, i) Source #
toInteger :: Integral i => term i -> term Integer Source #
quot :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7 Source #
rem :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7 Source #
div :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7 Source #
mod :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term i infixl 7 Source #
quotRem :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term (i, i) Source #
divMod :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term i -> term (i, i) Source #
toInteger :: Sym_Integral (UnT term) => Trans term => Integral i => term i -> term Integer Source #
Sym_Integral View Source # | |
Sym_Integral Eval Source # | |
(Sym_Integral term, Sym_Lambda term) => Sym_Integral (BetaT term) Source # | |
(Sym_Integral r1, Sym_Integral r2) => Sym_Integral (Dup r1 r2) Source # | |
Type
s
Term
s
Orphan instances
ClassInstancesFor (* -> Constraint) Integral Source # | |
TypeInstancesFor (* -> Constraint) Integral Source # | |
NameTyOf (* -> Constraint) Integral Source # | |
FixityOf (* -> Constraint) Integral Source # | |
(Source src, SymInj (* -> Constraint) ss Integral) => ModuleFor (* -> Constraint) src ss Integral Source # | |
Gram_Term_AtomsFor (* -> Constraint) src ss g Integral Source # | |