Extensible type-safe unions

Latest on Hackage:0.1.2@rev:4

See all snapshots union appears in

BSD-3-Clause licensed by Vladislav Zavialov
Maintained by Vladislav Zavialov

Module documentation for 0.1.2

This version can be pinned in stack with:union-0.1.2@sha256:89b385a54aa2b79005971247214f5ee57f34532ea777022d28f14bf2c9830d9c,2130

Extensible type-safe unions for Haskell with prisms using modern GHC features. Dual to vinyl records. Unions are also known as corecords or polymorphic variants. Neither requires a Typeable constraint nor uses unsafe coercions at the cost of linear time access (negligible in practice).