hs-kan-extensions Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

5.1_3 math =0 5.1_3Version of this port present on the latest quarterly branch.

DEPRECATED: Haskell libraries are getting pushed out of the ports tree. If you are using this port for development, consider switching to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you believe this port shouldn't be removed, contact haskell@FreeBSD.org
This port expired on: 2019-04-14

Maintainer: haskell@FreeBSD.org

Port Added: 2015-08-20 23:02:51

Last Update: 2019-05-09 12:15:42

SVN Revision: 501084

Also Listed In: haskell

License: BSD3CLAUSE

Description:

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads. WWW: https://github.com/ekmett/kan-extensions

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (3 items)

1. /usr/local/share/licenses/hs-kan-extensions-5.1_3/catalog.mk
2. /usr/local/share/licenses/hs-kan-extensions-5.1_3/LICENSE
3. /usr/local/share/licenses/hs-kan-extensions-5.1_3/BSD3CLAUSE

Collapse this list.

Dependency lines:

• hs-kan-extensions>0:math/hs-kan-extensions

No installation instructions: this port has been deleted.

The package name of this deleted port was:

PKGNAME: hs-kan-extensions

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1523890567 SHA256 (cabal/kan-extensions-5.1.tar.gz) = 193f8e58f267663d5da8e38045b000d0983ac08b84808de42af1a44963f63205 SIZE (cabal/kan-extensions-5.1.tar.gz) = 22573

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. ghc : lang/ghc
2. ghc>=8.6.3 : lang/ghc
3. hs-adjunctions>=0 : math/hs-adjunctions
4. hs-comonad>=0 : math/hs-comonad
5. hs-distributive>=0 : math/hs-distributive
6. hs-free>=0 : devel/hs-free
7. hs-mtl>=0 : devel/hs-mtl
8. hs-semigroupoids>=0 : math/hs-semigroupoids
9. hs-tagged>=0 : devel/hs-tagged

Runtime dependencies:

1. ghc : lang/ghc
2. ghc>=8.6.3 : lang/ghc
3. hs-adjunctions>=0 : math/hs-adjunctions
4. hs-comonad>=0 : math/hs-comonad
5. hs-distributive>=0 : math/hs-distributive
6. hs-free>=0 : devel/hs-free
7. hs-mtl>=0 : devel/hs-mtl
8. hs-semigroupoids>=0 : math/hs-semigroupoids
9. hs-tagged>=0 : devel/hs-tagged

Library dependencies:

1. libgmp.so : math/gmp
2. libiconv.so : converters/libiconv

NOTE: dependencies for deleted ports are notoriously suspect

This port is required by:

for Build

Deleted ports which required this port:

Expand this list of 2 deleted ports
1. devel/hs-lens^*
2. math/hs-pointed^*
3. Collapse this list of deleted ports.

for Run

Deleted ports which required this port:

Expand this list of 2 deleted ports
1. devel/hs-lens^*
2. math/hs-pointed^*
3. Collapse this list of deleted ports.

* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

Configuration Options

===> The following configuration options are available for hs-kan-extensions-5.1_3: DOCS=on: Build and/or install documentation DYNAMIC=on: Add support for dynamic linking HSCOLOUR=off: Colorize generated documentation by HsColour PROFILE=off: Add support for profiling ===> Use 'make config' to modify these settings

USES:

iconv:translit

Master Sites:

1. There is no master site for this port.

• port deleted on 2019-05-08
  REASON: Has expired: Haskell libraries are getting pushed out of the ports tree. If you are using this port for development, consider switching to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you believe this port shouldn't be removed, contact haskell@FreeBSD.org
  

Remove expired ports of Haskell libraries.

Approved by:	tcberner (mentor)

2019-04-14 math/hs-integer-logarithms: Haskell libraries are getting pushed out
of the ports tree. If you are using this port for development, consider
switching to cabal sandboxes (old way), cabal new-build (new way), or use
devel/stack. If you believe this port shouldn't be removed, contact
haskell@FreeBSD.org
2019-04-14 math/hs-data-lens-template: Haskell libraries are getting pushed out
of the ports tree. If you are using this port for development, consider
switching to cabal sandboxes (old way), cabal new-build (new way), or use
devel/stack. If you believe this port shouldn't be removed, contact
haskell@FreeBSD.org
2019-04-14 math/hs-half: Haskell libraries are getting pushed out of the ports
tree. If you are using this port for development, consider switching to cabal
sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-kan-extensions: Haskell libraries are getting pushed out of
the ports tree. If you are using this port for development, consider switching
to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If
you believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-semigroupoids: Haskell libraries are getting pushed out of
the ports tree. If you are using this port for development, consider switching
to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If
you believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-Agda-stdlib: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-semigroups: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-vector-space: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-comonad: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-pointed: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org
2019-04-14 math/hs-ieee754: Haskell libraries are getting pushed out of the
ports tree. If you are using this port for development, consider switching to
cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you
believe this port shouldn't be removed, contact haskell@FreeBSD.org

Mark almost all Haskell ports for expiration by mid April

Ports for Haskell *libraries* are going to be removed from the ports tree.
Haskell *applications* are going to be statically linked with all dependencies
( https://reviews.freebsd.org/D19730  ), so there is no reason to keep
Haskell libraries in tree.

If you think a port is wrongly marked and should stay, please contact haskell@

Submitted by:	arrowd
Differential Revision:	https://reviews.freebsd.org/D19244

lang/ghc: Update to 8.6.3 and bump PORTREVISION's of all Haskell ports.

As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:

# portmaster -w -r ghc
  or
# portupgrade -fr lang/ghc

In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch.  For
example:

# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc
# pkg install -y `cat ghc-pkgs.txt`

During update some hs-* ports got two PORTREVISION bumps in a row. Other ports
got a PORTVERSION update together with one PORTREVISION bump. This is caused
by bulk-bumping PORTREVISION of all hs-* ports. There are a lot of them updated,
so figuring out which ones require a bump and which are not is too tedious.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D18707

lang/ghc: Update to 8.4.3 and bump PORTREVISION's of all Haskell ports.

As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:

# portmaster -w -r ghc
  or
# portupgrade -fr lang/ghc

In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch.  For
example:

# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc

In ghc-pkgs.txt, check and remove all the packages that have been moved
on the update, then use this command:

# pkg install -y `cat ghc-pkgs.txt`

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16038

Update lang/ghc 8.4.2 and the hs-* ports the newer versions

* Update lang/ghc to 8.4.2
* Update the boostrap compiler to 8.4.1
* Update the many hs-* ports
* Bump the rest

Thanks a lot to arrowd for doing all the heavy lifting :)

PR:		227968
Exp-run by:	antoine
Submitted by:	arrowd
Differential Revision:	https://reviews.freebsd.org/D15005

Switch C compiler used to compile GHC to base Clang.

This removes build dependency on gcc and runtime dependency on gcc's runtime
libraries.

Big thanks to Gleb for working on this.

PR:		225185
Submitted by:	Gleb Popov <6yearold@gmail.com>
Exp-run by:	antoine
Reviewed by:	pgj
Differential Revision:	https://reviews.freebsd.org/D12043

- Update The Glorious Glasgow Haskell Compiler to version 8.0.2
- Simplified port by only suporting GCC, and creating a build.mk file
- Update Pandoc to 1.19.2.1
- Update git-annex to 6.20170520
- Update Darcs to 2.12.5
- Update Gtk2Hs to 0.13.2.2
- Update Agda to 2.5.2

Please note that port revisions for all the Haskell ports without version
changes are bumped.

See the UPDATING file for instructions.

New ports (63):

Fix WWW

Approved by:	portmgr (blanket)

http://github.com redirects to https://github.com, spare everyone a redirect.

Sponsored by:	Absolight

- Update The Glorious Glasgow Haskell Compiler to version 7.10.2
- Include a patch for addressing timer issues [1]
- Add support for building both GHC and Haskell ports with Clang, either from
  ports or the base system
- Discontinue supporting Haskell Platform, use Stackage instead as a
  reference
- Drop support for FreeBSD 8.x, optimize bootstrap compiler tarballs
- Update Gtk2Hs to version 0.13 [2]
- Update Pandoc to version 1.15.0.6
- Update git-annex to version 5.20150727
- Update Darcs to 2.10 [3]
- Unbreak wxHaskell ports

Please note that port revisions for all the Haskell ports without version
changes are bumped.

18 vulnerabilities affecting 82 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-07-10 06:33:27