circe

io.github.iltotore.iron.circe
object circe

Implicit Encoders and Decoders for refined types.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
circe.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]]

A Decoder for refined types. Decodes to the underlying type then checks the constraint.

A Decoder for refined types. Decodes to the underlying type then checks the constraint.

Value parameters

constraint

the Constraint implementation to test the decoded value.

decoder

the Decoder of the underlying type.

Attributes

inline given given_Decoder_T[T](using mirror: Mirror[T], ev: Decoder[IronType]): Decoder[T]
inline given given_Encoder_:|[A, B](using inline encoder: Encoder[A]): Encoder[IronType[A, B]]

An Encoder instance for refined types. Basically the underlying type Encoder.

An Encoder instance for refined types. Basically the underlying type Encoder.

Value parameters

encoder

the Encoder of the underlying type.

Attributes

inline given given_Encoder_T[T](using mirror: Mirror[T], ev: Encoder[IronType]): Encoder[T]