Initial commit

Author: mtumilowicz

.gitignore

@@ -0,0 +1,9 @@
+# Project exclude paths
+/project/target/
+/target/
+/target/scala-2.13/classes/
+/target/scala-2.13/test-classes/
+/.bsp
+/.idea
+# Project exclude paths
+/project/project/target/

build.sbt

@@ -0,0 +1,17 @@
+ThisBuild / scalaVersion     := "2.13.10"
+ThisBuild / version          := "0.1.0-SNAPSHOT"
+ThisBuild / organization     := "com.example"
+ThisBuild / organizationName := "example"
+
+lazy val root = (project in file("."))
+  .settings(
+    name := "scala-zio-test-aspects-property-based-testing-workshop",
+    libraryDependencies ++= Seq(
+      "dev.zio" %% "zio" % "2.0.2",
+      "com.beachape" %% "enumeratum" % "1.7.0",
+      "eu.timepit" %% "refined" % "0.10.1",
+      "dev.zio" %% "zio-test-magnolia" % "2.0.2" % Test,
+      "dev.zio" %% "zio-test" % "2.0.2" % Test
+    ),
+    testFrameworks += new TestFramework("zio.test.sbt.ZTestFramework")
+  )

project/build.properties

@@ -0,0 +1 @@
+sbt.version = 1.7.2

src/main/scala/Main.scala

@@ -0,0 +1,7 @@
+import zio._
+import zio.Console.printLine
+
+object Main extends ZIOAppDefault {
+  override def run: ZIO[Environment with ZIOAppArgs with Scope, Any, Any] =
+    printLine("Welcome to your first ZIO app!")
+}

src/main/scala/app/Account.scala

@@ -0,0 +1,11 @@
+package app
+
+import enumeratum.{Enum, EnumEntry}
+import eu.timepit.refined.types.string.NonEmptyString
+
+import java.util.UUID
+case class Account(id: AccountId,
+                   status: AccountStatus,
+                   description: NonEmptyString)
+
+case class AccountCreated(id: AccountId)

src/main/scala/app/AccountId.scala

@@ -0,0 +1,5 @@
+package app
+
+import java.util.UUID
+
+case class AccountId(uuid: UUID)

src/main/scala/app/AccountService.scala

@@ -0,0 +1,7 @@
+package app
+
+import zio.{Task, ZIO}
+
+object AccountService {
+  def createAccount(account: Account): Task[AccountCreated] = ZIO.succeed(AccountCreated(account.id))
+}

src/main/scala/app/AccountStatus.scala

@@ -0,0 +1,14 @@
+package app
+
+import enumeratum._
+
+sealed trait AccountStatus extends EnumEntry
+
+object AccountStatus extends Enum[AccountStatus] {
+
+  case object AccountLocked extends AccountStatus
+
+  case object AccountUnlocked extends AccountStatus
+
+  override def values: IndexedSeq[AccountStatus] = findValues
+}

src/test/scala/app/RandomTest.scala

@@ -0,0 +1,28 @@
+package app
+
+import core.MainSpec
+import generators.AccountGenerators.genAccount
+import zio.Scope
+import zio.test.Assertion.equalTo
+import zio.test._
+
+object RandomTest extends MainSpec {
+
+  override def spec: Spec[TestEnvironment with Scope, Any] = suite("suite")(
+    test("test1") {
+      for {
+        _ <- zio.Console.printLine("")
+      } yield assertTrue(1 == 1)
+    },
+    test("test2") {
+      for {
+        _ <- zio.Console.printLine("")
+      } yield assertTrue(2 == 1)
+    },
+    test("gen") {
+      check(genAccount) { account =>
+        assertZIO(AccountService.createAccount(account))(equalTo(AccountCreated(account.id)))
+      }
+    }
+  )
+}

src/test/scala/app/RandomTest2.scala

@@ -0,0 +1,28 @@
+package app
+
+import core.MainSpec
+import generators.AccountGenerators.genAccount
+import zio.Scope
+import zio.test.Assertion.equalTo
+import zio.test._
+
+object RandomTest2 extends MainSpec {
+
+  override def spec: Spec[TestEnvironment with Scope, Any] = suite("suite")(
+    test("test1") {
+      for {
+        _ <- zio.Console.printLine("")
+      } yield assertTrue(1 == 1)
+    },
+    test("test2") {
+      for {
+        _ <- zio.Console.printLine("")
+      } yield assertTrue(2 == 1)
+    },
+    test("gen") {
+      check(genAccount) { account =>
+        assertZIO(AccountService.createAccount(account))(equalTo(AccountCreated(account.id)))
+      }
+    }
+  )
+}

src/test/scala/core/CustomTestAspects.scala

@@ -0,0 +1,19 @@
+package core
+
+import zio.test.{TestAspect, TestAspectAtLeastR, TestEnvironment, TestFailure, TestRandom, TestSuccess}
+import zio.{Trace, ZIO}
+
+
+object CustomTestAspects {
+  def printSeedIfFailure: TestAspectAtLeastR[TestEnvironment] =
+    new TestAspect.PerTest.AtLeastR[TestEnvironment] {
+      override def perTest[R >: Nothing <: TestEnvironment, E >: Nothing <: Any]
+      (test: ZIO[R, TestFailure[E], TestSuccess])(implicit trace: Trace): ZIO[R, TestFailure[E], TestSuccess] = for {
+        seed <- TestRandom.getSeed
+        result <- test.tapError(_ => zio.Console.printLine(s"Test failed when using seed = $seed").orDie)
+      } yield result
+    }
+
+  def setSeedBeforeEach(seed: Long): TestAspect[Nothing, Any, Nothing, Any] =
+    TestAspect.before(TestRandom.setSeed(seed))
+}

src/test/scala/core/MainSpec.scala

@@ -0,0 +1,11 @@
+package core
+
+import zio.Chunk
+import zio.test.{TestAspectAtLeastR, TestEnvironment, ZIOSpecDefault}
+
+abstract class MainSpec extends ZIOSpecDefault {
+  override def aspects: Chunk[TestAspectAtLeastR[TestEnvironment]] = Chunk(
+    CustomTestAspects.printSeedIfFailure,
+    CustomTestAspects.setSeedBeforeEach(scala.util.Random.nextLong())
+  )
+}

src/test/scala/generators/AccountGenerators.scala

@@ -0,0 +1,10 @@
+package generators
+
+import app.Account
+import zio.test.Gen
+import zio.test.magnolia.DeriveGen
+import RefinedTypesGenerators._
+
+object AccountGenerators {
+  val genAccount: Gen[Any, Account] = DeriveGen[Account]
+}

src/test/scala/generators/RefinedTypesGenerators.scala

@@ -0,0 +1,13 @@
+package generators
+
+import eu.timepit.refined.types.string.NonEmptyString
+import zio.test.Gen
+import zio.test.magnolia.DeriveGen
+
+object RefinedTypesGenerators {
+
+  val genNonEmptyString: Gen[Any, NonEmptyString] = Gen.stringBounded(1, 10)(Gen.char)
+    .map(NonEmptyString.unsafeFrom)
+  implicit val deriveGenNonEmptyString = DeriveGen.instance(genNonEmptyString)
+
+}