fcf-vinyl: Vinyl compatibility with first-class-families

[ bsd3, library, types, vinyl ] [ Propose Tags ]

Vinyl compatibility with first-class-families

[Skip to Readme]


[Index] [Quick Jump]


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Change log ChangeLog.md
Dependencies base (>=4.7 && <5), first-class-families, vinyl [details]
License BSD-3-Clause
Copyright Daniel Firth
Author Daniel Firth
Maintainer dan.firth@homotopic.tech
Revised Revision 1 made by locallycompact at 2021-09-08T08:13:39Z
Category Types, Vinyl
Source repo head: git clone https://gitlab.homotopic.tech/haskell/fcf-vinyl
Uploaded by locallycompact at 2021-09-08T08:10:52Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 210 total (14 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2021-09-08 [all 1 reports]

Readme for fcf-vinyl-

[back to package description]


Vinyl compatibility with first-class-families. Exports a version of rappend which uses the fcf version of (++) rather than the version in Data.Vinyl.TypeLevel. This makes it easier to prove things via the fcf.

If there are more ways to ease compatibility with FCF, they will be added here.