Language.Symantic.Lib.Enum

Symantic for Enum.

Class Sym_Enum

class Sym_Enum term where

Methods

toEnum :: Enum a => term Int -> term a

fromEnum :: Enum a => term a -> term Int

succ :: Enum a => term a -> term a

pred :: Enum a => term a -> term a

succ :: Sym_Enum (UnT term) => Trans term => Enum a => term a -> term a

pred :: Sym_Enum (UnT term) => Trans term => Enum a => term a -> term a

toEnum :: Sym_Enum (UnT term) => Trans term => Enum a => term Int -> term a

fromEnum :: Sym_Enum (UnT term) => Trans term => Enum a => term a -> term Int

Instances

Sym_Enum View

Defined in Language.Symantic.Lib.Enum

Methods

toEnum :: Enum a => View Int -> View a

fromEnum :: Enum a => View a -> View Int

succ :: Enum a => View a -> View a

pred :: Enum a => View a -> View a

Sym_Enum Eval

Defined in Language.Symantic.Lib.Enum

Methods

toEnum :: Enum a => Eval Int -> Eval a

fromEnum :: Enum a => Eval a -> Eval Int

succ :: Enum a => Eval a -> Eval a

pred :: Enum a => Eval a -> Eval a

(Sym_Enum term, Sym_Lambda term) => Sym_Enum (BetaT term)

Defined in Language.Symantic.Lib.Enum

Methods

toEnum :: Enum a => BetaT term Int -> BetaT term a

fromEnum :: Enum a => BetaT term a -> BetaT term Int

succ :: Enum a => BetaT term a -> BetaT term a

pred :: Enum a => BetaT term a -> BetaT term a

(Sym_Enum r1, Sym_Enum r2) => Sym_Enum (Dup r1 r2)

Defined in Language.Symantic.Lib.Enum

Methods

toEnum :: Enum a => Dup r1 r2 Int -> Dup r1 r2 a

fromEnum :: Enum a => Dup r1 r2 a -> Dup r1 r2 Int

succ :: Enum a => Dup r1 r2 a -> Dup r1 r2 a

pred :: Enum a => Dup r1 r2 a -> Dup r1 r2 a

Types

tyEnum :: Source src => Type src vs a -> Type src vs (Enum a)

Terms

teEnum_toEnum :: TermDef Enum '[Proxy a] (Enum a #> (Int -> a))

teEnum_fromEnum :: TermDef Enum '[Proxy a] (Enum a #> (a -> Int))

teEnum_succ :: TermDef Enum '[Proxy a] (Enum a #> (a -> a))

teEnum_pred :: TermDef Enum '[Proxy a] (Enum a #> (a -> a))

Orphan instances

ClassInstancesFor Enum

Methods

proveConstraintFor :: Source src => proxy Enum -> Type src vs q -> Maybe (Qual q)

TypeInstancesFor Enum

Methods

expandFamFor :: Source src => proxy Enum -> Len vs -> Const src fam -> Types src vs ts -> Maybe (Type src vs (Fam fam ts))

NameTyOf Enum

Methods

nameTyOf :: proxy Enum -> Mod NameTy

isNameTyOp :: proxy Enum -> Bool

FixityOf Enum

Methods

fixityOf :: proxy Enum -> Maybe Fixity

(Source src, SymInj ss Enum) => ModuleFor src ss Enum

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Enum

Methods

g_term_atomsFor :: [CF g (AST_Term src ss)]