Iron
3.2.2-1-6e4200-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/scodec

scodec

io.github.iltotore.iron.scodec
object scodec

Implicit Codecs for refined types.

Attributes

Source
scodec.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
scodec.type

Members list

Givens

Givens

given given_Codec_T[T](using mirror: Mirror[T], ev: Codec[mirror.IronType]): Codec[T]

Given instance for refined newtypes. This enables newtypes to work with scodec's derives syntax.

Given instance for refined newtypes. This enables newtypes to work with scodec's derives syntax.

Attributes

Source
scodec.scala

Inherited givens

given given_Codec_:|[A, B](using codec: Codec[A], constraint: RuntimeConstraint[A, B]): Codec[IronType[A, B]]

A Codec for refined types. Encodes from the underlying type and decodes to the underlying type then checks the constraint.

A Codec for refined types. Encodes from the underlying type and decodes to the underlying type then checks the constraint.

Value parameters

codec

the Codec of the underlying type.

constraint

the RuntimeConstraint implementation to test the decoded value.

Attributes

Inherited from:
ScodecLowPriority (hidden)
Source
scodec.scala
Generated with