alloy-1.2.1: Generic programming library

Safe HaskellSafe-Inferred



Alloy is a generic programming system for automatically traversing data structures, operating on specific types within that structure.

To use the Alloy module, you can either use the helper functions from the Data.Generics.Alloy.Schemes module or the lower-level functions from Data.Generics.Alloy.Pure and Data.Generics.Alloy.Effect. The tutorial ( provides examples of each of these. The tutorial also explains how to use the Data.Generics.Alloy.GenInstances module to generate the instances that Alloy needs for your data.