unidocs/org.http4s.laws.discipline/ArbitraryInstances

ArbitraryInstances

@deprecated("Use `arbitrary` instead. They were redundant, and that one is consistent with Cats.", "0.22.6")
object ArbitraryInstances
Deprecated
class Object
trait Matchable
class Any

Value members

Inherited methods

def cogenFuture[A](implicit ec: TestContext, cg: Cogen[Try[A]]): Cogen[Future[A]]
Inherited from:
ArbitraryInstances
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.

Inherited from:
ArbitraryInstances

Inherited fields

val ctlChar: List[Char]
Inherited from:
ArbitraryInstances
val genChar: Gen[Char]
Inherited from:
ArbitraryInstances
val genCrLf: Gen[String]
Inherited from:
ArbitraryInstances
val genLws: Gen[String]
Inherited from:
ArbitraryInstances
val genOctet: Gen[Char]
Inherited from:
ArbitraryInstances
val genTchar: Gen[Char]
Inherited from:
ArbitraryInstances
val genText: Gen[String]
Inherited from:
ArbitraryInstances
val genVchar: Gen[Char]
Inherited from:
ArbitraryInstances
val lws: List[Char]
Inherited from:
ArbitraryInstances
val octets: List[Char]
Inherited from:
ArbitraryInstances

Deprecated and Inherited fields

@deprecated("Custom status phrases will be removed in 1.0. They are an optional feature, pose a security risk, and already unsupported on some backends.", "0.22.6")
val genCustomStatus: Gen[Status]
Deprecated
Inherited from:
ArbitraryInstances
@deprecated("Generates encoded values instead of the expected unencoded values that arbitraries should. Use genQDText instead.", "0.22.5")
val genQuotedPair: Gen[String]
@deprecated("Generates encoded values instead of the expected unencoded values that arbitraries should. Use genQDText instead.", "0.22.5")
val genQuotedString: Gen[String]

Implicits

Inherited implicits

implicit val arbDnt: Arbitrary[DNT]
implicit val http4sTestingAbitraryForPath: Arbitrary[Path]
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]=listOf[String](catsSyntaxSemigroup[Gen[String]](const[String]("/"))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(genSegment)).map[String](((_$43:List[String])=>_$43.mkString)) valgenPathRootless:Gen[String]=catsSyntaxSemigroup[Gen[String]](genSegmentNz)(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(genPathAbEmpty) valgenPathNoScheme:Gen[String]=catsSyntaxSemigroup[Gen[String]](genSegmentNzNc)(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(genPathAbEmpty) valgenPathAbsolute:Gen[String]=catsSyntaxSemigroup[Gen[String]](const[String]("/"))(ArbitraryInstances.this.http4sTestingSemigroupForGen[String](catsKernelMonoidForString)).|+|(ArbitraryInstances.this.opt[String](genPathRootless)(catsKernelMonoidForString)) oneOf[String](genPathAbEmpty,genPathAbsolute,genPathNoScheme,genPathRootless,genPathEmpty).map[Path](((fromPath:String)=>Uri.Path.unsafeFromString(fromPath))) })">ArbitraryInstances
implicit def http4sTestingArbitraryForEntityDecoder[F[_], A](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext, g: Arbitrary[DecodeResult[F, A]]): Arbitrary[EntityDecoder[F, A]]
Inherited from:
ArbitraryInstances
implicit def http4sTestingArbitraryForEntityEncoder[F[_], A](implicit CA: Cogen[A]): Arbitrary[EntityEncoder[F, A]]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForServerSentEvent: Arbitrary[ServerSentEvent]
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
@nowarn("cat=deprecation")
implicit val http4sTestingArbitraryForStatus: Arbitrary[Status]
Inherited from:
ArbitraryInstances
implicit def http4sTestingCogenForEntity[F[_]](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext): Cogen[Entity[F]]
Inherited from:
ArbitraryInstances
implicit def http4sTestingCogenForEntityBody[F[_]](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext): Cogen[EntityBody[F]]
Inherited from:
ArbitraryInstances
implicit def http4sTestingCogenForMedia[F[_]](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext): Cogen[Media[F]]
Inherited from:
ArbitraryInstances
implicit def http4sTestingCogenForMessage[F[_]](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext): Cogen[Message[F]]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForNioCharset: Cogen[Charset]
Inherited from:
ArbitraryInstances