{"id":15647757,"url":"https://github.com/robrix/semilattices","last_synced_at":"2025-07-15T07:35:08.020Z","repository":{"id":56877402,"uuid":"125582151","full_name":"robrix/semilattices","owner":"robrix","description":"join and meet semilattices, lower and upper bounds.","archived":false,"fork":false,"pushed_at":"2024-10-05T00:26:38.000Z","size":161,"stargazers_count":43,"open_issues_count":1,"forks_count":6,"subscribers_count":4,"default_branch":"main","last_synced_at":"2025-07-14T17:47:37.117Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/robrix.png","metadata":{"files":{"readme":"README.md","changelog":"ChangeLog.md","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,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-03-17T00:02:30.000Z","updated_at":"2024-11-04T12:10:34.000Z","dependencies_parsed_at":"2024-03-07T17:03:17.548Z","dependency_job_id":"c43308df-ef97-4abe-b7ca-f1aca8e4e3d7","html_url":"https://github.com/robrix/semilattices","commit_stats":{"total_commits":221,"total_committers":5,"mean_commits":44.2,"dds":0.03619909502262442,"last_synced_commit":"590b762f00270340b64584d11b6b2acc5bc5b28b"},"previous_names":[],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/robrix/semilattices","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/robrix%2Fsemilattices","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/robrix%2Fsemilattices/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/robrix%2Fsemilattices/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/robrix%2Fsemilattices/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/robrix","download_url":"https://codeload.github.com/robrix/semilattices/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/robrix%2Fsemilattices/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265418416,"owners_count":23761816,"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":[],"created_at":"2024-10-03T12:20:54.916Z","updated_at":"2025-07-15T07:35:07.967Z","avatar_url":"https://github.com/robrix.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Build Status](https://travis-ci.com/robrix/semilattices.svg?branch=master)](https://travis-ci.com/robrix/semilattices)\n\n# `semilattices`\n\nThis Haskell package defines typeclasses for join- and meet-semilattices, and for upper and lower bounds, and a variety of instances for each.\n\n\n## Usage\n\nSemilattices are idempotent commutative semigroups, and come in two flavours: `Join` and `Meet`. This presentation of them doesn’t inherit from `Semigroup` however, since `Semigroup`s already exist and the relationships between the various classes here warrant their own operators.\n\nJoin semilattices can be combined using the `\\/` operator (pronounced “lub,” for “least upper bound”). Meet semilattices can be combined with the `/\\` operator (pronounced “glb,” for “greatest lower bound”). They have opposite relationships to `Lower` and `Upper` bounds (which are optional; in general, there are more lower bounds than upper ones).\n\n\n## Related work\n\n- [`lattices`](http://hackage.haskell.org/package/lattices) also offers join \u0026 meet semilattices, \u0026 their respective bounds. Relative to `lattices`, `semilattices` primarily offers a different class hierarchy, e.g. `Lower` \u0026 `Upper` do not have `Join` \u0026 `Meet` as superclasses. Relative to `semilattices`, `lattices` offers classes for lattices (both bounded and un-), partial orderings, a variety of operations for instances.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frobrix%2Fsemilattices","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frobrix%2Fsemilattices","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frobrix%2Fsemilattices/lists"}