ghc-free - Monads for free

Property Value
Distribution openSUSE Tumbleweed
Repository openSUSE Oss all
Package filename ghc-free-5.1-2.13.x86_64.rpm
Package name ghc-free
Package version 5.1
Package release 2.13
Package architecture x86_64
Package type rpm
Category Development/Libraries/Haskell
License BSD-3-Clause
Maintainer -
Download size 258.82 KB
Installed size 1.72 MB
Free monads are useful for many tree-like structures and domain specific
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
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.
More information on free monads, including examples, can be found in the
following blog posts: <>


Package Version Architecture Repository
ghc-free-5.1-2.13.i586.rpm 5.1 i586 openSUSE Oss
ghc-free - - -


Name Value - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -


Name Value
ghc-free = 5.1-2.13
ghc-free(x86-64) = 5.1-2.13 -


Type URL
Binary Package ghc-free-5.1-2.13.x86_64.rpm
Source Package ghc-free-5.1-2.13.src.rpm

Install Howto

Install ghc-free rpm package:

# zypper install ghc-free




2018-10-20 - Peter Simons <>
- Use https URL to refer to
2018-07-18 -
- Cosmetic: replace tabs with blanks, strip trailing white space,
and update copyright headers with spec-cleaner.
2018-07-13 -
- Update free to version 5.1.
5.1 [2018.07.03]
- ---------------
* Generalize the type of `_Free`.
* Allow building with `containers-0.6`.
* Avoid incurring some dependencies when using recent GHCs.
5.0.2 [2018.04.25]
- -----------------
* Add `Generic` and `Generic1` instances where possible.
2018-05-14 -
- Update free to version 5.0.2.
* Add a `Semigroup` instance for `IterT`.
* Add `MonadFail` instances for `IterT` and `FreeT`.
* Add a `Comonad` instance for the free `Applicative`, `Ap`.
* Add `Control.Monad.Free.Ap` and `Control.Monad.Trans.Free.Ap` modules, based
on the "Applicative Effects in Free Monads" series of articles by Will
* Derive `Data` instances for `Free` and `Cofree`.
* `Control.Monad.Free.TH` now properly supports `template-haskell-`. In
particular, it now supports `GadtC` and `RecGadtC`, which are new
`template-haskell` forms for representing GADTs.
* Add `telescoped_`, `shoots`, and `leaves` to `Control.Comonad.Cofree`
* Add the `Control.Applicative.Free.Fast` module, based on Dave Menendez's
article "Free Applicative Functors in Haskell"
* Add `foldFreeT` to `Control.Monad.Trans.Free`
* Improve the `foldMap` and `cutoff` functions for
`Control.Monad.Free.Church.F`, and add a `Traversable`
* Add a `MonadBase` instance for `FreeT`
* Add a performance test comparing Free and Church interpreters
* The use of `prelude-extras` has been removed. `free` now uses the
`Data.Functor.Classes` module to give `free`'s datatypes instances of `Eq1`,
`Ord1`, `Read1`, and `Show1`. Their `Eq`, `Ord`, `Read`, and `Show` instances
have also been modified to incorporate these classes. For example, what
previously existed as:
instance (Eq (f (Free f a)), Eq a) => Eq (Free f a) where
has now been changed to:
instance (Eq1 f, Eq a) => Eq (Free f a) where
* Remove redundant `Functor` constraints from `Control.Alternative.Free`
2017-08-03 -
- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
2016-07-10 -
- Update to version 4.12.4 revision 0 with cabal2obs.
2016-01-18 -
- update to 4.12.4
* Add instances for ExceptT: like ErrorT, but without an Error constraint.
* Support containers
* Support transformers 0.5
* Removed a number of spurious class constraints.
* Support comonad 5
2015-08-06 -
- update to 4.12.1
* Add instances of MonadCatch and MonadThrow from exceptions to FT, FreeT and IterT.
* semigroupoids 5, profunctors 5, and bifunctors 5 support.
2015-04-26 -
- initial commit

See Also

Package Description
ghc-free-devel-5.1-2.13.i586.rpm Haskell free library development files
ghc-free-devel-5.1-2.13.x86_64.rpm Haskell free library development files
ghc-fsnotify- Cross platform library for file change notification
ghc-fsnotify- Cross platform library for file change notification
ghc-fsnotify-devel- Haskell fsnotify library development files
ghc-fsnotify-devel- Haskell fsnotify library development files
ghc-generic-deriving-1.12.3-1.5.i586.rpm Generic programming library for generalised deriving
ghc-generic-deriving-1.12.3-1.5.x86_64.rpm Generic programming library for generalised deriving
ghc-generic-deriving-devel-1.12.3-1.5.i586.rpm Haskell generic-deriving library development files
ghc-generic-deriving-devel-1.12.3-1.5.x86_64.rpm Haskell generic-deriving library development files
ghc-ghc-8.6.5-1.1.i586.rpm Haskell ghc library
ghc-ghc-8.6.5-1.1.x86_64.rpm Haskell ghc library
ghc-ghc-boot-8.6.5-1.1.i586.rpm Haskell ghc-boot library
ghc-ghc-boot-8.6.5-1.1.x86_64.rpm Haskell ghc-boot library
ghc-ghc-boot-devel-8.6.5-1.1.i586.rpm Haskell ghc-boot library development files