unidocs
0.23.20
API
Generated with
unidocs/org.http4s/org.http4s.laws/org.http4s.laws.discipline/arbitrary

arbitrary

org.http4s.laws.discipline.arbitrary$
object arbitrary

Attributes

Source
arbitrary.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
arbitrary.type

Members list

Value members

Inherited methods

def cogenFuture[A](implicit ec: TestContext, cg: Cogen[Try[A]]): Cogen[Future[A]]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
def createGenUri: Gen[Uri]

Creates an Gen[Url] with checking that a URI is converting to String and back to URI safely. Use this Gen with cautions - it may lead to tests performance degradation.

Creates an Gen[Url] with checking that a URI is converting to String and back to URI safely. Use this Gen with cautions - it may lead to tests performance degradation.

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala

Inherited fields

val allowedQDText: List[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val allowedText: List[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val ctlChar: List[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val dntGen: Gen[DNT]

Attributes

Inherited from:
ArbitraryInstancesBinCompat0 (hidden)
Source
arbitrary.scala
val genChar: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genCrLf: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genFieldContent: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genFieldValue: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genFieldVchar: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genHexDigit: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genLws: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genNonTchar: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genNonToken: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genOctet: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genOptWs: Gen[String]

Attributes

Inherited from:
ArbitraryInstancesBinCompat0 (hidden)
Source
arbitrary.scala
val genQDText: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genRightLws: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genStandardMethod: Gen[Method]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genStandardStatus: Gen[Status]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genSubDelims: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genTchar: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genText: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genToken: Gen[String]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genUnreserved: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genValidStatusCode: Gen[Int]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val genVchar: Gen[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val lws: List[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
val octets: List[Char]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala

Deprecated and Inherited fields

val genCustomStatus: Gen[Status]

Attributes

Deprecated
true
Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala

Implicits

Inherited implicits

implicit val arbDnt: Arbitrary[DNT]

Attributes

Inherited from:
ArbitraryInstancesBinCompat0 (hidden)
Source
arbitrary.scala
implicit val http4sTestingAbitraryForPath: Arbitrary[Path]

Attributes

Inherited from:
_$44.mkString)) valgenPChar:Gen[Char|String]=oneOf[Char|String](ArbitraryInstances.this.genUnreserved,ArbitraryInstances.this.genPctEncoded,ArbitraryInstances.this.genSubDelims,const[String](":"),const[String]("@")) valgenSegmentNz:Gen[String]=nonEmptyListOf[Char|String](genPChar).map[String](((_$45:List[Char|String])=>_$45.mkString)) valgenSegment:Gen[String]=listOf[Char|String](genPChar).map[String](((_$46:List[Char|String])=>_$46.mkString)) valgenPathEmpty:Gen[String]=const[String]("") valgenPathAbEmpty:Gen[String]=catsSyntaxSemigroup[Gen[String]](listOf[String](catsSyntaxSemigroup[Gen[String]](const[String]("/"))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(genSegment)).map[String](((_$47:List[String])=>_$47.mkString)))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(ArbitraryInstances.this.opt[String](const[String]("/"))(catsKernelMonoidForString)) valgenPathRootless:Gen[String]=catsSyntaxSemigroup[Gen[String]](catsSyntaxSemigroup[Gen[String]](genSegmentNz)(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(genPathAbEmpty))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(ArbitraryInstances.this.opt[String](const[String]("/"))(catsKernelMonoidForString)) valgenPathNoScheme:Gen[String]=catsSyntaxSemigroup[Gen[String]](catsSyntaxSemigroup[Gen[String]](genSegmentNzNc)(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(genPathAbEmpty))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(ArbitraryInstances.this.opt[String](const[String]("/"))(catsKernelMonoidForString)) valgenPathAbsolute:Gen[String]=catsSyntaxSemigroup[Gen[String]](catsSyntaxSemigroup[Gen[String]](const[String]("/"))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(ArbitraryInstances.this.opt[String](genPathRootless)(catsKernelMonoidForString)))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(ArbitraryInstances.this.opt[String](const[String]("/"))(catsKernelMonoidForString)) oneOf[String](genPathAbEmpty,genPathAbsolute,genPathNoScheme,genPathRootless,genPathEmpty).map[Path](((fromPath:String)=>Uri.Path.unsafeFromString(fromPath))) })">ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit def http4sTestingArbitraryForEntity[F[_]]: Arbitrary[Entity[F]]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit def http4sTestingArbitraryForEntityEncoder[F[_], A](implicit CA: Cogen[A]): Arbitrary[EntityEncoder[F, A]]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingArbitraryForServerSentEvent: Arbitrary[ServerSentEvent]

Attributes

Inherited from:
[Gen[Some[String]]](singleLineString.map[Some[String]](((value:String)=>Some.apply[String](value)))),ArrowAssoc[Int](1).->[Gen[None]](const[None.type](None))).flatMap[ServerSentEvent](((data:Option[String])=>frequency[Option[String]](ArrowAssoc[Int](1).->[Gen[Some[String]]](singleLineString.map[Some[String]](((`value₂`:String)=>Some.apply[String](`value₂`)))),ArrowAssoc[Int](8).->[Gen[None]](const[None.type](None))).flatMap[ServerSentEvent](((comment:Option[String])=>frequency[Option[String]](ArrowAssoc[Int](4).->[Gen[None]](const[None.type](None)),ArrowAssoc[Int](1).->[Gen[Some[String]]](singleLineString.map[Some[String]](((`value₃`:String)=>Some.apply[String](`value₃`))))).flatMap[ServerSentEvent](((event:Option[String])=>frequency[Option[EventId]](ArrowAssoc[Int](8).->[Gen[None]](const[None.type](None)),ArrowAssoc[Int](1).->[Gen[Some[EventId]]](const[Some[EventId]](Some.apply[EventId](EventId.reset))),ArrowAssoc[Int](1).->[Gen[Some[EventId]]](singleLineString.suchThat(((_$35:String)=>augmentString(_$35).nonEmpty)).map[Some[EventId]](((id:String)=>Some.apply[EventId](EventId.apply(id)))))).flatMap[ServerSentEvent](((`id₂`:Option[EventId])=>frequency[Option[Long]](ArrowAssoc[Int](4).->[Gen[None]](const[None.type](None)),ArrowAssoc[Int](1).->[Gen[Some[Long]]](posNum[Long](LongIsIntegral,chooseLong).map[Some[Long]](((`value₄`:Long)=>Some.apply[Long](`value₄`))))).map[ServerSentEvent](((retry:Option[Long])=>ServerSentEvent.apply(data,event,`id₂`,retry.map[FiniteDuration](((_$36:Long)=>FiniteDuration.apply(_$36,TimeUnit.MILLISECONDS))),comment)))))))))))) }">ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForCharset: Cogen[Charset]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit def http4sTestingCogenForHeader: Cogen[Raw]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit def http4sTestingCogenForHeaders: Cogen[Headers]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit def http4sTestingCogenForMedia[F[_]](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext): Cogen[Media[F]]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForMethod: Cogen[Method]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForPath: Cogen[Path]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForQValue: Cogen[QValue]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForScheme: Cogen[Scheme]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForSegment: Cogen[Segment]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForStatus: Cogen[Status]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit val http4sTestingCogenForUri: Cogen[Uri]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
implicit def http4sTestingGenForPureByteStream[F[_]]: Gen[Stream[Pure, Byte]]

Attributes

Inherited from:
ArbitraryInstances (hidden)
Source
arbitrary.scala
Generated with