Package0.5.1.4Generics
generics-sop
Generic Programming using True Sums of Products
- Version0.5.1.4
- CategoryGenerics
- LicenceBSD-3-Clause
- AuthorEdsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com>
- Maintainerandres@well-typed.com
- Pinned byhackage generics-sop 0.5.1.4
- Sourcehackage.haskell.org/package/generics-sop-0.5.1.4
Modules
14 modules- Generics.SOP138Main module of generics-sop In most cases, you will probably want to import just this module,
- Generics.SOP.BasicFunctors18
- Generics.SOP.Classes38
- Generics.SOP.Constraint20
- Generics.SOP.Dict15
- Generics.SOP.GGP8Derive generics-sop boilerplate instances from GHC's Generic. The technique being used here is described in the following paper: José Ped…
- Generics.SOP.Instances0Instances for Generic and HasMetadata. We define instances for datatypes from generics-sop and
- Generics.SOP.Metadata18Metadata about what a datatype looks like In generics-sop, the metadata is completely independent of the main
- Generics.SOP.NP73
- Generics.SOP.NS70
- Generics.SOP.Sing8
- Generics.SOP.TH7Generate generics-sop boilerplate instances using Template Haskell.
- Generics.SOP.Type.Metadata22Type-level metadata This module provides datatypes (to be used promoted) that can represent the
- Generics.SOP.Universe17Codes and interpretations
Description
A library to support the definition of generic functions. Datatypes are viewed in a uniform, structured way: the choice between constructors is represented using an n-ary sum, and the arguments of each constructor are represented using an n-ary product.
The module Generics.SOP is the main module of this library and contains more detailed documentation.
Since version 0.4.0.0, this package is now based on sop-core. The core package contains all the functionality of n-ary sums and products, whereas this package provides the datatype-generic programming support on top.
Examples of using this library are provided by the following packages:
basic-sop basic examples, pretty-sop generic pretty printing, lens-sop generically computed lenses, json-sop generic JSON conversions.
A detailed description of the ideas behind this library is provided by the paper:
Edsko de Vries and Andres Löh. True Sums of Products. Workshop on Generic Programming (WGP) 2014.
Depends on
5 packages- base-4.20.2.0with GHC
- ghc-prim-0.12.0with GHC
- sop-core-0.5.0.2in this set
- template-haskell-2.22.0.0with GHC
- th-abstraction-0.7.1.0in this set