Functional data validation in Swift

I am going to talk about a little library I created in Swift to be used either standlone or with lib. It is called Swiftz Swiftz-Validation. What is Swiftz-Validation? It’s a data structure that typically models form validations, and other scenarios where you want to aggregate all failures, rather than short-circuit if an error happens (for which Swiftx’s Either is better suited). A Validation may either be a Success(value), which contains a successful value, or a Failure(value), which contains an error. A Validation is a data structure that implements the Applicative interface ( ), and does so in a way that if a failure is applied to another failure, then it results in a new validation that contains the failures of both validations. In other words, Validation is a data structure made for errors that can be aggregated, and it makes sense in the contexts of things like form validations, where you want to display to the user all of the fields that failed the validation rather than just stopping at the first failure. .ap Validations can’t be as easily used for sequencing operations because the method takes two validations, so the operations that create them must have been executed already. While it is possible to use Validations in a sequential manner, it's better to leave the job to , a data structure made for that. .ap Either Validating data example In the following example we are going to validate a password: it should contain more than 8 characters, it should contain an especial character and it has to be different from the user name. Advantages of using Swiftz-Validation Things like form and schema validation are pretty common in , but we end up either using branching or designing very specific solutions for each case. programming With branching, I mean using if-else conditions, things get quickly out of hand, it doesn’t scale because it’s difficult to abstract over it and it’s hard to reason about each rule. Let’s see an example of the same validation as before, using branching: Because this function uses conditions and modifies a local variable it's not very modular. This means it's not possible to split these checks in smaller pieces that can be entirely understood by themselves — they modify something, and so you have to understand how they modify that thing, in which context, etc. For very simple things it's not too bad, but as complexity grows it becomes unmanageable. if Advantages The main advantages of Swiftz-Validation is that: Easy to understand and reason about each validation in its own Easy to compose validation rules Easy to reuse validation rules and compose more complex validations (DRY principle) It has a well know interface or abstraction to work with (It is a functor, pointed, applicative and a semigroup). So you can combine validations with , apply functions with , transform results with and react to results with some kind of pattern matching with a statement. sconcat (Semigroup) ap (Applicative) fmap (Functor) switch In the following example, you can see how the Validation structure gives you a for basing validation libraris and functions on in a way that’s reusable (DRY) and composable: tool How to use the library The Validation lib is implemented as an with two cases: enum (successValue) — represents a successful value. Success (failureValue) — represents an unsuccessful value. Failure Validation functions just return one of these two cases instead of throwing errors or mutating other variables. The keys of working with Validations are: sometimes we want to create very complex validation rules. They key is to create simple reusable and composable validations in ther own and combine them into a complex validation structure. Combining validations: Sometimes we get a Validation value that is not what we are looking for. We don't really want to change anything about the status of the validation (whether it passed or failed), but we'd like to tweak the a little bit. This is the equivalent of applying functions in an expression. Transforming validations values: value Once we have the validation results, we need a way to react accordingly if the value is a success or a failure. Reacting to validations results: Now, we are going to see some examples: Combining validations Transforming validation values Reacting to validation results Conclusion I wrote this lib as an personal experiment since the core SwiftZ library doesn’t include a similar data structure and I think it is a very important one, because validation is pretty common in every sowftware program. The lib is still work in progress but it can be used with SwiftZ or standalone. I would add more operations like liftA3 and similar. Feel free to pull request the repo and improve it, thanks!. The lib it’s inspired by the Validation Package for Haskell: https://hackage.haskell.org/package/Validation Acknowledgements Thanks to for helping me with Swift and SwiftZ. Jose Luis Alcala Thanks to @jlopez_rz for helping me with test cases. Thanks to for helping me writing this article. Jorge Aznar