profunctors

Profunctors

http://github.com/ekmett/profunctors/

Version on this page:4.4.1@rev:2
LTS Haskell 23.8:5.6.2@rev:3
Stackage Nightly 2025-02-13:5.6.2@rev:3
Latest on Hackage:5.6.2@rev:3

See all snapshots profunctors appears in

BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett
This version can be pinned in stack with:profunctors-4.4.1@sha256:eb0755c9ed86f258928347c9480d154d2b2e5ab14f2cd7af64b062697665760d,1656

Module documentation for 4.4.1

Profunctors

Build Status

Haskell 98 Profunctors

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett

Changes

4.4.1

  • Using SafeHaskell, GHC 7.8+ Data.Profunctor.Unsafe now infers as Trustworthy and many more modules now infer as Safe.
  • We now build warning-free on GHC 7.10.0.20150307

4.4

  • Added Coercible constraint to (#.) and (.#) when building with GHC 7.8
  • Strong is now a superclass of Representable
  • Updated the URL of the “Arrows are Strong Monads” paper. The old URL is now a dead link.

4.3.2

  • Added some missing instances for UpStar and DownStar.

4.3

  • Removed the non law-abiding instance for Closed (Forget r)
  • Forget is Representable
  • MINIMAL pragmas

4.2.0.1

  • Avoided using ‘type’ in the export list, as that doesn’t work on 7.4.

4.2

  • Renamed -| to ProfunctorAdjunction because GHC 7.4 still exists in the wild.
  • Renamed -/-> to :-> for the same reason. Also the former was confusing as they conflated profunctor homomorphisms and profunctors themselves.

4.1

  • Flipped the order of ‘Procompose’
  • Added the notion of Monads and Comonads on the category of profunctors.
  • Added ‘Cayley’ which takes normal Haskell Monads and Comonads to a ‘ProfunctorMonad’ and ‘ProfunctorComonad’ respectively. Cayley is also known as the ‘static arrow’ construction
  • Added ‘Closed’ which is adjoint to ‘Strong’.
  • Added ‘Closure’ which freely adjoins ‘Closed’ to any ‘Profunctor’.
  • Added ‘Tambara’ which freely adjoins ‘Strong’ to any ‘Profunctor’.
  • Added ‘Cotambara’ which freely adjoins ‘Choice’ to any ‘Profunctor’.
  • Under the new ‘Procompose’ the old ‘Rift’ is now ‘Ran’, and the old ‘Lift’ was misnamed. It is now ‘Rift’

4.0.3

  • Added Data.Profunctor.Lift containing the left Kan lift of a profunctor.

4.0.2

  • Added assoc to Data.Profunctor.Composition so that we have all 3 associators.

4.0

  • Merged the contents of profunctor-extras into profunctors.

3.3

  • Added instance Choice (Upstar f) and introduced Forget.

3.2

  • Renamed Lenticular and Prismatic to Strong and Choice, and restructured them.

3.1.3

  • Removed upper bounds on my own intra-package dependencies

3.1.1

  • Added Documentation!
  • Added Lenticular and Prismatic Profunctors

3.1

  • instance Profunctor Tagged

3.0

  • Updated version number to match the rest of my libraries