invariant

Haskell 98 invariant functors

https://github.com/nfrisby/invariant-functors

Version on this page:0.2.1@rev:2
LTS Haskell 22.21:0.6.3
Stackage Nightly 2024-05-06:0.6.3
Latest on Hackage:0.6.3

See all snapshots invariant appears in

BSD-3-Clause licensed by Nicolas Frisby
Maintained by Nicolas Frisby, Ryan Scott
This version can be pinned in stack with:invariant-0.2.1@sha256:97ed80fc5f03662c0aa9b614240f0a67142c6635100f52e0f5727c2308b1caa7,2346

Module documentation for 0.2.1

Used by 1 package in nightly-2015-09-17(full list with versions):
sets

invariant

Hackage Hackage Dependencies Haskell Programming Language BSD3 License Build

Haskell98 invariant functors

Changes

0.2.1

  • Add Foldable and Traversable instances for WrappedFunctor
  • Fixed build on GHC HEAD

0.2

  • Support deriving Invariant and Invariant2 instances with Template Haskell
  • Added invmapFunctor, invmapContravariant, invmap2Bifunctor, and invmap2Profunctor to make defining Invmap and Invmap2 instances somewhat easier
  • Added WrappedFunctor, WrappedContravariant, WrappedBifunctor, and WrappedProfunctor data types to allow use of invmap and invmap2 for data types that aren’t Invariant or Invariant2 instances.
  • Added Invariant instances for lazy ST, ArrowMonad, Handler, Identity, First, Last, Alt, Proxy, ArgDescr, ArgOrder, and OptDescr
  • Added Invariant and Invariant2 instances for data types in the array, bifunctors, containers, profunctors, semigroups, stm, tagged, transformers, and unordered-containers libraries

0.1.2

  • Add Invariant instances for Dual and Endo

0.1.1

  • Bump contravariant upper version bounds

0.1.0

  • Initial commit