@hackage universe1.1.1

A class for finite and recursively enumerable types.

Categories
License
BSD-3-Clause
Maintainer
me@dmwit.com
Links
Versions
- 1.2.3 Thu, 16 May 2024
- 1.2.2 Sat, 30 Oct 2021
- 1.2.1 Sat, 9 Jan 2021
- 1.2 Thu, 12 Sep 2019
- 1.1.1 Tue, 10 Sep 2019
- 1.1 Sat, 29 Jun 2019

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- universe-base >=1.1 && <1.1.2
- universe-dependent-sum >=1.1 && <1.1.1
- universe-instances-extended >=1.1.1 && <1.1.2
- universe-reverse-instances >=1.1 && <1.1.1
Dependents (2)
@hackage/beeminder-api, @hackage/acme-everything

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 also provides instances from @universe-instances-*" packages.