Deriving | npm.io

Deriving parametricity results in Agda: "theorems for free"

agda parametricity deriving theorems-for-free

0.0.3 • Published 10 years ago

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

effect derive deriving functor covariant foldable traversable corecursive recursion-schemes

0.1.1 • Published 12 months ago