circe

io.github.iltotore.iron.circe
object circe

Implicit Encoders and Decoders for refined types.

Attributes

Source
circe.scala
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

Source
circe.scala
inline given given_Decoder_T[T](using mirror: Mirror[T], ev: Decoder[mirror.IronType]): Decoder[T]

Attributes

Source
circe.scala
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

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

Attributes

Source
circe.scala
inline given given_KeyDecoder_:|[A, B](using inline decoder: KeyDecoder[A], inline constraint: Constraint[A, B]): KeyDecoder[IronType[A, B]]

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

A KeyDecoder 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 KeyDecoder of the underlying type.

Attributes

Source
circe.scala
inline given given_KeyDecoder_T[T](using mirror: Mirror[T], ev: KeyDecoder[mirror.IronType]): KeyDecoder[T]

Attributes

Source
circe.scala
inline given given_KeyEncoder_:|[A, B](using inline encoder: KeyEncoder[A]): KeyEncoder[IronType[A, B]]

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

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

Value parameters

encoder

the KeyEncoder of the underlying type.

Attributes

Source
circe.scala
inline given given_KeyEncoder_T[T](using mirror: Mirror[T], ev: KeyEncoder[mirror.IronType]): KeyEncoder[T]

Attributes

Source
circe.scala