About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause
  • Maintained by: Oleg Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.8.1
  2. 8.6.5
  3. 8.4.4
  4. 8.2.2
  5. 8.0.2
  6. 7.10.3

Package Flags

Use the -f option with cabal commands to enable flags

    aeson (on by default)

    Build with aeson dependency

    assoc (on by default)

    Build with assoc dependency

    semigroupoids (on by default)

    Build with semigroupoids dependency

    quickcheck (on by default)

    Build with QuickCheck dependency

Readme

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: