unidocs
0.23.18
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
unidocs/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

Members list

Concise view

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 ctlChar: List[Char]

Attributes

Inherited from:
ArbitraryInstances (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 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 genOctet: Gen[Char]

Attributes

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

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 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]
implicit val http4sTestingAbitraryForPath: Arbitrary[Path]

Attributes

Inherited from:
_$40.mkString)) valgenPChar:Gen[Matchable]=oneOf[Matchable](ArbitraryInstances.this.genUnreserved,ArbitraryInstances.this.genPctEncoded,ArbitraryInstances.this.genSubDelims,const[String](":"),const[String]("@")) valgenSegmentNz:Gen[String]=nonEmptyListOf[Matchable](genPChar).map[String](((_$41:List[Matchable])=>_$41.mkString)) valgenSegment:Gen[String]=listOf[Matchable](genPChar).map[String](((_$42:List[Matchable])=>_$42.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](((_$43:List[String])=>_$43.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 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(((_$31:String)=>augmentString(_$31).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](((_$32:Long)=>FiniteDuration.apply(_$32,TimeUnit.MILLISECONDS))),comment)))))))))))) }">ArbitraryInstances (hidden)
Source:
arbitrary.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL