laws/org.http4s.laws.discipline/arbitrary

arbitrary

object arbitrary
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
def genCharsetRangeNoQuality: Gen[CharsetRange]
Inherited from:
ArbitraryInstances
def genContentCodingNoQuality: Gen[ContentCoding]
Inherited from:
ArbitraryInstances
def genLanguageTagNoQuality: Gen[LanguageTag]
Inherited from:
ArbitraryInstances

Inherited fields

val allowedQDText: List[Char]
Inherited from:
ArbitraryInstances
val allowedText: List[Char]
Inherited from:
ArbitraryInstances
val ctlChar: List[Char]
Inherited from:
ArbitraryInstances
val dntGen: Gen[DNT]
Inherited from:
ArbitraryInstancesBinCompat0
val genAlphaToken: Gen[String]
Inherited from:
ArbitraryInstancesBinCompat0
val genChar: Gen[Char]
Inherited from:
ArbitraryInstances
val genCrLf: Gen[String]
Inherited from:
ArbitraryInstances
val genCustomStatusReason: Gen[String]
Inherited from:
ArbitraryInstancesBinCompat0
val genEntityTag: Gen[EntityTag]
Inherited from:
ArbitraryInstancesBinCompat0
val genFieldContent: Gen[String]
Inherited from:
ArbitraryInstances
val genFieldValue: Gen[String]
Inherited from:
ArbitraryInstances
val genFieldVchar: Gen[Char]
Inherited from:
ArbitraryInstances
val genFiniteDuration: Gen[FiniteDuration]
Inherited from:
ArbitraryInstances
val genHexDigit: Gen[Char]
Inherited from:
ArbitraryInstances
val genHttpDate: Gen[HttpDate]
Inherited from:
ArbitraryInstances
val genHttpExpireDate: Gen[HttpDate]
Inherited from:
ArbitraryInstances
val genListSep: Gen[String]
Inherited from:
ArbitraryInstancesBinCompat0
val genLws: Gen[String]
Inherited from:
ArbitraryInstances
val genNonTchar: Gen[Char]
Inherited from:
ArbitraryInstances
val genNonToken: Gen[String]
Inherited from:
ArbitraryInstances
val genObsText: Gen[String]
Inherited from:
ArbitraryInstancesBinCompat0
val genOctet: Gen[Char]
Inherited from:
ArbitraryInstances
val genOptWs: Gen[String]
Inherited from:
ArbitraryInstancesBinCompat0
val genPctEncoded: Gen[String]
Inherited from:
ArbitraryInstances
val genQDText: Gen[String]
Inherited from:
ArbitraryInstances
val genRightLws: Gen[String]
Inherited from:
ArbitraryInstances
val genStandardMethod: Gen[Method]
Inherited from:
ArbitraryInstances
val genStandardStatus: Gen[Status]
Inherited from:
ArbitraryInstances
val genSubDelims: Gen[Char]
Inherited from:
ArbitraryInstances
val genTchar: Gen[Char]
Inherited from:
ArbitraryInstances
val genText: Gen[String]
Inherited from:
ArbitraryInstances
val genToken: Gen[String]
Inherited from:
ArbitraryInstances
val genUnreserved: Gen[Char]
Inherited from:
ArbitraryInstances
val genValidStatusCode: Gen[Int]
Inherited from:
ArbitraryInstances
val genVchar: Gen[Char]
Inherited from:
ArbitraryInstances
val genVcharExceptDquote: Gen[Char]
Inherited from:
ArbitraryInstancesBinCompat0
val http4sGenMediaRange: Gen[MediaRange]
Inherited from:
ArbitraryInstances
val http4sGenMediaRangeAndQValue: Gen[MediaRangeAndQValue]
Inherited from:
ArbitraryInstances
val http4sGenMediaRangeExtension: Gen[(String, String)]
Inherited from:
ArbitraryInstances
val http4sGenMediaRangeExtensions: Gen[Map[String, String]]
Inherited from:
ArbitraryInstances
val http4sGenMediaType: Gen[MediaType]
Inherited from:
ArbitraryInstances
val http4sGenUnquotedPair: Gen[String]
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
Inherited from:
ArbitraryInstances
@deprecated("Generates encoded values instead of the expected unencoded values that arbitraries should. Use genQDText instead.", "0.22.5")
val genQuotedString: Gen[String]
Deprecated
Inherited from:
ArbitraryInstances

Implicits

Inherited implicits

implicit val arbDnt: Arbitrary[DNT]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val arbitraryAcceptPost: Arbitrary[Accept-Post]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sArbitraryMediaType: Arbitrary[MediaType]
Inherited from:
ArbitraryInstances
implicit val http4sTestingAbitraryForPath: Arbitrary[Path]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAcceptCharset: Arbitrary[Accept-Charset]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAcceptEncoding: Arbitrary[Accept-Encoding]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAcceptHeader: Arbitrary[Accept]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAcceptLanguage: Arbitrary[Accept-Language]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAcceptPatchHeader: Arbitrary[Accept-Patch]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAgeHeader: Arbitrary[Age]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAllow: Arbitrary[Allow]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForAuthority: Arbitrary[Authority]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForCharset: Arbitrary[Charset]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForCharsetAtomRange: Arbitrary[Atom]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForCharsetRange: Arbitrary[CharsetRange]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForCharsetSplatRange: Arbitrary[*]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForContentEncoding: Arbitrary[Content-Encoding]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForContentLength: Arbitrary[Content-Length]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForContentType: Arbitrary[Content-Type]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForDateHeader: Arbitrary[Date]
Inherited from:
ArbitraryInstances
implicit def http4sTestingArbitraryForDecodeFailure: Arbitrary[DecodeFailure]
Inherited from:
ArbitraryInstances
implicit def http4sTestingArbitraryForEntity[F[_]]: Arbitrary[Entity[F]]
Inherited from:
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 http4sTestingArbitraryForExpiresHeader: Arbitrary[Expires]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForHeaders: Arbitrary[Headers]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForHttpVersion: Arbitrary[HttpVersion]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForIfRangeLastModified: Arbitrary[If-Range]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingArbitraryForIpv4Address: Arbitrary[Ipv4Address]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForIpv6Address: Arbitrary[Ipv6Address]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForKeepAlive: Arbitrary[Keep-Alive]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingArbitraryForLanguageTag: Arbitrary[LanguageTag]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForMaxForwards: Arbitrary[Max-Forwards]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForMediaRange: Arbitrary[MediaRange]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForMethod: Arbitrary[Method]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForNioCharset: Arbitrary[Charset]
Inherited from:
ArbitraryInstances
implicit def http4sTestingArbitraryForNonEmptyList[A : Arbitrary]: Arbitrary[NonEmptyList[A]]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForQValue: Arbitrary[QValue]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForQuery: Arbitrary[Query]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForQueryParam: Arbitrary[(String, Option[String])]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForRawHeader: Arbitrary[Raw]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForRegName: Arbitrary[RegName]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingArbitraryForRequestPrelude: Arbitrary[RequestPrelude]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingArbitraryForResponsePrelude: Arbitrary[ResponsePrelude]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingArbitraryForRetryAfterHeader: Arbitrary[Retry-After]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForSTS: Arbitrary[Strict-Transport-Security]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForScheme: Arbitrary[Scheme]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForSegment: Arbitrary[Segment]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForServerSentEvent: Arbitrary[ServerSentEvent]
Inherited from:
ArbitraryInstances
@nowarn("cat=deprecation")
implicit val http4sTestingArbitraryForStatus: Arbitrary[Status]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForTransferCoding: Arbitrary[TransferCoding]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForTransferEncoding: Arbitrary[Transfer-Encoding]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForUri: Arbitrary[Uri]

https://datatracker.ietf.org/doc/html/rfc3986

https://datatracker.ietf.org/doc/html/rfc3986

Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForUriHost: Arbitrary[Host]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForUrlForm: Arbitrary[UrlForm]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForUserInfo: Arbitrary[UserInfo]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForXB3Flags: Arbitrary[X-B3-Flags]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForXB3ParentSpanId: Arbitrary[X-B3-ParentSpanId]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForXB3Sampled: Arbitrary[X-B3-Sampled]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForXB3SpanId: Arbitrary[X-B3-SpanId]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryForXB3TraceId: Arbitrary[X-B3-TraceId]
Inherited from:
ArbitraryInstances
implicit val http4sTestingArbitraryTrailer: Arbitrary[Trailer]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingCogenForAuthority: Cogen[Authority]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingCogenForCharset: Cogen[Charset]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForCharsetRange: Cogen[CharsetRange]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForContentCoding: Cogen[ContentCoding]
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 http4sTestingCogenForHeader: Cogen[Raw]
Inherited from:
ArbitraryInstances
implicit def http4sTestingCogenForHeaders: Cogen[Headers]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForHttpVersion: Cogen[HttpVersion]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForIpv4Address: Cogen[Ipv4Address]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForIpv6Address: Cogen[Ipv6Address]
Inherited from:
ArbitraryInstances
implicit def http4sTestingCogenForMedia[F[_]](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext): Cogen[Media[F]]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForMediaRange: Cogen[MediaRange]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForMediaType: Cogen[MediaType]
Inherited from:
ArbitraryInstances
implicit def http4sTestingCogenForMessage[F[_]](implicit F: Concurrent[F], dispatcher: Dispatcher[F], testContext: TestContext): Cogen[Message[F]]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForMethod: Cogen[Method]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForNioCharset: Cogen[Charset]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForPath: Cogen[Path]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForQValue: Cogen[QValue]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForQuery: Cogen[Query]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingCogenForRegName: Cogen[RegName]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingCogenForRequestPrelude: Cogen[RequestPrelude]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingCogenForResponsePrelude: Cogen[ResponsePrelude]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingCogenForScheme: Cogen[Scheme]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForSegment: Cogen[Segment]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForStatus: Cogen[Status]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForTransferCoding: Cogen[TransferCoding]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForUri: Cogen[Uri]
Inherited from:
ArbitraryInstances
implicit val http4sTestingCogenForUriHost: Cogen[Host]
Inherited from:
ArbitraryInstancesBinCompat0
implicit val http4sTestingCogenForUserInfo: Cogen[UserInfo]
Inherited from:
ArbitraryInstances
implicit val http4sTestingGenForInvalidMessageBodyFailure: Gen[InvalidMessageBodyFailure]
Inherited from:
ArbitraryInstances
implicit val http4sTestingGenForMediaTypeMismatch: Gen[MediaTypeMismatch]
Inherited from:
ArbitraryInstances
implicit val http4sTestingGenForMediaTypeMissing: Gen[MediaTypeMissing]
Inherited from:
ArbitraryInstances
implicit def http4sTestingGenForPureByteStream[F[_]]: Gen[Stream[Pure, Byte]]
Inherited from:
ArbitraryInstances
implicit val http4sTrstingArbitraryForContentCoding: Arbitrary[ContentCoding]
Inherited from:
ArbitraryInstances