Mon, 20 May 2024 01:44:38 UTC | login

Information for build ghc-free-5.1.3-3.fc33

ID169710
Package Nameghc-free
Version5.1.3
Release3.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-free.git#a319dede2c9fd633cfdc1165b3c7fd92d9d0a586
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 complete
Volume DEFAULT
StartedThu, 13 Aug 2020 11:19:27 UTC
CompletedThu, 13 Aug 2020 14:50:03 UTC
Taskbuild (f33, /rpms/ghc-free.git:a319dede2c9fd633cfdc1165b3c7fd92d9d0a586)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-free.git#a319dede2c9fd633cfdc1165b3c7fd92d9d0a586'}}
Tags
f33
f37
f38
RPMs
src
ghc-free-5.1.3-3.fc33.src.rpm (info) (download)
noarch
ghc-free-doc-5.1.3-3.fc33.noarch.rpm (info) (download)
riscv64
ghc-free-5.1.3-3.fc33.riscv64.rpm (info) (download)
ghc-free-devel-5.1.3-3.fc33.riscv64.rpm (info) (download)
ghc-free-prof-5.1.3-3.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
root.log
state.log
Changelog * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Fri Jul 17 2020 Jens Petersen <petersen@redhat.com> - 5.1.3-2 - refresh to cabal-rpm-2.0.6 * Fri Feb 14 2020 Jens Petersen <petersen@redhat.com> - 5.1.3-1 - update to 5.1.3 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * 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