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
/
Coercible
Coercible
refined4s.Coercible
See the
Coercible
companion trait
object
Coercible
Attributes
Companion
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Coercible
.
type
Members list
Clear all
Value members
Concrete methods
def
apply
[
A
,
B
](
using
ev
:
Coercible
[
A
,
B
]):
Coercible
[
A
,
B
]
def
instance
[
A
,
B
]:
Coercible
[
A
,
B
]
Givens
Givens
given
unsafeWrapHKT
[
F
[
*
],
G
[
*
],
A
,
B
](
using
Coercible
[
G
[
A
],
G
[
B
]]):
Coercible
[
F
[
G
[
A
]],
F
[
G
[
B
]]]
given
unsafeWrapTC
[
F
[
*
],
A
,
B
](
using
Coercible
[
A
,
B
]):
Coercible
[
F
[
A
],
F
[
B
]]
In this article
Attributes
Members list
Value members
Concrete methods
Givens
Givens