RefinementProvider

smithy4s.RefinementProvider$
See theRefinementProvider companion trait

Attributes

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

Members list

Concise view

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]]