Surjection

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: trait A => Either[String, B]
class Object
trait Matchable
class Any
Self type: Surjection[A, B]

Concise view

Returns a string representation of the object.

The default representation is platform dependent.

Generated with