summaryrefslogtreecommitdiff
path: root/ghc-semigroupoids.spec
diff options
context:
space:
mode:
Diffstat (limited to 'ghc-semigroupoids.spec')
-rw-r--r--ghc-semigroupoids.spec136
1 files changed, 136 insertions, 0 deletions
diff --git a/ghc-semigroupoids.spec b/ghc-semigroupoids.spec
new file mode 100644
index 0000000..16af724
--- /dev/null
+++ b/ghc-semigroupoids.spec
@@ -0,0 +1,136 @@
+%global pkg_name semigroupoids
+%global pkgver %{pkg_name}-%{version}
+
+Name: ghc-%{pkg_name}
+Version: 5.3.7
+Release: 1
+Summary: Semigroupoids: Category sans id
+License: BSD-2-Clause
+URL: https://hackage.haskell.org/package/%{pkg_name}
+Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
+Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
+BuildRequires: ghc-Cabal-devel
+BuildRequires: ghc-base-devel
+BuildRequires: ghc-base-orphans-devel
+BuildRequires: ghc-base-orphans-prof
+BuildRequires: ghc-base-prof
+BuildRequires: ghc-bifunctors-devel
+BuildRequires: ghc-bifunctors-prof
+BuildRequires: ghc-comonad-devel
+BuildRequires: ghc-comonad-prof
+BuildRequires: ghc-containers-devel
+BuildRequires: ghc-containers-prof
+BuildRequires: ghc-contravariant-devel
+BuildRequires: ghc-contravariant-prof
+BuildRequires: ghc-distributive-devel
+BuildRequires: ghc-distributive-prof
+BuildRequires: ghc-hashable-devel
+BuildRequires: ghc-hashable-prof
+BuildRequires: ghc-rpm-macros
+BuildRequires: ghc-tagged-devel
+BuildRequires: ghc-tagged-prof
+BuildRequires: ghc-template-haskell-devel
+BuildRequires: ghc-template-haskell-prof
+BuildRequires: ghc-transformers-compat-devel
+BuildRequires: ghc-transformers-compat-prof
+BuildRequires: ghc-transformers-devel
+BuildRequires: ghc-transformers-prof
+BuildRequires: ghc-unordered-containers-devel
+BuildRequires: ghc-unordered-containers-prof
+ExcludeArch: %{ix86}
+
+%description
+Provides a wide array of (semi)groupoids and operations for working with them.
+
+A 'Semigroupoid' is a 'Category' without the requirement of identity arrows for
+every object in the category.
+
+A 'Category' is any 'Semigroupoid' for which the Yoneda lemma holds.
+
+When working with comonads you often have the '<*>' portion of an
+'Applicative', but not the 'pure'. This was captured in Uustalu and Vene's
+"Essence of Dataflow Programming" in the form of the 'ComonadZip' class in the
+days before 'Applicative'. Apply provides a weaker invariant, but for the
+comonads used for data flow programming (found in the streams package), this
+invariant is preserved. Applicative function composition forms a semigroupoid.
+
+Similarly many structures are nearly a comonad, but not quite, for instance
+lists provide a reasonable 'extend' operation in the form of 'tails', but do
+not always contain a value.
+
+We describe the relationships between the type classes defined in this package
+and those from `base` (and some from `contravariant`) in the diagram below.
+Thick-bordered nodes correspond to type classes defined in this package;
+thin-bordered ones correspond to type classes from elsewhere. Solid edges
+indicate a subclass relationship that actually exists; dashed edges indicate a
+subclass relationship that /should/ exist, but currently doesn't.
+
+<<https://raw.githubusercontent.com/ekmett/semigroupoids/master/img/classes.svg
+Relationships among type classes from this package and others>>
+
+Apply, Bind, and Extend (not shown) give rise the Static, Kleisli and Cokleisli
+semigroupoids respectively.
+
+This lets us remove many of the restrictions from various monad transformers as
+in many cases the binding operation or '<*>' operation does not require them.
+
+Finally, to work with these weaker structures it is beneficial to have
+containers that can provide stronger guarantees about their contents, so
+versions of 'Traversable' and 'Foldable' that can be folded with just a
+'Semigroup' are added.
+
+%package devel
+Summary: Haskell %{pkg_name} library development files
+Requires: %{name} = %{version}-%{release}
+Requires: ghc-compiler = %{ghc_version}
+Requires(post): ghc-compiler = %{ghc_version}
+Requires(postun): ghc-compiler = %{ghc_version}
+
+%description devel
+This package provides the Haskell %{pkg_name} library development files.
+
+%package -n ghc-%{pkg_name}-help
+Summary: Haskell %{pkg_name} library documentation
+BuildArch: noarch
+
+%description -n ghc-%{pkg_name}-help
+This package provides the Haskell %{pkg_name} library documentation.
+
+%package -n ghc-%{pkg_name}-prof
+Summary: Haskell %{pkg_name} profiling library
+Requires: ghc-%{pkg_name}-devel = %{version}-%{release}
+Supplements: (ghc-%{pkg_name}-devel and ghc-prof)
+
+%description -n ghc-%{pkg_name}-prof
+This package provides the Haskell %{pkg_name} profiling library.
+
+%prep
+%autosetup -n %{pkg_name}-%{version}
+cp -p %{SOURCE1} %{pkg_name}.cabal
+
+%build
+%ghc_lib_build
+
+%install
+%ghc_lib_install
+
+%post devel
+%ghc_pkg_recache
+
+%postun devel
+%ghc_pkg_recache
+
+%files -f %{name}.files
+%license LICENSE
+
+%files devel -f %{name}-devel.files
+%doc CHANGELOG.markdown README.markdown
+
+%files -n ghc-%{pkg_name}-help -f ghc-%{pkg_name}-help.files
+%license LICENSE
+
+%files -n ghc-%{pkg_name}-prof -f ghc-%{pkg_name}-prof.files
+
+%changelog
+* Thu Sep 28 2023 Lin Runze <lrzlin@163.com> 5.3.7-1
+- Initial packaging (Version 5.3.7)