Sat, 18 May 2024 09:50:46 UTC | login

Information for build ghc-free-5.1.10-4.fc40

ID267910
Package Nameghc-free
Version5.1.10
Release4.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-free.git#d1a4de82b007df747e8785a865d9fb1e84fd8816
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
StartedMon, 20 Nov 2023 10:14:55 UTC
CompletedMon, 20 Nov 2023 10:54:32 UTC
Taskbuild (f40, /rpms/ghc-free.git:d1a4de82b007df747e8785a865d9fb1e84fd8816)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-free.git#d1a4de82b007df747e8785a865d9fb1e84fd8816'}}
Tags
f40
RPMs
src
ghc-free-5.1.10-4.fc40.src.rpm (info) (download)
noarch
ghc-free-doc-5.1.10-4.fc40.noarch.rpm (info) (download)
riscv64
ghc-free-5.1.10-4.fc40.riscv64.rpm (info) (download)
ghc-free-devel-5.1.10-4.fc40.riscv64.rpm (info) (download)
ghc-free-prof-5.1.10-4.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Sat Jul 29 2023 Jens Petersen <petersen@redhat.com> 5.1.10-4 - bump release * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> 5.1.10-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Sun Jan 22 2023 Jens Petersen <petersen@redhat.com> - 5.1.10-1 - https://hackage.haskell.org/package/free-5.1.10/changelog - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.7-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 5.1.7-3 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 5.1.7-1 - update to 5.1.7 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 5.1.5-1 - update to 5.1.5