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
network
DynamicPortNumber
NonSystemPortNumber
PortNumber
SystemPortNumber
Uri
Url
UserPortNumber
numeric
numeric
InlinedNumeric
Max
Min
MinMax
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
strings
NonEmptyString
Uuid
refined4s-core
/
refined4s.types
/
strings
strings
trait
strings
Since:
2023-04-25
Companion:
object
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
trait
all
object
all
.type
Type members
Value members
Type members
Types
final
type
NonEmptyString
=
NonEmptyString
final
type
Uuid
=
Uuid
Value members
Concrete fields
final
val
NonEmptyString
:
NonEmptyString
.type
final
val
Uuid
:
Uuid
.type