https://github.com/morphismtech/singletons-default

dependently typed optional values with defaults
https://github.com/morphismtech/singletons-default

Last synced: 25 days ago
JSON representation

dependently typed optional values with defaults

• Host: GitHub
• URL: https://github.com/morphismtech/singletons-default
• Owner: morphismtech
• License: mit
• Created: 2024-09-17T00:49:49.000Z (8 months ago)
• Default Branch: main
• Last Pushed: 2024-09-19T19:11:55.000Z (8 months ago)
• Last Synced: 2025-04-14T00:11:24.492Z (about 1 month ago)
• Language: Haskell
• Size: 30.3 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# singletons-default

 dependently typed optional values with defaults