Servant.QuickCheck.Internal.HasGenRequest

Documentation

class HasGenRequest a where

Minimal complete definition

genRequest

Methods

genRequest :: Proxy a -> Gen (BaseUrl -> Request)

Instances

(HasGenRequest * a, HasGenRequest * b) => HasGenRequest * ((:<|>) a b)

Methods

genRequest :: Proxy (a :<|> b) a -> Gen (BaseUrl -> Request)

HasGenRequest * a => HasGenRequest * (WithNamedContext x y a)

Methods

genRequest :: Proxy (WithNamedContext x y a) a -> Gen (BaseUrl -> Request)

HasGenRequest k1 a => HasGenRequest * ((:>) * k1 (BasicAuth x y) a)

Methods

genRequest :: Proxy ((* :> k1) (BasicAuth x y) a) a -> Gen (BaseUrl -> Request)

HasGenRequest k1 a => HasGenRequest * ((:>) * k1 Vault a)

Methods

genRequest :: Proxy ((* :> k1) Vault a) a -> Gen (BaseUrl -> Request)

HasGenRequest k1 a => HasGenRequest * ((:>) * k1 HttpVersion a)

Methods

genRequest :: Proxy ((* :> k1) HttpVersion a) a -> Gen (BaseUrl -> Request)

HasGenRequest k1 a => HasGenRequest * ((:>) * k1 IsSecure a)

Methods

genRequest :: Proxy ((* :> k1) IsSecure a) a -> Gen (BaseUrl -> Request)

HasGenRequest k1 a => HasGenRequest * ((:>) * k1 RemoteHost a)

Methods

genRequest :: Proxy ((* :> k1) RemoteHost a) a -> Gen (BaseUrl -> Request)

(KnownSymbol x, HasGenRequest k1 b) => HasGenRequest * ((:>) * k1 (QueryFlag x) b)

Methods

genRequest :: Proxy ((* :> k1) (QueryFlag x) b) a -> Gen (BaseUrl -> Request)

(KnownSymbol x, Arbitrary c, ToHttpApiData c, HasGenRequest k1 b) => HasGenRequest * ((:>) * k1 (QueryParams * x c) b)

Methods

genRequest :: Proxy ((* :> k1) (QueryParams * x c) b) a -> Gen (BaseUrl -> Request)

(KnownSymbol x, Arbitrary c, ToHttpApiData c, HasGenRequest k1 b) => HasGenRequest * ((:>) * k1 (QueryParam * x c) b)

Methods

genRequest :: Proxy ((* :> k1) (QueryParam * x c) b) a -> Gen (BaseUrl -> Request)

(AllMimeRender x c, Arbitrary c, HasGenRequest k1 b) => HasGenRequest * ((:>) * k1 (ReqBody * x c) b)

Methods

genRequest :: Proxy ((* :> k1) (ReqBody * x c) b) a -> Gen (BaseUrl -> Request)

(Arbitrary c, KnownSymbol h, HasGenRequest k1 b, ToHttpApiData c) => HasGenRequest * ((:>) * k1 (Header h c) b)

Methods

genRequest :: Proxy ((* :> k1) (Header h c) b) a -> Gen (BaseUrl -> Request)

(Arbitrary c, HasGenRequest k1 b, ToHttpApiData c) => HasGenRequest * ((:>) * k1 (CaptureAll * x c) b)

Methods

genRequest :: Proxy ((* :> k1) (CaptureAll * x c) b) a -> Gen (BaseUrl -> Request)

(Arbitrary c, HasGenRequest k1 b, ToHttpApiData c) => HasGenRequest * ((:>) * k1 (Capture * x c) b)

Methods

genRequest :: Proxy ((* :> k1) (Capture * x c) b) a -> Gen (BaseUrl -> Request)

(KnownSymbol path, HasGenRequest k1 b) => HasGenRequest * ((:>) Symbol k1 path b)

Methods

genRequest :: Proxy ((Symbol :> k1) path b) a -> Gen (BaseUrl -> Request)

ReflectMethod k1 method => HasGenRequest * (Verb k1 k method status cts a)

Methods

genRequest :: Proxy (Verb k1 k method status cts a) a -> Gen (BaseUrl -> Request)