refined4s
package refined4s
Members list
Type members
Classlikes
Attributes
- Since
-
2023-12-29
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait InlinedNumeric[A]object NegBigDecimalobject NegBigIntobject NonNegBigDecimalobject NonNegBigIntobject NonPosBigDecimalobject NonPosBigIntobject PosBigDecimalobject PosBigInttrait Numeric[A]object NegByteobject NegDoubleobject NegFloatobject NegIntobject NegLongobject NegShortobject NonNegByteobject NonNegDoubleobject NonNegFloatobject NonNegIntobject NonNegLongobject NonNegShortobject NonPosByteobject NonPosDoubleobject NonPosFloatobject NonPosIntobject NonPosLongobject NonPosShortobject PosByteobject PosDoubleobject PosFloatobject PosIntobject PosLongobject PosShortobject NonBlankStringobject NonEmptyStringobject UuidShow all
- Self type
-
NewtypeBase[A]
The idea of Coercible is from scala-newtype https://github.com/estatico/scala-newtype/blob/201dad6b0c628caa9a80141e304ca70716d601a8/shared/src/main/scala/io/estatico/newtype/Coercible.scala It does exactly the same thing as scala-newtype's.
The idea of Coercible is from scala-newtype https://github.com/estatico/scala-newtype/blob/201dad6b0c628caa9a80141e304ca70716d601a8/shared/src/main/scala/io/estatico/newtype/Coercible.scala It does exactly the same thing as scala-newtype's.
Attributes
- Since
-
2023-12-02
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
object Coercible
trait InlinedRefined[A] extends RefinedBase[A]
Attributes
- Since
-
2023-08-12
- Supertypes
- Known subtypes
-
object Uriobject Urltrait InlinedNumeric[A]object NegBigDecimalobject NegBigIntobject NonNegBigDecimalobject NonNegBigIntobject NonPosBigDecimalobject NonPosBigIntobject PosBigDecimalobject PosBigIntobject NonBlankStringobject UuidShow all
opaque trait Newtype[A] extends NewtypeBase[A]
Attributes
- Since
-
2023-12-03
- Supertypes
Attributes
- Since
-
2023-12-03
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait Newtype[A]trait RefinedBase[A]trait InlinedRefined[A]object Uriobject Urltrait InlinedNumeric[A]object NegBigDecimalobject NegBigIntobject NonNegBigDecimalobject NonNegBigIntobject NonPosBigDecimalobject NonPosBigIntobject PosBigDecimalobject PosBigIntobject NonBlankStringobject Uuidtrait Refined[A]object DynamicPortNumberobject NonSystemPortNumberobject PortNumberobject SystemPortNumberobject UserPortNumbertrait Numeric[A]object NegByteobject NegDoubleobject NegFloatobject NegIntobject NegLongobject NegShortobject NonNegByteobject NonNegDoubleobject NonNegFloatobject NonNegIntobject NonNegLongobject NonNegShortobject NonPosByteobject NonPosDoubleobject NonPosFloatobject NonPosIntobject NonPosLongobject NonPosShortobject PosByteobject PosDoubleobject PosFloatobject PosIntobject PosLongobject PosShortobject NonEmptyStringShow all
trait Refined[A] extends RefinedBase[A]
Copied from https://gist.github.com/Kevin-Lee/158d3d5c3e036560f8962087a34c95c5 and modified.
Copied from https://gist.github.com/Kevin-Lee/158d3d5c3e036560f8962087a34c95c5 and modified.
Attributes
- Since
-
2022-03-23
- Supertypes
- Known subtypes
-
object DynamicPortNumberobject NonSystemPortNumberobject PortNumberobject SystemPortNumberobject UserPortNumbertrait Numeric[A]object NegByteobject NegDoubleobject NegFloatobject NegIntobject NegLongobject NegShortobject NonNegByteobject NonNegDoubleobject NonNegFloatobject NonNegIntobject NonNegLongobject NonNegShortobject NonPosByteobject NonPosDoubleobject NonPosFloatobject NonPosIntobject NonPosLongobject NonPosShortobject PosByteobject PosDoubleobject PosFloatobject PosIntobject PosLongobject PosShortobject NonEmptyStringShow all
opaque trait RefinedBase[A] extends NewtypeBase[A]
Copied from https://gist.github.com/Kevin-Lee/158d3d5c3e036560f8962087a34c95c5 and modified.
Copied from https://gist.github.com/Kevin-Lee/158d3d5c3e036560f8962087a34c95c5 and modified.
Attributes
- Since
-
2022-03-23
- Supertypes
- Known subtypes
-
trait InlinedRefined[A]object Uriobject Urltrait InlinedNumeric[A]object NegBigDecimalobject NegBigIntobject NonNegBigDecimalobject NonNegBigIntobject NonPosBigDecimalobject NonPosBigIntobject PosBigDecimalobject PosBigIntobject NonBlankStringobject Uuidtrait Refined[A]object DynamicPortNumberobject NonSystemPortNumberobject PortNumberobject SystemPortNumberobject UserPortNumbertrait Numeric[A]object NegByteobject NegDoubleobject NegFloatobject NegIntobject NegLongobject NegShortobject NonNegByteobject NonNegDoubleobject NonNegFloatobject NonNegIntobject NonNegLongobject NonNegShortobject NonPosByteobject NonPosDoubleobject NonPosFloatobject NonPosIntobject NonPosLongobject NonPosShortobject PosByteobject PosDoubleobject PosFloatobject PosIntobject PosLongobject PosShortobject NonEmptyStringShow all
Attributes
- Since
-
2023-12-05
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
object RefinedCtor
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
RefinedCtor.type
trait syntax
In this article