world-peace

Open Union and Open Product Types

BSD-3-Clause licensed by Dennis Gosnell

Maintained by [email protected]

This version can be pinned in stack with:world-peace-1.0.2.0@sha256:c9edf24e3f577bd057600964d634ac4f10677d3f8016ae41571e347bd5309fa6,2292

Depends on 5 packages(full list with versions):

Used by 2 packages in nightly-2025-10-24(full list with versions):

Data.WorldPeace

This package defines open union and open product types. It also defines many combinators for working with these types.

See the hackage documentation for more explanation and examples.

Get building on GHC-8.10 by quantifying kind in some type class instances. Thanks @ocharles! #8

Add the functions relaxOpenUnion and relaxUnion for being able to add additional types to an OpenUnion. [#3]
Add the functions openUnionRemove, unionRemove, openUnionHandle, and unionHandle for being able to pull individual types out of an OpenUnion. [#3]