https://github.com/obsidiansystems/dependent-monoidal-map
Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict
https://github.com/obsidiansystems/dependent-monoidal-map
containers dependent-map haskell monoidal
Last synced: about 1 month ago
JSON representation
Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict
- Host: GitHub
- URL: https://github.com/obsidiansystems/dependent-monoidal-map
- Owner: obsidiansystems
- License: bsd-3-clause
- Created: 2018-07-31T17:06:25.000Z (almost 7 years ago)
- Default Branch: develop
- Last Pushed: 2022-12-12T13:32:13.000Z (over 2 years ago)
- Last Synced: 2024-04-14T09:51:51.387Z (about 1 year ago)
- Topics: containers, dependent-map, haskell, monoidal
- Language: Haskell
- Homepage:
- Size: 33.2 KB
- Stars: 4
- Watchers: 25
- Forks: 1
- Open Issues: 2
-
Metadata Files:
- Changelog: ChangeLog.md
- Contributing: CONTRIBUTING.md
- License: LICENSE