laws/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 extends ArbitraryInstancesBinCompat0
Deprecated
trait ArbitraryInstancesBinCompat0
trait ArbitraryInstances
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 & Singleton]
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 http4sTestingArbitraryForAccessControlAllowHeaders: Arbitrary[Access-Control-Allow-Headers]
Inherited from
ArbitraryInstances
implicit
val http4sTestingArbitraryForAccessControlAllowMethodsHeader: Arbitrary[Access-Control-Allow-Methods]
Inherited from
ArbitraryInstances
implicit
val http4sTestingArbitraryForAccessControlExposeHeaders: Arbitrary[Access-Control-Expose-Headers]
Inherited from
ArbitraryInstances
implicit
val http4sTestingArbitraryForAceesContrlolAllowedCredentials: Arbitrary[Access-Control-Allow-Credentials]
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 http4sTestingGenForMalformedMessageBodyFailure: Gen[MalformedMessageBodyFailure]
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