{"id":13687161,"url":"https://github.com/well-typed/generics-sop","last_synced_at":"2025-05-01T12:32:48.377Z","repository":{"id":800735,"uuid":"21289070","full_name":"well-typed/generics-sop","owner":"well-typed","description":"Generic Programming using True Sums of Products","archived":false,"fork":false,"pushed_at":"2024-05-13T17:09:49.000Z","size":688,"stargazers_count":156,"open_issues_count":38,"forks_count":48,"subscribers_count":14,"default_branch":"master","last_synced_at":"2024-08-03T15:06:20.289Z","etag":null,"topics":["generic-programming","haskell","types"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/well-typed.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null}},"created_at":"2014-06-27T20:58:23.000Z","updated_at":"2024-05-13T17:09:51.000Z","dependencies_parsed_at":"2023-07-05T15:16:36.148Z","dependency_job_id":"8c8eb0e4-add6-4b46-bffb-a182e1feecad","html_url":"https://github.com/well-typed/generics-sop","commit_stats":{"total_commits":329,"total_committers":21,"mean_commits":"15.666666666666666","dds":0.3009118541033434,"last_synced_commit":"402c8da3e02cf451d6a1c205ea1113ba21140f53"},"previous_names":[],"tags_count":26,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/well-typed%2Fgenerics-sop","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/well-typed%2Fgenerics-sop/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/well-typed%2Fgenerics-sop/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/well-typed%2Fgenerics-sop/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/well-typed","download_url":"https://codeload.github.com/well-typed/generics-sop/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":224257481,"owners_count":17281719,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["generic-programming","haskell","types"],"created_at":"2024-08-02T15:00:49.747Z","updated_at":"2024-11-12T10:30:46.900Z","avatar_url":"https://github.com/well-typed.png","language":"Haskell","funding_links":[],"categories":["Haskell"],"sub_categories":[],"readme":"## sop-core and generics-sop\n\n[![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)\n[![Hackage](https://img.shields.io/hackage/v/generics-sop.svg)](https://hackage.haskell.org/package/generics-sop)\n\n`generics-sop` is a library to support the definition of generic functions.\nDatatypes are viewed in a uniform, structured way: the choice between\nconstructors is represented using an n-ary sum, and the arguments of each\nconstructor are represented using an n-ary product.\n\nSince version 0.4.0.0, `generics-sop` is now based on `sop-core`. The core\npackage contains all the functionality of n-ary sums and products, whereas\n`generics-sop` provides the datatype-generic programming support on top.\n\nThis is the development repository for the packages. For releases, look on\n[Hackage][0].\n \nThe module [`Generics.SOP`][1] is the main module of this library\nand contains more detailed documentation.\n \nExamples of using `generics-sop` are provided by the following\npackages:\n \n  * [basic-sop][2] basic examples,\n  * [pretty-sop][3] generic pretty printing,\n  * [lens-sop][4] generically computed lenses,\n  * [json-sop][5] generic JSON conversions.\n \nA detailed description of the ideas behind this library is provided by\nthe paper:\n \n  * Edsko de Vries and Andres Löh.\n    [True Sums of Products][6].\n    Workshop on Generic Programming (WGP) 2014.\n \n[0]: https://hackage.haskell.org/package/generics-sop\n[1]: https://hackage.haskell.org/package/generics-sop/docs/Generics-SOP.html\n[2]: https://github.com/well-typed/basic-sop\n[3]: https://github.com/well-typed/pretty-sop\n[4]: https://github.com/well-typed/lens-sop\n[5]: https://github.com/well-typed/json-sop\n[6]: http://www.andres-loeh.de/TrueSumsOfProducts\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwell-typed%2Fgenerics-sop","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fwell-typed%2Fgenerics-sop","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwell-typed%2Fgenerics-sop/lists"}