Fin: Finite totally-ordered sets

[ bsd3, data, deprecated, library ] [ Propose Tags ] [ Report a vulnerability ]

Deprecated

Modules

[Index] [Quick Jump]

Data
- Data.Fin
  - Data.Fin.List
  - Data.Fin.Permutation

Downloads

Fin-0.2.7.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

No current members of group

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0, 0.1.1.0, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.2.4.0, 0.2.5.0, 0.2.5.1, 0.2.6.0, 0.2.6.1, 0.2.7.0, 0.2.8.0, 0.2.9.0
Dependencies	alg (>=0.2.5 && <0.3), base (>=4.7 && <5), foldable1 (>=0.1 && <0.2), natural-induction (>=0.2 && <0.3), peano, universe-base (>=1.0 && <1.1) [details]
License	BSD-3-Clause
Author	M Farkas-Dyck
Maintainer	strake888@gmail.com
Uploaded	by MatthewFarkasDyck at 2018-12-27T05:43:20Z
Category	Data
Distributions
Reverse Dependencies	3 direct, 1 indirect [details]
Downloads	8530 total (25 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2018-12-27 [all 1 reports]