universe-base: A class for finite and recursively enumerable types.

[ bsd3, data, library ] [ Propose Tags ]

A class for finite and recursively enumerable types and some helper functions for enumerating them.

class Universe a where universe :: [a]
class Universe a => Finite a where universeF :: [a]; universeF = universe

This is slim package definiting only the type-classes and instances for types in GHC boot libraries. For more instances check universe-instances-* packages.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.0, 1.0.1, 1.0.2, 1.0.2.1, 1.1, 1.1.1, 1.1.2, 1.1.3, 1.1.3.1
Change log changelog
Dependencies base (>=4.3 && <4.16), containers (>=0.4.0.0 && <0.7), ghc-prim, nats (>=1.1.2 && <1.2), semigroups (>=0.18.5 && <0.20), tagged (>=0.8.6.1 && <0.9), transformers (>=0.3.0.0 && <0.6), transformers-compat (>=0.6.1 && <0.7), void (>=0.7.3 && <0.8) [details]
License BSD-3-Clause
Copyright 2014 Daniel Wagner
Author Daniel Wagner
Maintainer me@dmwit.com
Category Data
Home page https://github.com/dmwit/universe
Source repo head: git clone https://github.com/dmwit/universe
this: git clone https://github.com/dmwit/universe(tag instances-extended-1.1)
Uploaded by phadej at 2021-01-09T19:39:03Z
Distributions Arch:1.1.3.1, Debian:1.1.1, LTSHaskell:1.1.3.1, NixOS:1.1.3.1, Stackage:1.1.3.1
Reverse Dependencies 19 direct, 7758 indirect [details]
Downloads 16281 total (180 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2021-01-09 [all 1 reports]