RefinementProvider

smithy4s.RefinementProvider
See theRefinementProvider companion object
trait RefinementProvider[C, A, B]

Given a constraint of type C, an RefinementProvider can produce a Refinement that allows to go from A to B.

A RefinementProvider can be used as a typeclass.

Attributes

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

Members list

Concise view

Value members

Abstract methods

def make(c: C): Aux[C, A, B]
def tag: ShapeTag[C]

Concrete methods

def imapFull[A0, B0](bijectSource: Bijection[A, A0], bijectTarget: Bijection[B, B0]): RefinementProvider[C, A0, B0]