catch and handle possible wrong values
catch and handle possible wrong values
create a correct value
create a correct value
run the validate effect, yielding a list of failures Xor A
run the validate effect, yielding a list of failures Xor A
run the validate effect, yielding a non-empty list of failures Xor A
run the validate effect, yielding a non-empty list of failures Xor A
run the validate effect, yielding a ValidatedNel
run the validate effect, yielding a ValidatedNel
check a correct condition
check a correct condition
create an Validate effect from a single Option value
create an Validate effect from a single Option value
check a correct value
check a correct value
create an Validate effect from a single Xor value
create an Validate effect from a single Xor value
create a failed value
create a failed value
Effect for computation which can fail but will accumulate errors
The runValidate interpreter just collects the messages and returns them at the end