File ghc-type-level-numbers.spec of Package ghc-type-level-numbers

Overview Repositories Revisions Requests Users Attributes Meta

File ghc-type-level-numbers.spec of Package ghc-type-level-numbers

#
# spec file for package ghc-type-level-numbers
#
# Copyright (c) 2017 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:          Development/Libraries/Haskell
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
BuildRequires:  ghc-template-haskell-devel

%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/Haskell
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
%cabal_test

%post devel
%ghc_pkg_recache

%postun devel
%ghc_pkg_recache

%files -f %{name}.files
%doc LICENSE

%files devel -f %{name}-devel.files
%doc ChangeLog

%changelog

Places

File ghc-type-level-numbers.spec of Package ghc-type-level-numbers

Places