io.github.iltotore.iron.decline
Implicit Argument instances for refined types.
Attributes
-
Source
-
decline.scala
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
An argument reader for refined types. Reads using the underlying type's Argument then check the constraint.
An argument reader for refined types. Reads using the underlying type's Argument then check the constraint.
Type parameters
-
A
-
the underlying/raw type
-
B
-
the constraint type
Value parameters
-
argument
-
the argument reader of the underlying type
-
constraint
-
the Constraint implementation to test the decoded value
Attributes
-
Source
-
decline.scala
An argument reader for new types. Reads using the underlying refined type's Argument.
An argument reader for new types. Reads using the underlying refined type's Argument.
Type parameters
-
T
-
the new type.
Value parameters
-
argument
-
the argument reader of the underlying type
-
mirror
-
the meta information of the refined new type
Attributes
-
Source
-
decline.scala