quickcheck-dynamic icon indicating copy to clipboard operation
quickcheck-dynamic copied to clipboard

Published 20 hours ago • verified publisher icon input-output-hk

`postcondition` is now `Postcondition m`

Open jasagredo opened this issue 1 year ago • 0 comments
trafficstars

postcondition is now Postcondition m.

The monadic postconditions will be ignored when evaluating the postcondition via evalPostCondition. They will be taken into account when evaluating via evalPostConditionM.

Checklist:

  • [ ] Check source-code formatting is consistent

jasagredo avatar Apr 25 '24 12:04 jasagredo