IronType

io.github.iltotore.iron.package$package$.IronType$
object IronType

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

inline def apply[A, C](value: A): IronType[A, C]

Create an IronType.

Create an IronType.

Attributes

A

the refined type.

C

the constraint applied to the type.

value

the value to be constrained.

Returns:

the given value typed as IronType.

See also:
Note:

this does not check if the constraint is satisfied. Use refine to refine a value at runtime.