https://github.com/joelburget/symmetric-properties

`Same` / `Unique` monoidal witnesses
https://github.com/joelburget/symmetric-properties

haskell

Last synced: 3 months ago
JSON representation

`Same` / `Unique` monoidal witnesses

• Host: GitHub
• URL: https://github.com/joelburget/symmetric-properties
• Owner: joelburget
• License: bsd-3-clause
• Created: 2016-11-15T18:32:31.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-01-15T20:49:09.000Z (over 6 years ago)
• Last Synced: 2025-03-20T14:52:55.779Z (3 months ago)
• Topics: haskell
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/symmetric-properties
• Size: 16.6 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Symmetric Properties

Monoidal witnesses that all items in a bag are the same / unique.

[![Build Status](https://travis-ci.org/joelburget/symmetric-properties.svg?branch=master)](https://travis-ci.org/joelburget/symmetric-properties)

[Hackage](https://hackage.haskell.org/package/symmetric-properties)