nyaya.gen

package nyaya.gen

Type members

Classlikes

Companion:
class
final class DateTimeBuilder(genNow: Gen[Now], past: TimeSpec, future: TimeSpec) extends DateTimeBuilderJava8
Companion:
object
Companion:
class
case class Distinct[A, X, H[_], Y, Z, B](fixer: Fixer[X, H, Y, Z], t: A => (X => State[H[Y], Z]) => State[H[Y], B]) extends DistinctFn[A, B]
Companion:
object
object Distinct
Companion:
class
final case class DistinctEndo[A](ds: NonEmptyList[DistinctFn[A, A]]) extends DistinctFn[A, A]
sealed trait DistinctFn[A, B]
final case class Gen[+A](run: () => A) extends AnyVal
Companion:
object
object Gen
Companion:
class
final class GenCtx(val rnd: Random, _genSize: GenSize, val thread: ThreadNumber)

State and config passed to generators.

State and config passed to generators.

This data is mutable.

Companion:
object
object GenCtx
Companion:
class
final class GenOpsWithInvariantA[A](run: () => A) extends AnyVal
final case class GenSize(value: Int)

The default maximum size of dynamically-sized data.

The default maximum size of dynamically-sized data.

Most significantly translates to collection and string length.

Companion:
object
object GenSize
Companion:
class
final case class SampleNumber(value: Int) extends AnyVal
case class SeedCtx(thread: ThreadNumber, sample: SampleNumber)
trait SetLike[F[_], A]
Companion:
object
sealed trait SizeSpec
Companion:
object
object SizeSpec
Companion:
class
object StateGen
final case class ThreadNumber(value: Int) extends AnyVal

Types

type StateGen[S, A] = StateT[Gen, S, A]

Implicits

Implicits

@inline
implicit def GenOpsWithInvariantA[A](g: Gen[A]): GenOpsWithInvariantA[A]