these-skinny

A fork of the 'these' package without the dependency bloat.

https://github.com/chessai/these-skinny

LTS Haskell 24.3:0.7.6
Stackage Nightly 2025-08-08:0.7.6
Latest on Hackage:0.7.6

See all snapshots these-skinny appears in

BSD-3-Clause licensed by C. McCann
Maintained by [email protected]
This version can be pinned in stack with:these-skinny-0.7.6@sha256:f3bc0935769925fca00e39be6eef78d03e7315dbb16e08e9b23fa79144ebed0c,1271

Module documentation for 0.7.6

Depends on 3 packages(full list with versions):
base, deepseq, ghc-prim
Used by 1 package in lts-23.21(full list with versions):
refined

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

Changes

0.7.4

  • QuickCheck-2.10 support: Arbitrary1/2 instances
  • GHC-8.2 support

0.7.3

  • Add salign :: (Align f, Semigroup a) => f a -> f a -> f a

0.7.2

  • Support aeson-1: add FromJSON1, FromJSON2 ToJSON1, and ToJSON2 These instances.

0.7.1

  • Add AlignWithKey in Data.Align.Key (added dependency keys)
  • Add These instances for
    • binary: Binary
    • aeson: FromJSON, ToJSON
    • QuickCheck: Arbitrary, CoArbitrary, Function
    • deepseq: NFData

0.7

  • Breaking change: Generalized Monad, Applicative instances of These and Chronicle to require only a Semigroup constraint
  • More efficient Align Seq implementation
  • Add Crosswalk Seq and Vector instances

0.6.2.1

  • Support quickcheck-instances-0.3.12 (tests)

0.6.2.0

  • Add support to bifunctors-5.1