Skip to content

Commit

Permalink
docs: Make README.md first example clearer
Browse files Browse the repository at this point in the history
Changed the reference to `Greater[0.0]` to `Positive` to stay coherent with the `log` function.
  • Loading branch information
Iltotore committed Apr 7, 2023
1 parent a1e88d6 commit 9465c5b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ val runtimeValue: Double = ???
log(runtimeValue.refine) //Explicitly refine your external values at runtime.

runtimeValue.refineEither.map(log) //Use monadic style for functional validation
runtimeValue.refineEither[Greater[0.0]].map(log) //More explicitly
runtimeValue.refineEither[Positive].map(log) //More explicitly
```

## Helpful error messages
Expand Down

0 comments on commit 9465c5b

Please sign in to comment.