@hackage / parametric-functor

A known-parametric Functor typeclass

Latest0.1.1.0

About

Metadata

  • Last updated , by shlevy
  • License Apache-2.0

  • Maintained by: shea@shealevy.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.8.1

Readme

As Oleg Grenrus argued in 2019, Functors should be parametric, and in particular should:

  • Satisfy fmap coerce = coerce

  • Have a ∀ a b. Coercible a b ⇒ Coercible (f a) (f b) super-constraint

Until this change gets adopted in base, this package can be used for a variant of Functor which satisfies these requirements.