@hackage / fcf-vinyl

Vinyl compatibility with first-class-families

Latest0.0.1.0

About

Metadata

  • Last updated , by locallycompact
  • License BSD-3-Clause
  • Categories Web Development, Type System

  • Maintained by: dan.firth@homotopic.tech

  • Lottery factor: 0

Links

Installation

Readme

fcf-vinyl

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.