core/smithy4s/Validator

Validator

trait Validator[C, A, B]

Given a constraint of type C, an Validator can produce a Refinement that allows to go from A to B.

A Validator can be used as a typeclass.

Companion:
object
class Object
trait Matchable
class Any
Validator[C, A, B]

Value members

Abstract methods

def make(c: C): Refinement[A, B] { type Constraint = C; }
def tag: ShapeTag[C]

Concrete methods

def contramap[A0](f: A0 => A): Validator[C, A0, B]
def map[B0](f: B => B0): Validator[C, A, B0]