Skip to content

Commit

Permalink
Update text/0000-constrained-types.md
Browse files Browse the repository at this point in the history
Co-authored-by: Ryan A. Hagenson <Ryan.Hagenson@gmail.com>
  • Loading branch information
SeanTAllen and rhagenson committed Jan 23, 2024
1 parent c339244 commit f709ce5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion text/0000-constrained-types.md
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,7 @@ We don't want to allow error mesages to be changed after validation is done. Bec

## Validators are not composable

There's no safe way with the Pony type system that I can see to make a Validator composable. You can say for example that `SmallRange` is `GreaterThan5 & LessThan10` and then use a `SmallRange` where one a `LessThan10` is called for.
There's no safe way with the Pony type system that I can see to make a `Validator` composable. You can say for example that `SmallRange` is `GreaterThan5 & LessThan10` and then use a `SmallRange` where one a `LessThan10` is called for.

# How We Teach This

Expand Down

0 comments on commit f709ce5

Please sign in to comment.