Safe Haskell	None
Language	Haskell2010

Data.Fin.Enum

Contents

Description

This module is designed to be imported qualified:

import qualified Data.Fin.Enum as E

Synopsis

class Enum a where
- type EnumSize a :: Nat
- from :: a -> Fin ( EnumSize a)
- to :: Fin ( EnumSize a) -> a
gfrom :: ( Generic a, GFrom a) => a -> Fin ( GEnumSize a)
type GFrom a = GFromRep ( Rep a)
gto :: ( Generic a, GTo a) => Fin ( GEnumSize a) -> a
type GTo a = GToRep ( Rep a)
type GEnumSize a = EnumSizeRep ( Rep a) Nat0

Documentation

class Enum a where Source #

Generic enumerations.

Examples:

>>> from ()
0

>>> to 0 :: ()
()

>>> to 0 :: Bool
False

>>> map to F.universe :: [Bool]
[False,True]

>>> map (to . (+1) . from) [LT, EQ, GT] :: [Ordering] -- Num Fin is modulo arithmetic
[EQ,GT,LT]

Minimal complete definition

Nothing

Associated Types

The size of an enumeration.

Methods

Converts a value to its index.

Converts from index to the original value.

Instances details

Enum Bool Source #	`Bool` ~ 2
Instance details Defined in Data.Fin.Enum Associated Types type EnumSize Bool :: Nat Source # Methods from :: Bool -> Fin ( EnumSize Bool ) Source # to :: Fin ( EnumSize Bool ) -> Bool Source #
Enum Ordering Source #	`Ordering` ~ 3
Instance details Defined in Data.Fin.Enum Associated Types type EnumSize Ordering :: Nat Source # Methods from :: Ordering -> Fin ( EnumSize Ordering ) Source # to :: Fin ( EnumSize Ordering ) -> Ordering Source #
Enum () Source #	() ~ 1
Instance details Defined in Data.Fin.Enum Associated Types type EnumSize () :: Nat Source # Methods from :: () -> Fin ( EnumSize ()) Source # to :: Fin ( EnumSize ()) -> () Source #
Enum Void Source #	`Void` ~ 0
Instance details Defined in Data.Fin.Enum Associated Types type EnumSize Void :: Nat Source # Methods from :: Void -> Fin ( EnumSize Void ) Source # to :: Fin ( EnumSize Void ) -> Void Source #
( Enum a, Enum b, InlineInduction ( EnumSize a)) => Enum ( Either a b) Source #	`Either` ~ `+`
Instance details Defined in Data.Fin.Enum Associated Types type EnumSize ( Either a b) :: Nat Source # Methods from :: Either a b -> Fin ( EnumSize ( Either a b)) Source # to :: Fin ( EnumSize ( Either a b)) -> Either a b Source #

Generic implementation

Generic version of from .

type GFrom a = GFromRep ( Rep a) Source #

Constraint for the class that computes gfrom .

Generic version of to .

type GTo a = GToRep ( Rep a) Source #

Constraint for the class that computes gto .

type GEnumSize a = EnumSizeRep ( Rep a) Nat0 Source #

Compute the size from the type.