generics-sop
所属分类:collect
开发工具:Haskell
文件大小:0KB
下载次数:0
上传日期:2023-05-21 21:20:47
上 传 者:
sh-1993
说明: 使用乘积真和的泛型编程,
(Generic Programming using True Sums of Products,)
文件列表:
LICENSE (1534, 2023-10-18)
cabal.haskell-ci (53, 2023-10-18)
cabal.project (34, 2023-10-18)
generics-sop/ (0, 2023-10-18)
generics-sop/CHANGELOG.md (9535, 2023-10-18)
generics-sop/LICENSE (1534, 2023-10-18)
generics-sop/bench/ (0, 2023-10-18)
generics-sop/bench/SOPBench.hs (3660, 2023-10-18)
generics-sop/bench/SOPBench/ (0, 2023-10-18)
generics-sop/bench/SOPBench/Eq.hs (399, 2023-10-18)
generics-sop/bench/SOPBench/Roundtrip.hs (303, 2023-10-18)
generics-sop/bench/SOPBench/Show.hs (1739, 2023-10-18)
generics-sop/bench/SOPBench/Type.hs (7526, 2023-10-18)
generics-sop/doctest.sh (471, 2023-10-18)
generics-sop/generics-sop.cabal (5717, 2023-10-18)
generics-sop/src/ (0, 2023-10-18)
generics-sop/src/Generics/ (0, 2023-10-18)
generics-sop/src/Generics/SOP.hs (12484, 2023-10-18)
generics-sop/src/Generics/SOP/ (0, 2023-10-18)
generics-sop/src/Generics/SOP/BasicFunctors.hs (112, 2023-10-18)
generics-sop/src/Generics/SOP/Classes.hs (94, 2023-10-18)
generics-sop/src/Generics/SOP/Constraint.hs (103, 2023-10-18)
generics-sop/src/Generics/SOP/Dict.hs (85, 2023-10-18)
generics-sop/src/Generics/SOP/GGP.hs (9112, 2023-10-18)
generics-sop/src/Generics/SOP/Instances.hs (10499, 2023-10-18)
generics-sop/src/Generics/SOP/Metadata.hs (4817, 2023-10-18)
generics-sop/src/Generics/SOP/NP.hs (79, 2023-10-18)
generics-sop/src/Generics/SOP/NS.hs (79, 2023-10-18)
generics-sop/src/Generics/SOP/Sing.hs (85, 2023-10-18)
generics-sop/src/Generics/SOP/TH.hs (23609, 2023-10-18)
generics-sop/src/Generics/SOP/Type/ (0, 2023-10-18)
generics-sop/src/Generics/SOP/Type/Metadata.hs (12035, 2023-10-18)
generics-sop/src/Generics/SOP/Universe.hs (7870, 2023-10-18)
generics-sop/test/ (0, 2023-10-18)
generics-sop/test/Example.hs (5758, 2023-10-18)
... ...
## sop-core and generics-sop
[![Build Status](https://github.com/well-typed/generics-sop/actions/workflows/haskell-ci.yml/badge.svg)](https://github.com/well-typed/generics-sop/actions/workflows/haskell-ci.yml)
[![Hackage](https://img.shields.io/hackage/v/generics-sop.svg)](https://hackage.haskell.org/package/generics-sop)
`generics-sop` is 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.
Since version 0.4.0.0, `generics-sop` is now based on `sop-core`. The core
package contains all the functionality of n-ary sums and products, whereas
`generics-sop` provides the datatype-generic programming support on top.
This is the development repository for the packages. For releases, look on
[Hackage][0].
The module [`Generics.SOP`][1] is the main module of this library
and contains more detailed documentation.
Examples of using `generics-sop` are provided by the following
packages:
* [basic-sop][2] basic examples,
* [pretty-sop][3] generic pretty printing,
* [lens-sop][4] generically computed lenses,
* [json-sop][5] generic JSON conversions.
A detailed description of the ideas behind this library is provided by
the paper:
* Edsko de Vries and Andres Lh.
[True Sums of Products][6].
Workshop on Generic Programming (WGP) 2014.
[0]: https://hackage.haskell.org/package/generics-sop
[1]: https://hackage.haskell.org/package/generics-sop/docs/Generics-SOP.html
[2]: https://github.com/well-typed/basic-sop
[3]: https://github.com/well-typed/pretty-sop
[4]: https://github.com/well-typed/lens-sop
[5]: https://github.com/well-typed/json-sop
[6]: http://www.andres-loeh.de/TrueSumsOfProducts
近期下载者:
相关文件:
收藏者: