enumerate: enumerate all the values in a finite type (automatically)

[ data, library, mit, program ] [ Propose Tags ]


  • (1) a typeclass for enumerating all values in a finite type,

  • (2) a generic instance for automatic deriving, and

  • (3) helpers that reify functions (partial or total, monadic or pure) into a Map.

see the Enumerable module for extensive documentation.

[Skip to Readme]


Automatic Flags

Dump HTML for the core generated by GHC during compilation


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.0.0, 0.1.0, 0.1.1, 0.2.1, 0.2.2
Dependencies array (>=0.5), base (>=4.7 && <5), containers (>=0.5), deepseq (>=1.3), dump-core, enumerate, ghc-prim (>=0.3), spiros, template-haskell (>=2.9), vinyl (>=0.5) [details]
License MIT
Author Sam Boosalis
Maintainer samboosalis@gmail.com
Category Data
Home page https://github.com/sboosali/enumerate
Source repo head: git clone https://github.com/sboosali/enumerate
Uploaded by sboo at 2017-05-02T20:11:49Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables example-enumerate
Downloads 3861 total (11 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-05-02 [all 1 reports]

Readme for enumerate-0.2.2

[back to package description]


Hackage Build Status

Enumerate all the values in a finite type (automatically). Provides:

  1. a typeclass for enumerating all values in a finite type,
  2. a generic instance for automatically deriving it, and


    {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}
    import Data.Enumerate (Enumerable(..))
    import Data.Generics (Generics)

    data CrudOp = Add | Edit | Delete | View
     deriving (Eq,Ord,Enum,Bounded,Generic,Enumerable)
    data Route = Home | Person CrudOp | House CrudOp
     deriving (Eq,Ord,Generic,Enumerable)

    >>> enumerated :: [Route]
    [Home, Person Add, Person Edit, Person Delete, Person View, House Add, House Edit, House Delete, House View]

(extensive) documentation:


http://sboosali.github.io/documentation/enumerate/Enumerate.html (when hackage won't build the haddocks)


To reify functions, partial or total, into a Map, see enumerate-function.