compound-types: Sum and Product types and such
This library provides first-class multi-arity product- and sum-types and neat type-level utilities for their composition. The solution is quite simple and doesn’t require the advanced proficiency in the language to be applied in practice.
The library supports GHC starting from version 8.6.1 and
requires you to enable the NoStarIsType extension.
For a comprehensive introduction please see this blog post.
Downloads
- compound-types-0.1.4.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.1.0.1, 0.1.1, 0.1.1.1, 0.1.2, 0.1.2.1, 0.1.3, 0.1.3.1, 0.1.4, 0.1.4.1 |
|---|---|
| Dependencies | base (>=4.12 && <5) [details] |
| License | MIT |
| Copyright | (c) 2016, Nikita Volkov |
| Author | Nikita Volkov <nikita.y.volkov@mail.ru> |
| Maintainer | Nikita Volkov <nikita.y.volkov@mail.ru> |
| Uploaded | by NikitaVolkov at 2020-04-27T08:35:39Z |
| Category | Data, Types, Type System |
| Home page | https://github.com/nikita-volkov/compound-types |
| Bug tracker | https://github.com/nikita-volkov/compound-types/issues |
| Source repo | head: git clone git://github.com/nikita-volkov/compound-types.git |
| Distributions | NixOS:0.1.4.1 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 6942 total (30 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2020-04-27 [all 1 reports] |