Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Integer
.
Class Sym_Integer
class Sym_Integer term where Source #
Nothing
integer :: Integer -> term Integer Source #
integer :: Sym_Integer (UnT term) => Trans term => Integer -> term Integer Source #
Instances
Sym_Integer View Source # | |
Sym_Integer Eval 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 #
Orphan instances
ClassInstancesFor Integer Source # | |
TypeInstancesFor Integer Source # | |
NameTyOf Integer Source # | |
ModuleFor src ss Integer Source # | |
(Gram_Source src g, Gram_Alt g, Gram_AltApp g, Gram_Rule g, Gram_Comment g, SymInj ss Integer) => Gram_Term_AtomsFor src ss g Integer Source # | |
g_term_atomsFor :: [CF g (AST_Term src ss)] # |