https://github.com/mosteo/optional

Optional types for Ada
https://github.com/mosteo/optional

Last synced: 4 months ago
JSON representation

Optional types for Ada

• Host: GitHub
• URL: https://github.com/mosteo/optional
• Owner: mosteo
• License: lgpl-3.0
• Created: 2021-03-02T11:15:17.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2024-05-13T08:45:19.000Z (about 2 years ago)
• Last Synced: 2024-05-13T09:55:42.171Z (about 2 years ago)
• Language: Ada
• Size: 38.1 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

          
[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/optional.json)](https://alire.ada.dev/crates/optional.html)

## Optional values

See `Optional.Values` package for specs and `examples/optional-demo.adb`.