oxygen-test
API
Generated with
oxygen-test/oxygen/oxygen.test/Generator

Generator

oxygen.test.Generator
See theGenerator companion trait
object Generator extends LowPriority1, Derivable[Bounded]

Attributes

Companion
trait
Graph
Supertypes
trait Derivable[Bounded]
trait LowPriority1
trait LowPriority2
class Object
trait Matchable
class Any
Show all
Self type
Generator.type

Members list

Type members

Classlikes

object Bounded

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Bounded.type
sealed trait Bounded[+A] extends Generator[A]

Attributes

Companion
object
Supertypes
trait Generator[A]
class Object
trait Matchable
class Any
Known subtypes
class ConcatBounded[A]
class Finite[A]
class MapBounded[A, A2]
Self type
Bounded[A]
final case class ConcatBounded[+A](_1: Bounded[A], _2: Bounded[A]) extends Bounded[A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Bounded[A]
trait Generator[A]
class Object
trait Matchable
class Any
Show all
final case class ConcatUnbounded[+A](_1: Generator[A], _2: Generator[A]) extends Unbounded[A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Unbounded[A]
trait Generator[A]
class Object
trait Matchable
class Any
Show all
final case class Finite[+A](values: Chunk[A]) extends Bounded[A]

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Bounded[A]
trait Generator[A]
class Object
trait Matchable
class Any
Show all
object Finite

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Finite.type
final case class FlatMapUnbounded[A, A2](a: Generator[A], f: A => Generator[A2]) extends Unbounded[A2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Unbounded[A2]
trait Generator[A2]
class Object
trait Matchable
class Any
Show all
final case class MapBounded[A, A2](a: Bounded[A], f: A => A2) extends Bounded[A2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Bounded[A2]
trait Generator[A2]
class Object
trait Matchable
class Any
Show all
final case class MapUnbounded[A, A2](a: Generator[A], f: A => A2) extends Unbounded[A2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Unbounded[A2]
trait Generator[A2]
class Object
trait Matchable
class Any
Show all
final case class OfSeq[S[_], A](seqOps: SeqOps[S], g: Generator[A]) extends Unbounded[S[A]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Unbounded[S[A]]
trait Generator[S[A]]
class Object
trait Matchable
class Any
Show all
final case class Rand[+A](gen: UIO[A]) extends Unbounded[A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Unbounded[A]
trait Generator[A]
class Object
trait Matchable
class Any
Show all
sealed trait Unbounded[+A] extends Generator[A]

Attributes

Supertypes
trait Generator[A]
class Object
trait Matchable
class Any
Known subtypes
class ConcatUnbounded[A]
class FlatMapUnbounded[A, A2]
class MapUnbounded[A, A2]
class OfSeq[S, A]
class Rand[A]

Inherited classlikes

object deriveInternal

Attributes

Inherited from:
Derivable
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[A](using gen: Generator[A]): Generator[A]
def const[A](value: A): Finite[A]
inline override def derived[A]: Bounded[A]

Unfortunately, scala macros do not allow this to be implemented in Derivable. Therefore, every companion object that extends Derivable must implement this function with the following body: ${ derivedImpl[A] }

Unfortunately, scala macros do not allow this to be implemented in Derivable. Therefore, every companion object that extends Derivable must implement this function with the following body: ${ derivedImpl[A] }

Attributes

Definition Classes
Derivable
def fillChunkTo[A](chunk: Chunk[A], size: Int): Chunk[A]
def finite[A](values: A*): Finite[A]
def random[A](eff: UIO[A]): Rand[A]
def streamZioChunk[A](zio: UIO[Chunk[A]]): UStream[A]

Givens

Givens

given bigDecimal: Rand[BigDecimal]
given bigInt: Rand[BigInt]
given boolean: Finite[Boolean]
given byte: Rand[Byte]
given double: Rand[Double]
given finiteEither[A, B](using ga: Finite[A], gb: Finite[B]): Finite[Either[A, B]]
given finiteOption[A](using g: Finite[A]): Finite[Option[A]]
given float: Rand[Float]
given instant: Rand[Instant]
given int: Rand[Int]
given localDate: Rand[LocalDate]
given localDateTime: Rand[LocalDateTime]
given long: Rand[Long]
given offsetDateTime: Rand[OffsetDateTime]
given seq[S[_], A](using seqOps: SeqOps[S], g: Generator[A]): Generator[S[A]]
given short: Rand[Short]
given string: Rand[String]
given uuid: Rand[UUID]
given zonedDateTime: Rand[ZonedDateTime]

Inherited givens

given boundedEither[A, B](using ga: Bounded[A], gb: Bounded[B]): Bounded[Either[A, B]]

Attributes

Inherited from:
LowPriority1
given boundedOption[A](using g: Bounded[A]): Bounded[Option[A]]

Attributes

Inherited from:
LowPriority1
given either[A, B](using ga: Generator[A], gb: Generator[B]): Generator[Either[A, B]]

Attributes

Inherited from:
LowPriority2
given option[A](using g: Generator[A]): Generator[Option[A]]

Attributes

Inherited from:
LowPriority2
Generated with