Change extension method for refinement type + newtype from value.as[A].validate to value.validateAs[A]

[kevin-lee]

Task

Summary

Change extension method for refinement type + newtype from value.as[A].validate to value.validateAs[A].

Project Details

Version: 0.6.0

Description

Although having one extension method without partially application may cause IntelliJ IDEA highlighting it as compilet-time error, there's no actual compile-time error for that syntax.

@newtype case class Name(value: NonEmptyString)

type PositiveInt = Int Refined Positive
object PositiveInt extends RefinedTypeOps[PositiveInt, Int]
@newtype case class Id(value: PositiveInt)

final case class Person(id: Id, name: Name)

val id  = idValue.validateAs[Id]
val name  = nameValue.validateAs[Name]

(id, name).parMapN(Person.apply)