| CARVIEW |
Select Language
HTTP/2 200
expires: Thu, 19 Nov 1981 08:52:00 GMT
cache-control: no-store, no-cache, must-revalidate
pragma: no-cache
set-cookie: PHPSESSID=k2b6u1d5utr63tt192kvlbkibv; path=/
content-type: text/html; charset=UTF-8
date: Sun, 28 Dec 2025 16:11:57 GMT
server: Apache
pkgsrc.se | The NetBSD package collection
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
mail
math
hs-free
mbone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
print
regress
security
shells
sysutils
textproc
time
wip
wm
www
x11
* = Virtual Category
Path to this page:
./math/hs-free, Monads for free
[
Branch: CURRENT, Version: 5.2nb5, Package name: hs-free-5.2nb5, Maintainer: pkgsrc-users
Free monads are useful for many tree-like structures and domain specific
languages.
If f is a Functor then the free Monad on f is the type of trees whose nodes
are labeled with the constructors of f. The word "free" is used in the
sense of "unrestricted" rather than "zero-cost": Free f makes no
constraining assumptions beyond those given by f and the definition of
Monad. As used here it is a standard term from the mathematical theory of
adjoint functors.
Cofree comonads are dual to free monads. They provide convenient ways to
talk about branching streams and rose-trees, and can be used to annotate
syntax trees. The cofree comonad can be seen as a stream parameterized by a
Functor that controls its branching factor.
Navigation:
-
Browse pkgsrc
(this page)
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
math
hs-freembone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
regress
security
shells
sysutils
textproc
time
wip
wm
www
x11
* = Virtual Category
Path to this page:
./math/hs-free, Monads for free
[
CVSweb ] [
Homepage ] [
RSS ] [
Required by ] [
Add to tracker ]
Branch: CURRENT, Version: 5.2nb5, Package name: hs-free-5.2nb5, Maintainer: pkgsrc-users
Free monads are useful for many tree-like structures and domain specific
languages.
If f is a Functor then the free Monad on f is the type of trees whose nodes
are labeled with the constructors of f. The word "free" is used in the
sense of "unrestricted" rather than "zero-cost": Free f makes no
constraining assumptions beyond those given by f and the definition of
Monad. As used here it is a standard term from the mathematical theory of
adjoint functors.
Cofree comonads are dual to free monads. They provide convenient ways to
talk about branching streams and rose-trees, and can be used to annotate
syntax trees. The cofree comonad can be seen as a stream parameterized by a
Functor that controls its branching factor.
Master sites:
Filesize: 57.403 KBVersion history: (Expand)
- (2025-10-24) Package has been reborn
- (2025-10-24) Package deleted from pkgsrc
- (2025-08-13) Updated to version: hs-free-5.2nb5
- (2025-07-15) Package has been reborn
- (2025-07-15) Package deleted from pkgsrc
- (2025-03-05) Updated to version: hs-free-5.2nb4
CVS history: (Expand)
| 2025-08-13 13:07:47 by Masatake Daimon | Files touched by this commit (1263) |
Log message: Bump all Haskell because lang/ghc910 has got a library change |
| 2025-03-05 04:40:14 by Masatake Daimon | Files touched by this commit (1173) |
Log message: recursive revbump after patching lang/ghc910 |
| 2025-02-02 14:06:08 by Masatake Daimon | Files touched by this commit (1173) |
Log message: Bump all Haskell packages after switching the default compiler. |
| 2025-01-30 08:45:25 by Masatake Daimon | Files touched by this commit (1) |
Log message: math/hs-free: Fix build with GHC 9.10 |
| 2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) |
Log message: Recursive revbump after changing the default Haskell compiler |
| 2024-05-02 11:33:16 by Masatake Daimon | Files touched by this commit (2) |
Log message: math/hs-free: Fix build with GHC 9.8 This breaks build with the currently default GHC 9.6. Please bear with me until I switch the default compiler. |
| 2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) |
Log message: Revbump all Haskell after updating lang/ghc96 |
| 2023-10-30 11:53:51 by Masatake Daimon | Files touched by this commit (4) |
Log message: math/hs-free: Update to 5.2 5.2 [2023.03.12] * Drop support for GHC 7.10 and earlier. * Drop redundant Monad constraints on many functions and instances. These constraints were only present for compatibility with pre-7.10 versions of GHC, which free no longer supports. * Add Eq, Eq1, Ord, Ord1, and Foldable instances for Ap in Control.Applicative.Free. * Switch out bifunctors dependency for bifunctor-classes-compat. |
