File ghc-type-level-numbers.spec of Package ghc-type-level-numbers
#
# spec file for package ghc-type-level-numbers
#
# 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-level-numbers
%bcond_with tests
Name: ghc-%{pkg_name}
Version: 0.1.1.1
Release: 0
Summary: Type level numbers implemented using type families
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
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
# Begin cabal-rpm deps:
BuildRequires: ghc-template-haskell-devel
BuildRoot: %{_tmppath}/%{name}-%{version}-build
# End cabal-rpm deps
%description
This is type level numbers implemented using type families. Natural numbers use
binary encoding. With default context stack numbers up to 2^18-1 coudl be
represented. Signed integer numbers use balanced ternary encoding.
Package is structured as folows:
* ['TypeLevel.Number.Classes'] contain generic type families such as Add
* ['TypeLevel.Number.Nat'] natural numbers implemented using binary encoding
* ['TypeLevel.Number.Int'] signed integers implemented using balanced ternary
encoding
* ['TypeLevel.Boolean'] type level booleans
So far comparison of numbers, subtraction and multiplication of numbers are
supported.
%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}
%build
%ghc_lib_build
%install
%ghc_lib_install
%check
%if %{with tests}
%{cabal} test
%endif
%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,-)
%doc ChangeLog
%changelog