@hackage / compound-types

Sum and Product types and such

Latest0.1.4.1

About

Metadata

  • Last updated , by NikitaVolkov
  • License MIT
  • Categories Type System

  • Maintained by: Nikita Volkov <nikita.y.volkov@mail.ru>

  • Lottery factor: 0

Links

Installation

Readme

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.