refined.scala

import eu.timepit.refined._
import eu.timepit.refined.string._
import eu.timepit.refined.api._
import io.circe.generic.auto._
import io.circe.parser._
import io.circe.syntax._
import io.circe.refined._

import Log._
case class Log(auth: Auth0, version: Version)
object Log {
  val auth0 = W("auth0")
  val version = W("v([1-9]+)(\\.(\\d+)(\\.(\\d+))?)?")
  type Version = String Refined MatchesRegex[version.T]
  type Auth0 = String Refined StartsWith[auth0.T]
}

decode[Log]("""{"auth": "auth0","version": "v1.23.2"}""").map(_.asJson.noSpaces)