BSD-3-Clause licensed by Ralf Lammel, Simon Peyton Jones, Jose Pedro Magalhaes
Maintained by [email protected]

Module documentation for 0.4.2

This version can be pinned in stack with:[email protected]:16ff478fa961a5e6fd93dce06a1dc4126ee5cd7a820454e9c9470ad692de075a,2434
  • Data
    • Data.Generics
      • Data.Generics.Aliases
      • Data.Generics.Basics
      • Data.Generics.Builders
      • Data.Generics.Instances
      • Data.Generics.Schemes
      • Data.Generics.Text
      • Data.Generics.Twins
  • Generics
    • Generics.SYB
      • Generics.SYB.Aliases
      • Generics.SYB.Basics
      • Generics.SYB.Builders
      • Generics.SYB.Instances
      • Generics.SYB.Schemes
      • Generics.SYB.Text
      • Generics.SYB.Twins

This package contains the generics system described in the Scrap Your Boilerplate papers (see http://www.cs.uu.nl/wiki/GenericProgramming/SYB). It defines the Data class of types permitting folding and unfolding of constructor applications, instances of this class for primitive types, and a variety of traversals.