refined4s-core/refined4s

refined4s

package refined4s

Type members

Classlikes

trait CanBeOrdered[A]
Since:

2023-12-29

trait Coercible[A, B]

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.

Since:

2023-12-02

Companion:
object
object Coercible
Companion:
class
trait InlinedRefined[A] extends RefinedBase[A]
Since:

2023-08-12

trait Newtype[A] extends NewtypeBase[A]
Since:

2023-12-03

trait NewtypeBase[A]
Since:

2023-12-03

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.

Since:

2022-03-23

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.

Since:

2022-03-23

trait RefinedCtor[T, A]
Since:

2023-12-05

Companion:
object
object RefinedCtor
Companion:
class
trait syntax
Since:

2023-12-02

Companion:
object
object syntax extends syntax
Companion:
class