• Home
• eu.timepit
• refined-scalacheck_sjs0.6_2.12.0-M4
• 0.4.0
• source code
• string.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

eu.timepit.refined.scalacheck.string.scala Maven / Gradle / Ivy

package eu.timepit.refined
package scalacheck

import eu.timepit.refined.api.RefType
import eu.timepit.refined.string.{ EndsWith, StartsWith }
import org.scalacheck.Arbitrary
import shapeless.Witness

object string {

  implicit def endsWithArbitrary[F[_, _], S <: String](
    implicit
    rt: RefType[F],
    ws: Witness.Aux[S]
  ): Arbitrary[F[String, EndsWith[S]]] =
    arbitraryRefType(Arbitrary.arbString.arbitrary.map(_ + ws.value))

  implicit def startsWithArbitrary[F[_, _], S <: String](
    implicit
    rt: RefType[F],
    ws: Witness.Aux[S]
  ): Arbitrary[F[String, StartsWith[S]]] =
    arbitraryRefType(Arbitrary.arbString.arbitrary.map(ws.value + _))
}