Refined Types for users

refinedTypesForUsers.scala

type Name = String Refined NameRestrictions
type Id   = Int Refined IdRestrictions

//string between 1 and 1000 characters, not all of them white
type NameRestrictions = Size[Interval.Closed[W.`1`.T, W.`1000`.T]] And Not[Forall[Whitespace]]
type IdRestrictions   = Positive

private def toRefinedId(id: Int): Either[RefinedTypeError, Id] =
  refineV[IdRestrictions](id).left
    .map(_ => RefinedTypeError("must be a positive int", id.toString))

private def toRefinedName(name: String): Either[RefinedTypeError, Name] =
  refineV[NameRestrictions](name).left
    .map(_ => RefinedTypeError("must be a string between 1 and 1000 characters, not all of them white", name))