Safe Haskell	None
Language	Haskell2010

Language.Symantic.Lib.Integer

Contents

Description

Symantic for Integer.

Synopsis

Class `Sym_Integer`

class Sym_Integer term where Source #

Minimal complete definition

Nothing

Methods

Instances

Sym_Integer View Source #
Instance details Defined in Language.Symantic.Lib.Integer Methods integer :: Integer -> View Integer Source #
Sym_Integer Eval Source #
Instance details Defined in Language.Symantic.Lib.Integer Methods integer :: Integer -> Eval Integer Source #
(Sym_Integer term, Sym_Lambda term) => Sym_Integer (BetaT term) Source #
Instance details Defined in Language.Symantic.Lib.Integer Methods integer :: Integer -> BetaT term Integer Source #
(Sym_Integer r1, Sym_Integer r2) => Sym_Integer (Dup r1 r2) Source #
Instance details Defined in Language.Symantic.Lib.Integer Methods integer :: Integer -> Dup r1 r2 Integer Source #

`Term`s

ClassInstancesFor Integer Source #
Instance details Methods proveConstraintFor :: Source src => proxy Integer -> Type src vs q -> Maybe (Qual q) #
TypeInstancesFor Integer Source #
Instance details Methods expandFamFor :: Source src => proxy Integer -> Len vs -> Const src fam -> Types src vs ts -> Maybe (Type src vs (Fam fam ts)) #
NameTyOf Integer Source #
Instance details Methods nameTyOf :: proxy Integer -> Mod NameTy # isNameTyOp :: proxy Integer -> Bool #
ModuleFor src ss Integer Source #
Instance details Methods moduleFor :: (PathMod, Module src ss) #
(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 #
Instance details Methods g_term_atomsFor :: [CF g (AST_Term src ss)] #