Path to this page:
./
math/hsfree,
Monads for free
Branch: CURRENT,
Version: 5.2nb2,
Package name: hsfree5.2nb2,
Maintainer: pkgsrcusersFree monads are useful for many treelike 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 "zerocost": 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 rosetrees, 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 KB
Version history: (Expand)
 (20240509) Updated to version: hsfree5.2nb2
 (20231102) Updated to version: hsfree5.2nb1
 (20231030) Updated to version: hsfree5.2
 (20231009) Updated to version: hsfree5.1.10nb2
 (20230209) Updated to version: hsfree5.1.10nb1
 (20230127) Updated to version: hsfree5.1.10
CVS history: (Expand)
20231102 07:37:49 by Masatake Daimon  Files touched by this commit (1141) 
Log message:
Revbump all Haskell after updating lang/ghc96

20231030 11:53:51 by Masatake Daimon  Files touched by this commit (4) 
Log message:
math/hsfree: 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 pre7.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 bifunctorclassescompat.

20231009 06:55:01 by Masatake Daimon  Files touched by this commit (988) 
Log message:
Bump Haskell packages after updating lang/ghc94

20230127 14:50:46 by Masatake Daimon  Files touched by this commit (4) 
Log message:
math/hsfree: Update to 5.1.10
5.1.10 [2022.11.30]
* Add a MonadFail instance for FT.
5.1.9 [2022.06.26]
* Simplify the Eq and Ord instances for FT to avoid the use of overlapping
instances.
5.1.8 [2022.05.07]
* Generalize the Monad constraint in the type signatures for hoistFreeT in
Control.Monad.Trans.Free and Control.Monad.Trans.Free.Ap to a Functor
constraint.
* Allow building with transformers0.6.* and mtl2.3.*.

20220226 04:58:36 by Masatake Daimon  Files touched by this commit (872) 
Log message:
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk

20220216 09:53:40 by Masatake Daimon  Files touched by this commit (5) 
Log message:
math/hsfree: import hsfree5.1.7
Free monads are useful for many treelike 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 "zerocost": 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 rosetrees, 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.
