RefinementProvider

smithy4s.RefinementProvider
See theRefinementProvider companion trait

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

type Simple[C, A] = RefinementProvider[C, A, A]

Implicits

Implicits

implicit lazy val idRefRefinement: RefinementProvider[IdRef, String, ShapeId]
implicit def iterableLengthConstraint[C[_], A](implicit ev: C[A] <:< Iterable[A]): Simple[Length, C[A]]
implicit def mapLengthConstraint[K, V]: Simple[Length, Map[K, V]]
implicit def numericRangeConstraints[N : Numeric]: Simple[Range, N]
implicit val stringLengthConstraint: Simple[Length, String]
implicit val stringPatternConstraints: Simple[Pattern, String]

Inherited implicits

Attributes

Inherited from:
LowPriorityImplicits (hidden)

Attributes

Inherited from:
LowPriorityImplicits (hidden)
implicit def enumRangeConstraint[E <: Value]: RefinementProvider[Range, E, E]

Attributes

Inherited from:
LowPriorityImplicits (hidden)
implicit def isomorphismConstraint[C, A, A0](implicit constraintOnA: Simple[C, A], iso: Bijection[A, A0]): RefinementProvider[C, A0, A0]

Attributes

Inherited from:
LowPriorityImplicits (hidden)