universe-dependent-sum: Universe instances for types from dependent-sum
Deprecated
in favor of universe-some
A class for finite and recursively enumerable types and some helper functions for enumerating them
defined in universe-base
package:
class Universe a where universe :: [a] class Universe a => Finite a where universeF :: [a]; universeF = universe
This package adds
class UniverseSome f where universeSome :: [Some f] class UniverseSome f => FiniteSome f where universeFSome :: [Some f]; universeFSome = universe
classes.
Downloads
- universe-dependent-sum-1.3.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 1.1, 1.1.0.1, 1.2, 1.2.0.1, 1.3, 1.3.1 |
---|---|
Change log | changelog |
Dependencies | base (>=4.12 && <4.21), universe-some (>=1.2.2 && <1.3) [details] |
Tested with | ghc ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1 |
License | BSD-3-Clause |
Copyright | Daniel Wagner 2014 |
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(universe-dependent-sum) |
Uploaded | by phadej at 2024-05-16T12:49:46Z |
Distributions | LTSHaskell:1.3.1, NixOS:1.3, Stackage:1.3.1 |
Reverse Dependencies | 1 direct, 2 indirect [details] |
Downloads | 1977 total (14 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2024-05-16 [all 1 reports] |