head	1.3;
access;
symbols
	pkgsrc-2026Q2:1.3.0.12
	pkgsrc-2026Q2-base:1.3
	pkgsrc-2026Q1:1.3.0.10
	pkgsrc-2026Q1-base:1.3
	pkgsrc-2025Q4:1.3.0.8
	pkgsrc-2025Q4-base:1.3
	pkgsrc-2025Q3:1.3.0.6
	pkgsrc-2025Q3-base:1.3
	pkgsrc-2025Q2:1.3.0.4
	pkgsrc-2025Q2-base:1.3
	pkgsrc-2025Q1:1.3.0.2
	pkgsrc-2025Q1-base:1.3
	pkgsrc-2024Q4:1.2.0.16
	pkgsrc-2024Q4-base:1.2
	pkgsrc-2024Q3:1.2.0.14
	pkgsrc-2024Q3-base:1.2
	pkgsrc-2024Q2:1.2.0.12
	pkgsrc-2024Q2-base:1.2
	pkgsrc-2024Q1:1.2.0.10
	pkgsrc-2024Q1-base:1.2
	pkgsrc-2023Q4:1.2.0.8
	pkgsrc-2023Q4-base:1.2
	pkgsrc-2023Q3:1.2.0.6
	pkgsrc-2023Q3-base:1.2
	pkgsrc-2023Q2:1.2.0.4
	pkgsrc-2023Q2-base:1.2
	pkgsrc-2023Q1:1.2.0.2
	pkgsrc-2023Q1-base:1.2
	pkgsrc-2022Q4:1.1.0.8
	pkgsrc-2022Q4-base:1.1
	pkgsrc-2022Q3:1.1.0.6
	pkgsrc-2022Q3-base:1.1
	pkgsrc-2022Q2:1.1.0.4
	pkgsrc-2022Q2-base:1.1
	pkgsrc-2022Q1:1.1.0.2
	pkgsrc-2022Q1-base:1.1;
locks; strict;
comment	@# @;


1.3
date	2025.01.30.07.54.38;	author pho;	state Exp;
branches;
next	1.2;
commitid	CGTxmusqW1tFXtHF;

1.2
date	2023.01.28.02.21.15;	author pho;	state Exp;
branches;
next	1.1;
commitid	6pvR4ZbKEmQ5GfbE;

1.1
date	2022.02.16.09.59.14;	author pho;	state Exp;
branches;
next	;
commitid	S9ZV11UfSxWKkPsD;


desc
@@


1.3
log
@math/hs-kan-extensions: update to kan-extensions-5.2.6

5.2.6 [2024.05.04]
------------------
* Drop support for GHC 8.2 and earlier.
* Generalize instances in `Control.Monad.Codensity` to be of the form:

  ```hs
  instance (f ~~ f', MonadFail f') => MonadFail (Codensity (f :: k -> TYPE rep))
  ```

  This avoids having to constrain `k ~ Type` and `rep ~ LiftedRep`, which could potentially harm type inference.
* Explicitly implement `liftA2` in the `Applicative` instance for `Data.Functor.Day.Curried`.
* Add an `Adjunction` instance for `Data.Functor.Day`.
* Add `Adjunction` and `Divisible` instances for `Data.Functor.Contravariant.Day`.
* Add an `Apply` instance for `Data.Functor.Day.Curried`.
@
text
@$NetBSD: distinfo,v 1.2 2023/01/28 02:21:15 pho Exp $

BLAKE2s (kan-extensions-5.2.6.tar.gz) = 6297b91930a21cb6160d92f36ceef1ed4e1f65433fbc4f25f52105d353ed01de
SHA512 (kan-extensions-5.2.6.tar.gz) = a1736866bdb878a0d937ef0a26a0080ffc8acd817e8ccd33f550b703b3c325362d00649262faca7c5b3bc3ef764348f8bf04695612fb75a83810f877b6f76b9d
Size (kan-extensions-5.2.6.tar.gz) = 21718 bytes
@


1.2
log
@math/hs-kan-extensions: Update to 5.2.5

5.2.5 [2022.06.26]
* Only require a Functor constraint in the Eq and Ord instances for
  Coyoneda when building against transformers-0.4.*.

5.2.4 [2022.05.07]
* Allow building with transformers-0.6.* and mtl-2.3.*.
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.1 2022/02/16 09:59:14 pho Exp $
d3 3
a5 3
BLAKE2s (kan-extensions-5.2.5.tar.gz) = 2ac67fa484be49ea7386d96a5242bfdd985403b07d8919e6602001ea60a4d405
SHA512 (kan-extensions-5.2.5.tar.gz) = 70303f23e4935ca662f5e094a0ab9c18997c5ff2896bbbe1c8f7d994002f75176457757ad8d4647699ea1cc28701c75cb10cb4fcbe81d8c2f3c71cf28244ca9c
Size (kan-extensions-5.2.5.tar.gz) = 22205 bytes
@


1.1
log
@math/hs-kan-extensions: import hs-kan-extensions-5.2.3

This package provides tools for working with various Kan extensions and Kan
lifts in Haskell.

Among the interesting bits included are:
* Right and left Kan extensions (Ran and Lan)
* Right and left Kan lifts (Rift and Lift)
* Multiple forms of the Yoneda lemma (Yoneda)
* The Codensity monad, which can be used to improve the asymptotic
  complexity of code over free monads (Codensity, Density)
* A "comonad to monad-transformer transformer" that is a special case of a
  right Kan lift. (CoT, Co)
@
text
@d1 1
a1 1
$NetBSD$
d3 3
a5 3
BLAKE2s (kan-extensions-5.2.3.tar.gz) = a110130b9f9a152d0cfb932c38b036de5c25449e502b9b55dc04c1a4bba0926a
SHA512 (kan-extensions-5.2.3.tar.gz) = a3bb00dec4652042754c00dd4b2ef02b3ed4d74f4f9b8edea36e77c8516ef5b2f9853af20ab63e8f03fc91745ceb286a71ee35b0c82cbc7b0452bbb5e9012f80
Size (kan-extensions-5.2.3.tar.gz) = 22095 bytes
@