Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Enum
.
Synopsis
- 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 #