Uri

refined4s.types.network.Uri
object Uri extends InlinedRefined[String]

Attributes

Graph
Supertypes
trait InlinedRefined[String]
trait RefinedBase[String]
trait NewtypeBase[String]
class Object
trait Matchable
class Any
Show all
Self type
Uri.type

Members list

Type members

Inherited and Abstract types

override opaque type Type

Attributes

Inherited from:
RefinedBase

Value members

Concrete methods

def apply(a: URI): Type
inline override def inlinedPredicate(inline uri: String): Boolean

Attributes

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

Attributes

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

Attributes

Definition Classes

Inherited methods

inline def apply(inline a: String): Type

Attributes

Inherited from:
InlinedRefined
override def deriving[F[*]](using fa: F[String]): F[Type]

Attributes

Definition Classes
Inherited from:
RefinedBase
inline def expectedMessage(expected: String): String

Attributes

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

Attributes

Inherited from:
RefinedBase
def unapply(typ: Type): Some[String]

Attributes

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

Attributes

Inherited from:
RefinedBase

Concrete fields

inline override val inlinedExpectedValue: "a URI String"

Givens

Inherited givens

inline given given_RefinedCtor_Type_A: given_RefinedCtor_Type_A

Attributes

Inherited from:
RefinedBase
given newRefinedCanEqual: CanEqual[Type, Type]

Attributes

Inherited from:
NewtypeBase
inline given unwrap: Coercible[Type, String]

Attributes

Inherited from:
NewtypeBase
inline given unwrapTC[F[*]]: Coercible[F[Type], F[String]]

Attributes

Inherited from:
NewtypeBase

Extensions

Extensions

extension (uri: Type)
def toURI: URI
def toURL: URL
def toUrl: Url

Inherited extensions

extension [B](typ: Type)
def toValue(using coercibleA2B: Coercible[String, B]): B

Attributes

Inherited from:
NewtypeBase
extension (typ: Type)
inline override def value: String

Attributes

Definition Classes
Inherited from:
RefinedBase