these

Version 0.7.2 revision 0 uploaded 2016-08-07T18:05:55.000Z by phadej.

Package meta

Synopsis

An either-or-both data type & a generalized 'zip with padding' typeclass

Description

This package provides a data type These a b which can hold a value of either type or values of each type. This is usually thought of as an "inclusive or" type (contrasting Either a b as "exclusive or") or as an "outer join" type (contrasting (a, b) as "inner join").

The major use case of this is provided by the Align class, representing a generalized notion of "zipping with padding" that combines structures without truncating to the size of the smaller input.

Also included is ChronicleT, a monad transformer based on the Monad instance for These a, along with the usual monad transformer bells and whistles.

Author

C. McCann

Bug reports

n/a

Category

Data,Control

Copyright

n/a

Homepage

https://github.com/isomorphism/these

Maintainer

cam@uptoisomorphism.net

Package URL

n/a

Stability

n/a

Components

• lib:these
• test:test