compound-types: Sum and Product types and such

[ data, library, mit, type-system, types ] [ Propose Tags ] [ Report a vulnerability ]

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

Maintainer's Corner

Package maintainers

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>
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
Uploaded by NikitaVolkov at 2020-04-27T08:35:39Z
Distributions NixOS:0.1.4.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 6723 total (25 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]