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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
circe.scala

Inherited givens

given given_Decoder_:|[A, B](using decoder: Decoder[A], constraint: RuntimeConstraint[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 RuntimeConstraint implementation to test the decoded value.

decoder

the Decoder of the underlying type.

Attributes

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

Inherited from:
CirceLowPriority (hidden)
Source
circe.scala
given given_KeyDecoder_:|[A, B](using decoder: KeyDecoder[A], constraint: RuntimeConstraint[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 RuntimeConstraint implementation to test the decoded value.

decoder

the KeyDecoder of the underlying type.

Attributes

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

Inherited from:
CirceLowPriority (hidden)
Source
circe.scala