NonNegFloat

refined4s.numeric$.NonNegFloat$
object NonNegFloat extends InlinedRefined[Float]

Attributes

Graph
Supertypes
trait InlinedRefined[Float]
trait RefinedBase[Float]
class Object
trait Matchable
class Any
Self type

Members list

Type members

Inherited types

opaque type Type

Attributes

Inherited from:
RefinedBase

Value members

Concrete methods

inline override def inlinedInvalidReason(inline a: Float): String

Attributes

Definition Classes
inline override def inlinedPredicate(inline a: Float): Boolean

Attributes

Definition Classes
override def invalidReason(a: Float): String

Attributes

Definition Classes
override def predicate(a: Float): Boolean

Attributes

Definition Classes

Inherited methods

inline def apply(inline a: Float): Type

Attributes

Inherited from:
InlinedRefined
def from(a: Float): Either[String, Type]

Attributes

Inherited from:
RefinedBase
def unapply(typ: Type): Option[A]

Attributes

Inherited from:
RefinedBase
def unsafeFrom(a: Float): Type

Attributes

Inherited from:
RefinedBase

Givens

Inherited givens

given newRefinedCanEqual: CanEqual[Type, Type]

Attributes

Inherited from:
RefinedBase

Extensions

Inherited extensions

extension (typ: Type)(typ: Type)
inline def value: A

Attributes

Inherited from:
RefinedBase