urldsl.vocabulary.PathQueryFragmentMatching.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of url-dsl_sjs1_2.12 Show documentation

A tiny library for parsing and creating urls in a type-safe way

The newest version!

package urldsl.vocabulary

final case class PathQueryFragmentMatching[P, Q, F](path: P, query: Q, fragment: F) {

  def extractInfo[P1, Q1](implicit
      ev1: P =:= PathMatchOutput[P1],
      ev2: Q =:= ParamMatchOutput[Q1]
  ): PathQueryFragmentMatching[P1, Q1, F] =
    PathQueryFragmentMatching(ev1(path).output, ev2(query).output, fragment)

}