openai4s-core
API
Generated with
openai4s-core/refined4s/numeric/NonNegInt

NonNegInt

refined4s.numeric$.NonNegInt$
object NonNegInt extends InlinedRefined[Int]

Attributes

Graph
Supertypes
trait InlinedRefined[Int]
trait RefinedBase[Int]
class Object
trait Matchable
class Any
Self type
NonNegInt.type

Members list

Type members

Inherited types

opaque type Type

Attributes

Inherited from:
RefinedBase

Value members

Concrete methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Definition Classes

Inherited methods

inline def apply(inline a: Int): Type

Attributes

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

Attributes

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

Attributes

Inherited from:
RefinedBase
def unsafeFrom(a: Int): 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
Generated with