| Name : ghc-ghc-typelits-extra
| |
| Version : 0.2.2
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 1.18
| Date : 2018-03-09 19:30:44
|
| Group : Development/Languages/Other
| Source RPM : ghc-ghc-typelits-extra-0.2.2-1.18.src.rpm
|
| Size : 0.28 MB
| |
| Packager : (none)
| |
| Summary : Additional type-level operations on GHC.TypeLits.Nat
|
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.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/7/SLE_12_SP2_Backports/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-ghc-typelits-extra
ghc-ghc-typelits-extra(x86-64)
libHSghc-typelits-extra-0.2.2-30oB8H2Or292OtEPS5mINP-ghc8.0.1.so()(64bit)
Requires :
