upickle

io.github.iltotore.iron.upickle
object upickle

Implicit Readers and Writers for refined types using uPickle.

Attributes

Source
upickle.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
upickle.type

Members list

Givens

Givens

inline given given_Reader_:|[A, B](using inline reader: Reader[A], inline constraint: Constraint[A, B]): Reader[IronType[A, B]]

A Reader for refined types using uPickle. Decodes to the underlying type then checks the constraint.

A Reader for refined types using uPickle. Decodes to the underlying type then checks the constraint.

Value parameters

constraint

the Constraint implementation to test the decoded value.

reader

the Reader of the underlying type.

Attributes

Source
upickle.scala
inline given given_Reader_T[T](using mirror: Mirror[T], ev: Reader[IronType]): Reader[T]

A uPickle Reader based on refined type mirrors.

A uPickle Reader based on refined type mirrors.

Value parameters

ev

the underlying Reader for the iron type.

mirror

the type mirror for refined types.

Attributes

Source
upickle.scala
inline given given_Writer_:|[A, B](using inline writer: Writer[A]): Writer[IronType[A, B]]

A Writer instance for refined types using uPickle. This is essentially the underlying type Writer.

A Writer instance for refined types using uPickle. This is essentially the underlying type Writer.

Value parameters

writer

the Writer of the underlying type.

Attributes

Source
upickle.scala
inline given given_Writer_T[T](using mirror: Mirror[T], ev: Writer[IronType]): Writer[T]

A uPickle Writer based on refined type mirrors.

A uPickle Writer based on refined type mirrors.

Value parameters

ev

the underlying Writer for the iron type.

mirror

the type mirror for refined types.

Attributes

Source
upickle.scala