core/smithy4s/RefinementProvider

RefinementProvider

object RefinementProvider
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

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

Implicits

Implicits

implicit def isomorphismConstraint[C, A, A0](implicit constraintOnA: Simple[C, A], iso: Bijection[A, A0]): Simple[C, A0]
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]