Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15
ghc-ghc-typelits-extra
ghc-ghc-typelits-extra.spec
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File ghc-ghc-typelits-extra.spec of Package ghc-ghc-typelits-extra
# # spec file for package ghc-ghc-typelits-extra # # 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 ghc-typelits-extra %bcond_with tests Name: ghc-%{pkg_name} Version: 0.2.3 Release: 0 Summary: Additional type-level operations on GHC.TypeLits.Nat License: BSD-2-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-ghc-devel BuildRequires: ghc-ghc-tcplugins-extra-devel BuildRequires: ghc-ghc-typelits-knownnat-devel BuildRequires: ghc-ghc-typelits-natnormalise-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-singletons-devel BuildRequires: ghc-transformers-devel %if %{with tests} BuildRequires: ghc-tasty-devel BuildRequires: ghc-tasty-hunit-devel BuildRequires: ghc-template-haskell-devel %endif %description Additional type-level operations on 'GHC.TypeLits.Nat': * 'Max': type-level <http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:max max> * 'Min': type-level <http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:min min> * 'Div': type-level <http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:div div> * 'Mod': type-level <http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:mod mod> * 'FLog': type-level equivalent of <https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35- integerLogBase#> i.e. the exact integer equivalent to 'floor (logBase x y)' * 'CLog': type-level equivalent of /the ceiling of/ <https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35- integerLogBase#> i.e. the exact integer equivalent to 'ceiling (logBase x y)' * 'Log': type-level equivalent of <https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35- integerLogBase#> where the operation only reduces when 'floor (logBase b x) ~ ceiling (logBase b x)' * 'GCD': a type-level <http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:gcd gcd> * 'LCM': a type-level <http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:lcm lcm> And a custom solver for the above operations defined in 'GHC.TypeLits.Extra.Solver' as a GHC type-checker plugin. To use the plugin, add the ' OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver ' pragma to the header of your file. %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.md README.md %changelog
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor