Description

universal properties with applications

Package Information

Version0.1.0 (2016-Mar-27)
Repositoryhttps://github.com/evenex/universal
LicenseMIT
CopyrightCopyright © 2016, Vlad Levenfeld
AuthorsVlad Levenfeld
Registered byVlad Levenfeld
Dependenciesnone

Installation

To use this package, put the following dependency into your project's dependencies section:

dub.json
dub.sdl

Readme

Universal Constructions for D

This module defines universal products (Tuple) and coproducts (Union), with related utility functions and data structures.

Tuples are straight from Phobos, but std.functional.adjoin is reimplemented to support named fields.

Union is a custom implementation, and radically different from Phobos' Algebraic. It is equally simple to use and has greater expressive power than Algebraic (which I attempt to justify in the comments of the same module).

Some extras are built on top of them, like error handling contexts, enum switches, and nullable types.

Use examples are included as documented unittests in almost all modules.

core.coproduct and core.apply are probably the best places to start. Everything else is fairly straightforward, except for core.match, which performs type-level pattern matching in a variety of ways.

Available versions

0.1.0 ~master