ciris

io.github.iltotore.iron.ciris
object ciris

Attributes

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

Members list

Givens

Givens

inline given given_ConfigDecoder_In_:|[In, A, C](using inline decoder: ConfigDecoder[In, A], inline constraint: Constraint[A, C]): ConfigDecoder[In, IronType[A, C]]

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

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

Value parameters

constraint

the Constraint implementation to test the decoded value

decoder

the ConfigDecoder of the underlying type

Attributes

Source
ciris.scala

A ConfigDecoder for new types. Decodes to the underlying type then checks the constraint.

A ConfigDecoder for new types. Decodes to the underlying type then checks the constraint.

Value parameters

decoder

the ConfigDecoder of the underlying type.

mirror

the mirror of the RefinedTypeOps.Mirror

Attributes

Source
ciris.scala