final class Refined[T, P] extends AnyVal with Serializable
Wraps a value of type T that satisfies the predicate P. Instances of
this class can be created with refineV and refineMV which
verify that the wrapped value satisfies P.
- Source
- Refined.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Refined
- Serializable
- Serializable
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##(): Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def toString(): String
- Definition Classes
- Refined → Any
- val value: T