File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -36,7 +36,7 @@ val left = "Error".leftIor
36
36
```
37
37
38
38
39
- When we look at the ` Monad ` or ` Applicative ` instances of ` Ior ` , we can see that they actually requires a ` Semigroup ` instance on the left side.
39
+ When we look at the ` Monad ` or ` Applicative ` instances of ` Ior ` , we can see that they actually require a ` Semigroup ` instance on the left side.
40
40
This is because ` Ior ` will actually accumulate failures on the left side, very similar to how the [ ` Validated ` ] ( validated.md ) data type does.
41
41
This means we can accumulate data on the left side while also being able to short-circuit upon the first left-side-only value.
42
42
For example, sometimes, we might want to accumulate warnings together with a valid result and only halt the computation on a "hard error"
You can’t perform that action at this time.
0 commit comments