wraps proposals into with_empty and adds more guards

BinaryAnalysisPlatform / bap

Binary Analysis Platform

MIT License

2.07k stars 273 forks source link

wraps proposals into with_empty and adds more guards #1440

Closed ivg closed 2 years ago

ivg commented 2 years ago

The proposals (promises with options) now can use the choice monad interface as well as other promises. Also adds a few guards to the existing code to make it more readable and improve performance.