Iron
2.5.0-4-074122-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

inline given given_Codec_:|[A, C](using inline codec: Codec[A], inline constraint: Constraint[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

Extensions

Extensions

extension [A](codec: Codec[A])
inline def refined[C](using inline constraint: Constraint[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