Iron
3.2.1-3-fadf1d-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/skunk

skunk

io.github.iltotore.iron.skunk
object skunk

Attributes

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

Members list

Givens

Givens

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

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

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

Value parameters

codec

the Codec of the underlying type

constraint

the Constraint implementation to test the decoded value

Attributes

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

A Codec for new types.

A Codec for new types.

Attributes

Source
skunk.scala

Extensions

Extensions

extension [A](codec: Codec[A])
def refined[C](using constraint: RuntimeConstraint[A, C]): Codec[IronType[A, C]]

Explicit conversion for refining a Codec. Decodes to the underlying type then checks the constraint.

Explicit conversion for refining a Codec. Decodes to the underlying type then checks the constraint.

Value parameters

constraint

the Constraint implementation to test the decoded value

Attributes

Source
skunk.scala
Generated with