smithy4s.Surjection
See theSurjection companion object
A surjection of a partial function A => Either[String, B] and a total function B => A.
A surjection MUST abide by the round-tripping property, namely, for all input A that passes the validation function
surjection(input).map(surjection.from) == Right(input)
Attributes
- Companion:
- object
- Graph
- Supertypes
- Self type