refined4s-cats
refined4s-cats
refined4s.modules.cats
syntax
syntax
refined4s.modules.cats.derivation
CatsEq
CatsEqShow
CatsShow
refined4s.modules.cats.derivation.generic
auto
auto
refined4s.modules.cats.derivation.types
all
all
refined4s-cats
/
refined4s.modules.cats.derivation.types
/
all
all
trait
all
Since:
2023-12-07
Companion:
object
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
object
all
.type
Givens
Givens
Givens
given
derivedDynamicPortNumberEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
DynamicPortNumber
]
given
derivedDynamicPortNumberShow
(
using
showActual:
Show
[
Int
]):
Show
[
DynamicPortNumber
]
given
derivedNegBigDecimalEq
(
using
eqActual:
Eq
[
BigDecimal
]):
Eq
[
NegBigDecimal
]
given
derivedNegBigDecimalShow
(
using
showActual:
Show
[
BigDecimal
]):
Show
[
NegBigDecimal
]
given
derivedNegBigIntEq
(
using
eqActual:
Eq
[
BigInt
]):
Eq
[
NegBigInt
]
given
derivedNegBigIntShow
(
using
showActual:
Show
[
BigInt
]):
Show
[
NegBigInt
]
given
derivedNegByteEq
(
using
eqActual:
Eq
[
Byte
]):
Eq
[
NegByte
]
given
derivedNegByteShow
(
using
showActual:
Show
[
Byte
]):
Show
[
NegByte
]
given
derivedNegDoubleEq
(
using
eqActual:
Eq
[
Double
]):
Eq
[
NegDouble
]
given
derivedNegDoubleShow
(
using
showActual:
Show
[
Double
]):
Show
[
NegDouble
]
given
derivedNegFloatEq
(
using
eqActual:
Eq
[
Float
]):
Eq
[
NegFloat
]
given
derivedNegFloatShow
(
using
showActual:
Show
[
Float
]):
Show
[
NegFloat
]
given
derivedNegIntEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
NegInt
]
given
derivedNegIntShow
(
using
showActual:
Show
[
Int
]):
Show
[
NegInt
]
given
derivedNegLongEq
(
using
eqActual:
Eq
[
Long
]):
Eq
[
NegLong
]
given
derivedNegLongShow
(
using
showActual:
Show
[
Long
]):
Show
[
NegLong
]
given
derivedNegShortEq
(
using
eqActual:
Eq
[
Short
]):
Eq
[
NegShort
]
given
derivedNegShortShow
(
using
showActual:
Show
[
Short
]):
Show
[
NegShort
]
given
derivedNonEmptyStringEq
(
using
eqActual:
Eq
[
String
]):
Eq
[
NonEmptyString
]
given
derivedNonEmptyStringShow
(
using
showActual:
Show
[
String
]):
Show
[
NonEmptyString
]
given
derivedNonNegBigDecimalEq
(
using
eqActual:
Eq
[
BigDecimal
]):
Eq
[
NonNegBigDecimal
]
given
derivedNonNegBigDecimalShow
(
using
showActual:
Show
[
BigDecimal
]):
Show
[
NonNegBigDecimal
]
given
derivedNonNegBigIntEq
(
using
eqActual:
Eq
[
BigInt
]):
Eq
[
NonNegBigInt
]
given
derivedNonNegBigIntShow
(
using
showActual:
Show
[
BigInt
]):
Show
[
NonNegBigInt
]
given
derivedNonNegByteEq
(
using
eqActual:
Eq
[
Byte
]):
Eq
[
NonNegByte
]
given
derivedNonNegByteShow
(
using
showActual:
Show
[
Byte
]):
Show
[
NonNegByte
]
given
derivedNonNegDoubleEq
(
using
eqActual:
Eq
[
Double
]):
Eq
[
NonNegDouble
]
given
derivedNonNegDoubleShow
(
using
showActual:
Show
[
Double
]):
Show
[
NonNegDouble
]
given
derivedNonNegFloatEq
(
using
eqActual:
Eq
[
Float
]):
Eq
[
NonNegFloat
]
given
derivedNonNegFloatShow
(
using
showActual:
Show
[
Float
]):
Show
[
NonNegFloat
]
given
derivedNonNegIntEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
NonNegInt
]
given
derivedNonNegIntShow
(
using
showActual:
Show
[
Int
]):
Show
[
NonNegInt
]
given
derivedNonNegLongEq
(
using
eqActual:
Eq
[
Long
]):
Eq
[
NonNegLong
]
given
derivedNonNegLongShow
(
using
showActual:
Show
[
Long
]):
Show
[
NonNegLong
]
given
derivedNonNegShortEq
(
using
eqActual:
Eq
[
Short
]):
Eq
[
NonNegShort
]
given
derivedNonNegShortShow
(
using
showActual:
Show
[
Short
]):
Show
[
NonNegShort
]
given
derivedNonPosBigDecimalEq
(
using
eqActual:
Eq
[
BigDecimal
]):
Eq
[
NonPosBigDecimal
]
given
derivedNonPosBigDecimalShow
(
using
showActual:
Show
[
BigDecimal
]):
Show
[
NonPosBigDecimal
]
given
derivedNonPosBigIntEq
(
using
eqActual:
Eq
[
BigInt
]):
Eq
[
NonPosBigInt
]
given
derivedNonPosBigIntShow
(
using
showActual:
Show
[
BigInt
]):
Show
[
NonPosBigInt
]
given
derivedNonPosByteEq
(
using
eqActual:
Eq
[
Byte
]):
Eq
[
NonPosByte
]
given
derivedNonPosByteShow
(
using
showActual:
Show
[
Byte
]):
Show
[
NonPosByte
]
given
derivedNonPosDoubleEq
(
using
eqActual:
Eq
[
Double
]):
Eq
[
NonPosDouble
]
given
derivedNonPosDoubleShow
(
using
showActual:
Show
[
Double
]):
Show
[
NonPosDouble
]
given
derivedNonPosFloatEq
(
using
eqActual:
Eq
[
Float
]):
Eq
[
NonPosFloat
]
given
derivedNonPosFloatShow
(
using
showActual:
Show
[
Float
]):
Show
[
NonPosFloat
]
given
derivedNonPosIntEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
NonPosInt
]
given
derivedNonPosIntShow
(
using
showActual:
Show
[
Int
]):
Show
[
NonPosInt
]
given
derivedNonPosLongEq
(
using
eqActual:
Eq
[
Long
]):
Eq
[
NonPosLong
]
given
derivedNonPosLongShow
(
using
showActual:
Show
[
Long
]):
Show
[
NonPosLong
]
given
derivedNonPosShortEq
(
using
eqActual:
Eq
[
Short
]):
Eq
[
NonPosShort
]
given
derivedNonPosShortShow
(
using
showActual:
Show
[
Short
]):
Show
[
NonPosShort
]
given
derivedNonSystemPortNumberEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
NonSystemPortNumber
]
given
derivedNonSystemPortNumberShow
(
using
showActual:
Show
[
Int
]):
Show
[
NonSystemPortNumber
]
given
derivedPortNumberEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
PortNumber
]
given
derivedPortNumberShow
(
using
showActual:
Show
[
Int
]):
Show
[
PortNumber
]
given
derivedPosBigDecimalEq
(
using
eqActual:
Eq
[
BigDecimal
]):
Eq
[
PosBigDecimal
]
given
derivedPosBigDecimalShow
(
using
showActual:
Show
[
BigDecimal
]):
Show
[
PosBigDecimal
]
given
derivedPosBigIntEq
(
using
eqActual:
Eq
[
BigInt
]):
Eq
[
PosBigInt
]
given
derivedPosBigIntShow
(
using
showActual:
Show
[
BigInt
]):
Show
[
PosBigInt
]
given
derivedPosByteEq
(
using
eqActual:
Eq
[
Byte
]):
Eq
[
PosByte
]
given
derivedPosByteShow
(
using
showActual:
Show
[
Byte
]):
Show
[
PosByte
]
given
derivedPosDoubleEq
(
using
eqActual:
Eq
[
Double
]):
Eq
[
PosDouble
]
given
derivedPosDoubleShow
(
using
showActual:
Show
[
Double
]):
Show
[
PosDouble
]
given
derivedPosFloatEq
(
using
eqActual:
Eq
[
Float
]):
Eq
[
PosFloat
]
given
derivedPosFloatShow
(
using
showActual:
Show
[
Float
]):
Show
[
PosFloat
]
given
derivedPosIntEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
PosInt
]
given
derivedPosIntShow
(
using
showActual:
Show
[
Int
]):
Show
[
PosInt
]
given
derivedPosLongEq
(
using
eqActual:
Eq
[
Long
]):
Eq
[
PosLong
]
given
derivedPosLongShow
(
using
showActual:
Show
[
Long
]):
Show
[
PosLong
]
given
derivedPosShortEq
(
using
eqActual:
Eq
[
Short
]):
Eq
[
PosShort
]
given
derivedPosShortShow
(
using
showActual:
Show
[
Short
]):
Show
[
PosShort
]
given
derivedSystemPortNumberEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
SystemPortNumber
]
given
derivedSystemPortNumberShow
(
using
showActual:
Show
[
Int
]):
Show
[
SystemPortNumber
]
given
derivedUriEq
(
using
eqActual:
Eq
[
String
]):
Eq
[
Uri
]
given
derivedUriShow
(
using
showActual:
Show
[
String
]):
Show
[
Uri
]
given
derivedUserPortNumberEq
(
using
eqActual:
Eq
[
Int
]):
Eq
[
UserPortNumber
]
given
derivedUserPortNumberShow
(
using
showActual:
Show
[
Int
]):
Show
[
UserPortNumber
]