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 \/ A
run the validate effect, yielding a list of failures \/ A
run the validate effect, yielding a non-empty list of failures \/ A
run the validate effect, yielding a non-empty list of failures \/ A
run the validate effect, yielding a ValidationNel
run the validate effect, yielding a ValidationNel
check a correct condition
check a correct condition
create an Validate effect from a single \/ value
create an Validate effect from a single \/ value
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 a failed value
create a failed value