/multiplate-idr

Multiplates for Idris 2

Primary LanguageIdrisMIT LicenseMIT

Multiplate

Multiplate is a library for writing traversals over mutually recursive data types.

This is largely a port of the Haskell version, and the Haskell Multiplate Simplified packages.