Refinement

smithy4s.Refinement

See theRefinement companion object

trait Refinement[A, B]

A type-refinement, associated to a runtime-representation of a constraint.

Represents the fact that you can go from A to B provided the value of tye A abides by a given Constraint.

Attributes

Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: Refinement[A, B]

Members list

Concise view

Type members

Types

The reified constraint associated to the refinement

Attributes

Value members

Abstract methods

Short circuits validation. This should only be used as last-resort when it is impossible to implement schema compilers otherwise, such as ones that create data out of thin air (random generators/default values/etc).

Attributes

Concrete methods

Concrete fields

Generated with