smithy4s.Surjection
See theSurjection companion object
trait Surjection[A, B] extends A => Either[String, B]
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
-
Members list
In this article