Fri, 22 Nov 2024 19:13:36 UTC | login

Information for build ghc-free-5.1.1-1.fc31

ID125087
Package Nameghc-free
Version5.1.1
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-free.git#a36e172dbee5ea3bbf65d24f3468e40e091525d5
SummaryMonads for free
DescriptionFree 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. More information on free monads, including examples, can be found in the following blog posts: <http://comonad.com/reader/2008/monads-for-free/> <http://comonad.com/reader/2011/free-monads-for-less/>.
Built bydavidlt
State failed
Volume DEFAULT
StartedSat, 21 Sep 2019 23:50:45 UTC
CompletedSun, 22 Sep 2019 00:22:26 UTC
Taskbuild (f31-candidate, /rpms/ghc-free.git:a36e172dbee5ea3bbf65d24f3468e40e091525d5)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-free.git#a36e172dbee5ea3bbf65d24f3468e40e091525d5'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 5.1.1-1 - update to 5.1.1 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 5.0.2-5 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sun Jul 29 2018 Jens Petersen <petersen@redhat.com> - 5.0.2-3 - drop doc/ from docs * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Mon Jul 09 2018 Elliott Sales de Andrade <quantum.analyst@gmail.com> - 5.0.2-1 - update to 5.0.2 * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.4-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Jan 26 2018 Jens Petersen <petersen@redhat.com> - 4.12.4-6 - rebuild