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.
zio.test.laws.ZLaws2.scala Maven / Gradle / Ivy
/*
* Copyright 2020-2024 John A. De Goes and the ZIO Contributors
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package zio.test.laws
import zio.stacktracer.TracingImplicits.disableAutoTrace
import zio.test.{Gen, TestResult, check}
import zio.{URIO, ZIO, Trace}
abstract class ZLaws2[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_], -R] { self =>
def run[R1 <: R, A: CapsLeft, B: CapsRight](left: Gen[R1, A], right: Gen[R1, B])(implicit
CapsBoth: CapsBoth[A, B],
trace: Trace
): ZIO[R1, Nothing, TestResult]
def +[CapsBoth1[x, y] <: CapsBoth[x, y], CapsLeft1[x] <: CapsLeft[x], CapsRight1[x] <: CapsRight[x], R1 <: R](
that: ZLaws2[CapsBoth1, CapsLeft1, CapsRight1, R1]
): ZLaws2[CapsBoth1, CapsLeft1, CapsRight1, R1] =
ZLaws2.Both(self, that)
}
object ZLaws2 {
private final case class Both[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_], -R](
left: ZLaws2[CapsBoth, CapsLeft, CapsRight, R],
right: ZLaws2[CapsBoth, CapsLeft, CapsRight, R]
) extends ZLaws2[CapsBoth, CapsLeft, CapsRight, R] {
final def run[R1 <: R, A: CapsLeft, B: CapsRight](a: Gen[R1, A], b: Gen[R1, B])(implicit
CapsBoth: CapsBoth[A, B],
trace: Trace
): ZIO[R1, Nothing, TestResult] =
left.run(a, b).zipWith(right.run(a, b))(_ && _)
}
abstract class Law1Left[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_]](label: String)
extends ZLaws2[CapsBoth, CapsLeft, CapsRight, Any] { self =>
def apply[A: CapsLeft, B: CapsRight](a1: A)(implicit CapsBoth: CapsBoth[A, B]): TestResult
final def run[R, A: CapsLeft, B: CapsRight](a: Gen[R, A], b: Gen[R, B])(implicit
CapsBoth: CapsBoth[A, B],
trace: Trace
): URIO[R, TestResult] =
check(a, b)((a, _) => apply(a).label(label))
}
abstract class Law1Right[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_]](label: String)
extends ZLaws2[CapsBoth, CapsLeft, CapsRight, Any] { self =>
def apply[A: CapsLeft, B: CapsRight](b1: B)(implicit CapsBoth: CapsBoth[A, B]): TestResult
final def run[R, A: CapsLeft, B: CapsRight](a: Gen[R, A], b: Gen[R, B])(implicit
CapsBoth: CapsBoth[A, B],
trace: Trace
): URIO[R, TestResult] =
check(a, b)((_, b) => apply(b).label(label))
}
}
