BSD-3-Clause licensed by Ralf Lammel, Simon Peyton Jones, Jose Pedro Magalhaes
Maintained by [email protected]
This version can be pinned in stack with:syb-0.6@sha256:40ad3d4883dcfd46a8560fa2c949263d21a1e3f928da65cb060cead8c717c379,2446

Module documentation for 0.6

  • 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.