laws/org.http4s.laws.discipline/ArbitraryInstances

ArbitraryInstances

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

Concrete fields

val genListSep: Gen[String]
val genOptWs: Gen[String]

Inherited fields

val allowedQDText: List[Char]
Inherited from
ArbitraryInstances
val allowedText: List[Char]
Inherited from
ArbitraryInstances
val ctlChar: List[Char]
Inherited from
ArbitraryInstances
val genChar: Gen[Char]
Inherited from
ArbitraryInstances
val genCrLf: Gen[String]
Inherited from
ArbitraryInstances
val genCustomStatus: Gen[Status]
Inherited from
ArbitraryInstances
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 genLws: Gen[String]
Inherited from
ArbitraryInstances
val genNonTchar: Gen[Char]
Inherited from
ArbitraryInstances
val genNonToken: Gen[String]
Inherited from
ArbitraryInstances
val genOctet: Gen[Char]
Inherited from
ArbitraryInstances
val genPctEncoded: Gen[String]
Inherited from
ArbitraryInstances
val genQDText: Gen[String]
Inherited from
ArbitraryInstances
val genQuotedPair: Gen[String]
Inherited from
ArbitraryInstances
val genQuotedString: 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 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 http4sGenUnquotedPair: Gen[String]
Inherited from
ArbitraryInstances
val lws: List[Char]
Inherited from
ArbitraryInstances
val octets: List[Char]
Inherited from
ArbitraryInstances

Implicits

Implicits

implicit val http4sTestingArbitraryForRegName: Arbitrary[RegName]
implicit val http4sTestingArbitraryForRequestPrelude: Arbitrary[RequestPrelude]
implicit val http4sTestingArbitraryForResponsePrelude: Arbitrary[ResponsePrelude]
implicit val http4sTestingCogenForAuthority: Cogen[Authority]
implicit val http4sTestingCogenForQuery: Cogen[Query]
implicit val http4sTestingCogenForRegName: Cogen[RegName]
implicit val http4sTestingCogenForRequestPrelude: Cogen[RequestPrelude]
implicit val http4sTestingCogenForResponsePrelude: Cogen[ResponsePrelude]
implicit val http4sTestingCogenForUriHost: Cogen[Host]

Inherited implicits

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 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: Effect[F], 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 http4sTestingArbitraryForIpv4Address: Arbitrary[Ipv4Address]
Inherited from
ArbitraryInstances
implicit val http4sTestingArbitraryForIpv6Address: Arbitrary[Ipv6Address]
Inherited from
ArbitraryInstances
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](implicit evidence$1: Arbitrary[A]): 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 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
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://tools.ietf.org/html/rfc3986

https://tools.ietf.org/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 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: Effect[F]): Cogen[Entity[F]]
Inherited from
ArbitraryInstances
implicit def http4sTestingCogenForEntityBody[F[_]](implicit F: Effect[F]): 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: Effect[F]): 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: Effect[F]): 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 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 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