Data.Generics.Alloy

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 (http://twistedsquare.com/Alloy-Tutorial.pdf) 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.

Documentation

module Data.Generics.Alloy.Pure

module Data.Generics.Alloy.Effect

module Data.Generics.Alloy.Route

module Data.Generics.Alloy.Schemes