these: An either-or-both data type.

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").

data These a b = This a | That b | These a b

Since version 1, this package was split into parts:

• semialign For Align and Zip type-classes.

• semialign-indexed For SemialignWithIndex class, providing ialignWith and izipWith.

• these-lens For lens combinators.

• monad-chronicle For transformers variant of These.

Modules

[Index] [Quick Jump]

Flags

Manual Flags

Name	Description	Default
aeson	Build with aeson dependency	Enabled
assoc	Build with assoc dependency	Enabled
semigroupoids	Build with semigroupoids dependency	Enabled
quickcheck	Build with QuickCheck dependency	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• these-1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• JohnWiegley, phadej, cmccann

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.7.6, 0.8, 0.8.1, 1, 1.0.1, 1.1, 1.1.1, 1.1.1.1