/** * Generated by API Builder - https://www.apibuilder.io * Service version: 0.15.4 * User agent: apibuilder app.apibuilder.io/apicollective/example-interface/0.15.4/scalacheck */ package io.example.interface.v0.models.scalacheck import org.scalacheck.{Arbitrary, Gen} object ExampleInterfaceScalaCheck extends ExampleInterfaceScalaCheck { implicit def arbitraryJodaDateTime: Arbitrary[_root_.org.joda.time.DateTime] = Arbitrary(genJodaDateTime) def genJodaDateTime: Gen[_root_.org.joda.time.DateTime] = Gen.posNum[Long].map(instant => new _root_.org.joda.time.DateTime(instant)) implicit def arbitraryPlayJsObject: Arbitrary[_root_.play.api.libs.json.JsObject] = Arbitrary(genPlayJsObject) def genPlayJsObject: Gen[_root_.play.api.libs.json.JsObject] = Gen.const(_root_.play.api.libs.json.JsObject.empty) } trait ExampleInterfaceScalaCheck { implicit def arbitraryJodaDateTime: Arbitrary[_root_.org.joda.time.DateTime] implicit def arbitraryPlayJsObject: Arbitrary[_root_.play.api.libs.json.JsObject] implicit def arbitraryGuest: Arbitrary[io.example.interface.v0.models.Guest] = Arbitrary(genGuest) def genGuest: Gen[io.example.interface.v0.models.Guest] = for { sessionId <- Arbitrary.arbitrary[String] email <- Arbitrary.arbitrary[_root_.scala.Option[String]] name <- Arbitrary.arbitrary[_root_.scala.Option[String]] } yield io.example.interface.v0.models.Guest(sessionId, email, name) implicit def arbitraryUser: Arbitrary[io.example.interface.v0.models.User] = Arbitrary(genUser) def genUser: Gen[io.example.interface.v0.models.User] = for { id <- Arbitrary.arbitrary[String] email <- Arbitrary.arbitrary[_root_.scala.Option[String]] name <- Arbitrary.arbitrary[_root_.scala.Option[String]] registrationDate <- Arbitrary.arbitrary[_root_.org.joda.time.DateTime] } yield io.example.interface.v0.models.User(id, email, name, registrationDate) implicit def arbitraryPerson: Arbitrary[io.example.interface.v0.models.Person] = Arbitrary(genPerson) def genPerson: Gen[io.example.interface.v0.models.Person] = Gen.oneOf(genGuest, genUser) }