Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Enum
.
- class Sym_Enum term where
- tyEnum :: Source src => Type src vs a -> Type src vs (Enum a)
- 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))
Class Sym_Enum
class Sym_Enum term where Source #
toEnum :: Enum a => term Int -> term a Source #
fromEnum :: Enum a => term a -> term Int Source #
succ :: Enum a => term a -> term a Source #
pred :: Enum a => term a -> term a Source #
succ :: Sym_Enum (UnT term) => Trans term => Enum a => term a -> term a Source #
pred :: Sym_Enum (UnT term) => Trans term => Enum a => term a -> term a Source #
toEnum :: Sym_Enum (UnT term) => Trans term => Enum a => term Int -> term a Source #
fromEnum :: Sym_Enum (UnT term) => Trans term => Enum a => term a -> term Int Source #
Type
s
Term
s
Orphan instances
ClassInstancesFor (* -> Constraint) Enum Source # | |
TypeInstancesFor (* -> Constraint) Enum Source # | |
NameTyOf (* -> Constraint) Enum Source # | |
FixityOf (* -> Constraint) Enum Source # | |
(Source src, SymInj (* -> Constraint) ss Enum) => ModuleFor (* -> Constraint) src ss Enum Source # | |
Gram_Term_AtomsFor (* -> Constraint) src ss g Enum Source # | |