core
API
Generated with
core/smithy4s/RefinementProvider

RefinementProvider

smithy4s.RefinementProvider
See theRefinementProvider companion trait
object RefinementProvider

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]

Value members

Concrete methods

def lengthConstraint[A](getLength: A => Int): Simple[Length, A]
def patternConstraint[A](getValue: A => String): Simple[Pattern, A]
def rangeConstraint[A, N : Numeric](getValue: A => N): Simple[Range, A]

Implicits

Implicits

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]

Inherited implicits

implicit def enumLengthConstraint[E <: Value]: RefinementProvider[Length, E, E]

Attributes

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

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)
Generated with