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 => Inj_Sym ss Integer => Integer -> Term src ss ts '[] (() #> Integer) Source #
Orphan instances
ClassInstancesFor * Integer Source # | |
TypeInstancesFor * Integer Source # | |
ModuleFor * src ss Integer Source # | |
(Gram_Source src g, Gram_Alt g, Gram_AltApp g, Gram_Rule g, Gram_Comment g, Inj_Sym * ss Integer) => Gram_Term_AtomsFor * src ss g Integer Source # | |