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

given given_Reader_T[T](using mirror: Mirror[T], ev: Reader[mirror.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
given given_Writer_T[T](using mirror: Mirror[T], ev: Writer[mirror.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

Inherited givens

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 RuntimeConstraint implementation to test the decoded value.

reader

the Reader of the underlying type.

Attributes

Inherited from:
UPickleLowPriority (hidden)
Source
upickle.scala
given given_Writer_:|[A, B](using 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

Inherited from:
UPickleLowPriority (hidden)
Source
upickle.scala