rindPHI / isla

The ISLa (Input Specification Language) language & solver.
https://isla.readthedocs.org
GNU General Public License v3.0
62 stars 8 forks source link

[FEATURE] Replace homegrown Maybe/Exceptional types #87

Closed rindPHI closed 8 months ago

rindPHI commented 1 year ago

In ISLa 2.0, we should use the Maybe and Result types of the returns library. These types have a better interface, are more robust, and are part of the returns ecosystem providing more nice features.