File ghc-type-eq.spec of Package ghc-type-eq

Overview Repositories Revisions Requests Users Attributes Meta

File ghc-type-eq.spec of Package ghc-type-eq

#
# spec file for package ghc-type-eq
#
# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via http://bugs.opensuse.org/
#

%global pkg_name type-eq
Name:           ghc-%{pkg_name}
Version:        0.5
Release:        0
Summary:        Type equality evidence you can carry around
License:        BSD-3-Clause
Group:          System/Libraries
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
# Begin cabal-rpm deps:
BuildRequires:  cpphs
BuildRequires:  ghc-Cabal-devel
BuildRequires:  ghc-rpm-macros
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
# End cabal-rpm deps

%description
This package provides types and functions to store and manipulate evidence of
equality between types.

To take advantage of kind polymorphism when it is available but not require it,
it is split into the following primary modules:

- '/Type.Eq/': Types and functions which can be kind-polymorphic if 'PolyKinds'
are available, but are specific to kind '*' otherwise.

- '/Type.Eq.Higher/': Kind-monomorphic types and functions of higher kind, up
to '* -> * -> *'.

- '/Type.Eq.Poly/': Combinators that require kind polymorphism. This module is
only available if 'PolyKinds' are available.

Major required extensions: 'GADTs', 'TypeFamilies' (for '~'), 'Rank2Types',
'TypeOperators'

Optional extensions: 'PolyKinds' (GHC 7.6+)

Minimum GHC: 6.10

Related packages:

- <http://hackage.haskell.org/package/type-equality>

- <http://hackage.haskell.org/package/eq>

- <http://hackage.haskell.org/package/ty>

- <http://hackage.haskell.org/package/dependent-sum>

- <http://hackage.haskell.org/package/categories> ('Data.Category.Discrete').

%package devel
Summary:        Haskell %{pkg_name} library development files
Group:          Development/Libraries/Other
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.

%prep
%setup -q -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
%defattr(-,root,root,-)
%doc LICENSE

%files devel -f %{name}-devel.files
%defattr(-,root,root,-)

%changelog

Places

File ghc-type-eq.spec of Package ghc-type-eq

Places