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

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

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)

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)

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 (* -> Constraint) Enum

Methods

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

TypeInstancesFor (* -> Constraint) Enum

Methods

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

NameTyOf (* -> Constraint) Enum

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Enum

Methods

fixityOf :: proxy c -> Maybe Fixity

(Source src, SymInj (* -> Constraint) ss Enum) => ModuleFor (* -> Constraint) src ss Enum

Methods

moduleFor :: (PathMod, Module ss Enum)

Gram_Term_AtomsFor (* -> Constraint) src ss g Enum

Methods

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