refined4s-core
refined4s-core
refined4s
CanBeOrdered
derivedToOrdered
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
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
PosBigDecimal
PosBigInt
PosByte
PosDouble
PosFloat
PosInt
PosLong
PosShort
strings
NonEmptyString
refined4s-core
/
refined4s.types
/
network
network
trait
network
Since:
2023-12-09
Companion:
object
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
trait
all
object
all
.type
Type members
Type members
Classlikes
object
DynamicPortNumber
extends
Refined
[
Int
]
object
NonSystemPortNumber
extends
Refined
[
Int
]
object
PortNumber
extends
Refined
[
Int
]
object
SystemPortNumber
extends
Refined
[
Int
]
object
Uri
extends
InlinedRefined
[
String
]
object
UserPortNumber
extends
Refined
[
Int
]
Types
type
DynamicPortNumber
=
Type
type
NonSystemPortNumber
=
Type
type
PortNumber
=
Type
type
SystemPortNumber
=
Type
type
Uri
=
Type
type
UserPortNumber
=
Type