ghc-free-5.1.7-4.fc37 | Build Info

Information for build ghc-free-5.1.7-4.fc37

215399

Package Name

ghc-free

Version

5.1.7

Release

4.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-free.git#8be421353167231d2f6930a2ae4fbfadf8b93eaf

Summary

Monads for free

Description

Free 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 by

davidlt

State

complete

Volume

DEFAULT

Started

Tue, 01 Nov 2022 16:21:39 UTC

Completed

Wed, 02 Nov 2022 04:54:19 UTC

Task

build (f37, /rpms/ghc-free.git:8be421353167231d2f6930a2ae4fbfadf8b93eaf)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-free.git#8be421353167231d2f6930a2ae4fbfadf8b93eaf'}}

Tags

f37

f38

RPMs

src
	ghc-free-5.1.7-4.fc37.src.rpm (info) (download)
noarch
	ghc-free-doc-5.1.7-4.fc37.noarch.rpm (info) (download)
riscv64
	ghc-free-5.1.7-4.fc37.riscv64.rpm (info) (download)
	ghc-free-devel-5.1.7-4.fc37.riscv64.rpm (info) (download)
	ghc-free-prof-5.1.7-4.fc37.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	noarch_rpmdiff.json
	root.log
	state.log

Changelog

* 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 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Main Site Links:

Information for build ghc-free-5.1.7-4.fc37