search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Add `PartialDo` effect #2978

Closed janmasrovira closed 2 months ago

janmasrovira commented 2 months ago

This effect is a different name for Effectful's Fail. It gives an instance of MonadFail to Sem