refined4s-core
refined4s-core
refined4s
Coercible
Coercible
InlinedRefined
Newtype
NewtypeBase
Refined
RefinedBase
RefinedCtor
RefinedCtor
syntax
syntax
refined4s.internal
numericTools
typeTools
refined4s.types
all
all
network
DynamicPortNumber
NonSystemPortNumber
PortNumber
SystemPortNumber
Uri
UserPortNumber
network
numeric
InlinedNumeric
numericToOrdered
NegBigDecimal
NegBigInt
NegByte
NegDouble
NegFloat
NegInt
NegLong
NegShort
NonNegBigDecimal
NonNegBigInt
NonNegByte
NonNegDouble
NonNegFloat
NonNegInt
NonNegLong
NonNegShort
NonPosBigDecimal
NonPosBigInt
NonPosByte
NonPosDouble
NonPosFloat
NonPosInt
NonPosLong
NonPosShort
Numeric
numericToOrdered
PosBigDecimal
PosBigInt
PosByte
PosDouble
PosFloat
PosInt
PosLong
PosShort
numeric
strings
NonEmptyString
strings
refined4s-core
/
refined4s.types
/
network
network
object
network
extends
network
Companion:
class
Graph
Supertypes
Self type
trait
network
class
Object
trait
Matchable
class
Any
network
.type
Type members
Value members
Type members
Inherited classlikes
object
DynamicPortNumber
extends
Refined
[
Int
]
Inherited from:
network
object
NonSystemPortNumber
extends
Refined
[
Int
]
Inherited from:
network
object
PortNumber
extends
Refined
[
Int
]
Inherited from:
network
object
SystemPortNumber
extends
Refined
[
Int
]
Inherited from:
network
object
Uri
extends
InlinedRefined
[
String
]
Inherited from:
network
object
UserPortNumber
extends
Refined
[
Int
]
Inherited from:
network
Inherited types
type
DynamicPortNumber
=
Type
Inherited from:
network
type
NonSystemPortNumber
=
Type
Inherited from:
network
type
PortNumber
=
Type
Inherited from:
network
type
SystemPortNumber
=
Type
Inherited from:
network
type
Uri
=
Type
Inherited from:
network
type
UserPortNumber
=
Type
Inherited from:
network
Value members
Concrete methods
def
isValidateUri
(
uriExpr:
Expr
[
String
])(
using
Quotes
):
Expr
[
Boolean
]
Concrete fields
val
UnexpectedLiteralErrorMessage
:
String