• Home
• org.typelevel
• shapeless-scalacheck_2.9.2
• 0.1
• source code

×

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.

.shapeless-scalacheck_2.9.2.0.1.source-code.typeclass.scala Maven / Gradle / Ivy

package shapeless.contrib.scalacheck

import shapeless._

import scalaz._
import scalaz.syntax.apply._
import scalaz.scalacheck.ScalaCheckBinding._

import org.scalacheck.{Gen, Arbitrary}

trait TypeClasses {

  implicit def ArbitraryI: TypeClass[Arbitrary] = new TypeClass[Arbitrary] {

    def emptyProduct = Arbitrary(Gen.value(HNil))

    def product[F, T <: HList](f: Arbitrary[F], t: Arbitrary[T]) =
      (f |@| t) { _ :: _ }

    def derive[A, B](b: Arbitrary[B], ab: Iso[A, B]) =
      b.map(ab.from)

  }

  implicit def deriveArbitrary[F, G <: HList](implicit iso: Iso[F, G], hlistInst: TypeClass.HListInstance[Arbitrary, G]): Arbitrary[F] =
    TypeClass.deriveFromIso[Arbitrary, F, G]

}

object typeClasses extends TypeClasses

// vim: expandtab:ts=2:sw=2