| Name : ghc-fin
| |
| Version : 0.0.1
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 1.4
| Date : 2019-02-13 03:42:45
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-fin-0.0.1-1.4.src.rpm
|
| Size : 0.21 MB
| |
| Packager : (none)
| |
| Summary : Nat and Fin: peano naturals and finite numbers
|
Description :
This package provides two simple types, and some tools to work with them.
Also on type level as \'DataKinds\'.
\' -- Peano naturals data Nat = Z | S Nat
-- Finite naturals data Fin (n :: Nat) where Z :: Fin (\'S n) S :: Fin n -> Fin
(\'Nat.S n) \'
[vec](https://hackage.haskell.org/package/vec) implements length-indexed
(sized) lists using this package for indexes.
The \"Data.Fin.Enum\" module let\'s work generically with enumerations.
See [Hasochism: the pleasure and pain of dependently typed haskell
programming](https://doi.org/10.1145/2503778.2503786) by Sam Lindley and Conor
McBride for answers to /how/ and /why/. Read [APLicative Programming with
Naperian Functors](https://doi.org/10.1007/978-3-662-54434-1_21) by Jeremy
Gibbons for (not so) different ones.
=== Similar packages
* [finite-typelits](https://hackage.haskell.org/package/finite-typelits) .
Is a great package, but uses \'GHC.TypeLits\'.
* [type-natural](https://hackage.haskell.org/package/type-natural) depends on
\'singletons\' package. \'fin\' will try to stay light on the dependencies, and
support as many GHC versions as practical.
* [peano](https://hackage.haskell.org/package/peano) is very incomplete
* [nat](https://hackage.haskell.org/package/nat) as well.
* [PeanoWitnesses](https://hackage.haskell.org/package/PeanoWitnesses) doesn\'t
use \'DataKinds\'.
* [type-combinators](https://hackage.haskell.org/package/type-combinators) is
big package too.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/13/openSUSE_Tumbleweed/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-fin
ghc-fin(x86-64)
libHSfin-0.0.1-Ispbhetgre24nUyTD6ZGUv-ghc8.6.3.so()(64bit)
Requires :
