snowleopard / selectiveLinks
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
☆210Updated last month
Alternatives and similar repositories for selective
Users that are interested in selective are comparing it to the libraries listed below
Sorting:
- Extensional capabilities and deriving combinators☆219Updated last year
- Refinement types with static checking☆187Updated 9 months ago
- Test monadic programs using state machine based models