@markandrus/effect-derive

Derive Covariant (Functor), Foldable, and Traversable instances, as well as base functors, for algebraic data types (ADTs)

v0.1.1 URL: https://unpkg.com/@markandrus/effect-derive@0.1.1/lib/index.js

Open Browse Files

effect derive deriving functor covariant foldable traversable corecursive recursion-schemes

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

v0.0.3 URL: https://unpkg.com/agda-parametricity@0.0.3/agda-parametricity.agda

Open Browse Files

agda parametricity deriving theorems-for-free