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.7@sha256:9c559edeef6b9eb1362d7e16fbb15e786be871050cf085a46fcead282bb86e89,2446

Module documentation for 0.7

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