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

Concise view

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.

Attributes

constraint

the Constraint implementation to test the decoded value.

decoder

the Decoder of the underlying type.

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.

Attributes

encoder

the Encoder of the underlying type.

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