/functor-products

Generalized functor products based on lifted foldables

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

functor-products

Generalizes the Rec type in vinyl to work over various different Foldable instances, instead of just lists. Provides a unifying abstraction for all of them, as well as data types to index into them.