Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Integer
.
Class Sym_Integer
class Sym_Integer term where Source #
integer :: Integer -> term Integer Source #
integer :: Sym_Integer (UnT term) => Trans term => Integer -> term Integer Source #
Sym_Integer Eval Source # | |
Sym_Integer View Source # | |
(Sym_Integer term, Sym_Lambda term) => Sym_Integer (BetaT term) Source # | |
(Sym_Integer r1, Sym_Integer r2) => Sym_Integer (Dup r1 r2) Source # | |
Term
s
teInteger :: Source src => SymInj ss Integer => Integer -> Term src ss ts '[] (() #> Integer) Source #