zio.test.laws.GenF2.scala Maven / Gradle / Ivy
/*
* Copyright 2020-2022 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.{FunctionVariants, Gen}
import zio.Trace
/**
* A `GenF` knows how to construct a generator of `F[A,B]` values given a
* generator of `A` and generator of `B` values. For example, a `GenF2` of
* `Function1` values knows how to generate functions A => B with elements given
* a generator of elements of that type `B`.
*/
trait GenF2[-R, F[_, _]] {
/**
* Construct a generator of `F[A,B]` values given a generator of `B` values.
*/
def apply[R1 <: R, A, B](gen: Gen[R1, B])(implicit trace: Trace): Gen[R1, F[A, B]]
}
object GenF2 extends FunctionVariants {
/**
* A generator of `Function1` A => B values.
*/
val function1: GenF2[Any, Function1] =
new GenF2[Any, Function1] {
override def apply[R1, A, B](gen: Gen[R1, B])(implicit
trace: Trace
): Gen[R1, Function1[A, B]] =
function[R1, A, B](gen)
}
}