search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.88k stars 256 forks source link

Standard library: Actions #4646

Open robin-aws opened 11 months ago

robin-aws commented 11 months ago

Traits for arbitrary closures with state or side-effects. Includes specializations for enumerations.

Depends on #4642, since this library by necessity has to define reusable traits.

Existing source:

aws/aws-cryptographic-material-providers-library-dafny/StandardLibrary/src/Actions.dfy (partial) https://github.com/robin-aws/libraries/tree/enumeration-experiments/src/Actions

keyboardDrummer commented 10 months ago

I think this also depends on Unicode and NonLinearArithmatic, BoundedInts and Wrappers, based on the imports