refined4s-core
refined4s-core
API
refined4s
internal
numericTools
typeTools
types
all
all
network
network
DynamicPortNumber
NonSystemPortNumber
PortNumber
SystemPortNumber
Uri
UserPortNumber
networkCompat
Url
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
NonBlankString
NonEmptyString
Uuid
CanBeOrdered
derivedToOrdered
Coercible
Coercible
InlinedRefined
Newtype
NewtypeBase
Refined
RefinedBase
RefinedCtor
RefinedCtor
syntax
syntax
refined4s-core
/
refined4s
/
syntax
syntax
refined4s.syntax
See the
syntax
companion trait
object
syntax
extends
syntax
Attributes
Companion
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
syntax
class
Object
trait
Matchable
class
Any
Self type
syntax
.
type
Members list
Clear all
Extensions
Inherited extensions
extension
[
A
](
a
:
A
)
inline
def
coerce
[
B
](
using
coercible
:
Coercible
[
A
,
B
]):
B
Attributes
Inherited from:
syntax
inline
def
refinedTo
[
T
](
using
refinedCtor
:
RefinedCtor
[
T
,
A
]):
Either
[
String
,
T
]
Attributes
Inherited from:
syntax
extension
[
A
,
T
](
a
:
A
)
inline
def
refinedNewtype
[
N
](
using
coercible
:
Coercible
[
T
,
N
],
refinedCtor
:
RefinedCtor
[
T
,
A
]):
Either
[
String
,
N
]
Attributes
Inherited from:
syntax
In this article
Attributes
Members list
Extensions
Inherited extensions