io.github.iltotore.iron.package$package.IronType
Attributes
-
Source
-
package.scala
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
Type parameters
-
A
-
the refined type.
-
C
-
the constraint applied to the type.
Value parameters
-
value
-
the value to be constrained.
Attributes
-
Returns
-
the given value typed as IronType.
-
See also
-
-
Note
-
this does not check if the constraint is satisfied. Use refineUnsafe to refine a value at runtime.
-
Source
-
package.scala