NonEmptyString

refined4s.strings$.NonEmptyString$
object NonEmptyString extends Refined[String]

Attributes

Graph
Supertypes
trait Refined[String]
trait RefinedBase[String]
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 invalidReason(a: String): String

Attributes

Definition Classes
inline override def predicate(a: String): Boolean

Attributes

Definition Classes

Inherited methods

inline def apply(a: String): Type

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
RefinedBase

Givens

Inherited givens

given newRefinedCanEqual: CanEqual[Type, Type]

Attributes

Inherited from:
RefinedBase

Extensions

Extensions

extension (thisNes: NonEmptyString)(thisNes: NonEmptyString)

Inherited extensions

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

Attributes

Inherited from:
RefinedBase