borer

io.github.iltotore.iron.borer
object borer

Automatic construction of borer Encoder and Decoder instances for refined types.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
borer.type

Members list

Givens

Givens

inline given given_Decoder_:|[A, B](using inline decoder: Decoder[A], inline constraint: Constraint[A, B]): Decoder[IronType[A, B]]
inline given given_Decoder_T[T](using m: Mirror[T], ev: Decoder[IronType]): Decoder[T]
inline given given_Encoder_:|[A, B](using inline encoder: Encoder[A]): Encoder[IronType[A, B]]
inline given given_Encoder_T[T](using m: Mirror[T], ev: Encoder[IronType]): Encoder[T]