Package0.5.0.2Data
sop-core
True Sums of Products
- Version0.5.0.2
- CategoryData
- LicenceBSD-3-Clause
- AuthorEdsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com>
- Maintainerandres@well-typed.com
- Pinned byhackage sop-core 0.5.0.2
- Sourcehackage.haskell.org/package/sop-core-0.5.0.2
Modules
8 modules- Data.SOP104Main module of sop-core
- Data.SOP.BasicFunctors18Basic functors. Definitions of the type-level equivalents of
- Data.SOP.Classes38Classes for generalized combinators on SOP types. In the SOP approach to generic programming, we're predominantly
- Data.SOP.Constraint20Constraints for indexed datatypes. This module contains code that helps to specify that all
- Data.SOP.Dict15Explicit dictionaries. When working with compound constraints such as constructed
- Data.SOP.NP73n-ary products (and products of products)
- Data.SOP.NS70n-ary sums (and sums of products)
- Data.SOP.Sing8Singleton types corresponding to type-level data structures. The implementation is similar, but subtly different to that of the
Description
Implementation of n-ary sums and n-ary products.
The module Data.SOP is the main module of this library and contains more detailed documentation.
The main use case of this package is to serve as the core of generics-sop.
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
2 packages- base-4.20.2.0with GHC
- deepseq-1.5.0.0with GHC