Polysemy.Http.Data.Request

Documentation

data Method

All standard HTTP methods, mirroring those from Types, plus a constructor for arbitrary strings.

Constructors

Get

Post

Put

Delete

Head

Trace

Connect

Options

Patch

Custom Text

Instances

Eq Method

Defined in Polysemy.Http.Data.Request

Methods

(==) :: Method -> Method -> Bool

(/=) :: Method -> Method -> Bool

Show Method

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS

IsString Method

Defined in Polysemy.Http.Data.Request

Methods

fromString :: String -> Method

ToJSON Method

Defined in Polysemy.Http.Data.Request

Methods

toJSON :: Method -> Value

toEncoding :: Method -> Encoding

toJSONList :: [Method] -> Value

toEncodingList :: [Method] -> Encoding

FromJSON Method

Defined in Polysemy.Http.Data.Request

Methods

parseJSON :: Value -> Parser Method

parseJSONList :: Value -> Parser [Method]

methodUpper :: Method -> Text

Produce the usual uppercase representation of a method.

newtype Host

Request host name.

Constructors

Host

Fields

• unHost :: Text

Instances

Eq Host

Defined in Polysemy.Http.Data.Request

Methods

(==) :: Host -> Host -> Bool

(/=) :: Host -> Host -> Bool

Show Host

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> Host -> ShowS

show :: Host -> String

showList :: [Host] -> ShowS

IsString Host

Defined in Polysemy.Http.Data.Request

Methods

fromString :: String -> Host

Generic Host

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep Host :: Type -> Type

Methods

from :: Host -> Rep Host x

to :: Rep Host x -> Host

ToJSON Host

Defined in Polysemy.Http.Data.Request

Methods

toJSON :: Host -> Value

toEncoding :: Host -> Encoding

toJSONList :: [Host] -> Value

toEncodingList :: [Host] -> Encoding

FromJSON Host

Defined in Polysemy.Http.Data.Request

Methods

parseJSON :: Value -> Parser Host

parseJSONList :: Value -> Parser [Host]

type Rep Host

Defined in Polysemy.Http.Data.Request

type Rep Host = D1 ('MetaData "Host" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Host" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Port

Request port.

Constructors

Port

Fields

• unPort :: Int

Instances

Enum Port

Defined in Polysemy.Http.Data.Request

Methods

succ :: Port -> Port

pred :: Port -> Port

toEnum :: Int -> Port

fromEnum :: Port -> Int

enumFrom :: Port -> [Port]

enumFromThen :: Port -> Port -> [Port]

enumFromTo :: Port -> Port -> [Port]

enumFromThenTo :: Port -> Port -> Port -> [Port]

Eq Port

Defined in Polysemy.Http.Data.Request

Methods

(==) :: Port -> Port -> Bool

(/=) :: Port -> Port -> Bool

Integral Port

Defined in Polysemy.Http.Data.Request

Methods

quot :: Port -> Port -> Port

rem :: Port -> Port -> Port

div :: Port -> Port -> Port

mod :: Port -> Port -> Port

quotRem :: Port -> Port -> (Port, Port)

divMod :: Port -> Port -> (Port, Port)

toInteger :: Port -> Integer

Num Port

Defined in Polysemy.Http.Data.Request

Methods

(+) :: Port -> Port -> Port

(-) :: Port -> Port -> Port

(*) :: Port -> Port -> Port

negate :: Port -> Port

abs :: Port -> Port

signum :: Port -> Port

fromInteger :: Integer -> Port

Ord Port

Defined in Polysemy.Http.Data.Request

Methods

compare :: Port -> Port -> Ordering

(<) :: Port -> Port -> Bool

(<=) :: Port -> Port -> Bool

(>) :: Port -> Port -> Bool

(>=) :: Port -> Port -> Bool

max :: Port -> Port -> Port

min :: Port -> Port -> Port

Read Port

Defined in Polysemy.Http.Data.Request

Methods

readsPrec :: Int -> ReadS Port

readList :: ReadS [Port]

readPrec :: ReadPrec Port

readListPrec :: ReadPrec [Port]

Real Port

Defined in Polysemy.Http.Data.Request

Methods

toRational :: Port -> Rational

Show Port

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> Port -> ShowS

show :: Port -> String

showList :: [Port] -> ShowS

Generic Port

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep Port :: Type -> Type

Methods

from :: Port -> Rep Port x

to :: Rep Port x -> Port

ToJSON Port

Defined in Polysemy.Http.Data.Request

Methods

toJSON :: Port -> Value

toEncoding :: Port -> Encoding

toJSONList :: [Port] -> Value

toEncodingList :: [Port] -> Encoding

FromJSON Port

Defined in Polysemy.Http.Data.Request

Methods

parseJSON :: Value -> Parser Port

parseJSONList :: Value -> Parser [Port]

type Rep Port

Defined in Polysemy.Http.Data.Request

type Rep Port = D1 ('MetaData "Port" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPort") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype Tls

A flag that indicates whether a request should use TLS.

Constructors

Tls

Fields

• unTls :: Bool

Instances

Eq Tls

Defined in Polysemy.Http.Data.Request

Methods

(==) :: Tls -> Tls -> Bool

(/=) :: Tls -> Tls -> Bool

Show Tls

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> Tls -> ShowS

show :: Tls -> String

showList :: [Tls] -> ShowS

Generic Tls

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep Tls :: Type -> Type

Methods

from :: Tls -> Rep Tls x

to :: Rep Tls x -> Tls

ToJSON Tls

Defined in Polysemy.Http.Data.Request

Methods

toJSON :: Tls -> Value

toEncoding :: Tls -> Encoding

toJSONList :: [Tls] -> Value

toEncodingList :: [Tls] -> Encoding

FromJSON Tls

Defined in Polysemy.Http.Data.Request

Methods

parseJSON :: Value -> Parser Tls

parseJSONList :: Value -> Parser [Tls]

type Rep Tls

Defined in Polysemy.Http.Data.Request

type Rep Tls = D1 ('MetaData "Tls" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Tls" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype Path

Rrequest path.

Constructors

Path

Fields

• unPath :: Text

Instances

Eq Path

Defined in Polysemy.Http.Data.Request

Methods

(==) :: Path -> Path -> Bool

(/=) :: Path -> Path -> Bool

Show Path

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

IsString Path

Defined in Polysemy.Http.Data.Request

Methods

fromString :: String -> Path

Generic Path

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep Path :: Type -> Type

Methods

from :: Path -> Rep Path x

to :: Rep Path x -> Path

Semigroup Path

Defined in Polysemy.Http.Data.Request

Methods

(<>) :: Path -> Path -> Path

sconcat :: NonEmpty Path -> Path

stimes :: Integral b => b -> Path -> Path

Monoid Path

Defined in Polysemy.Http.Data.Request

Methods

mempty :: Path

mappend :: Path -> Path -> Path

mconcat :: [Path] -> Path

ToJSON Path

Defined in Polysemy.Http.Data.Request

Methods

toJSON :: Path -> Value

toEncoding :: Path -> Encoding

toJSONList :: [Path] -> Value

toEncodingList :: [Path] -> Encoding

FromJSON Path

Defined in Polysemy.Http.Data.Request

Methods

parseJSON :: Value -> Parser Path

parseJSONList :: Value -> Parser [Path]

type Rep Path

Defined in Polysemy.Http.Data.Request

type Rep Path = D1 ('MetaData "Path" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Path" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype QueryKey

The key of a query parameter.

Constructors

QueryKey

Fields

• unQueryKey :: Text

Instances

Eq QueryKey

Defined in Polysemy.Http.Data.Request

Methods

(==) :: QueryKey -> QueryKey -> Bool

(/=) :: QueryKey -> QueryKey -> Bool

Show QueryKey

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> QueryKey -> ShowS

show :: QueryKey -> String

showList :: [QueryKey] -> ShowS

IsString QueryKey

Defined in Polysemy.Http.Data.Request

Methods

fromString :: String -> QueryKey

Generic QueryKey

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep QueryKey :: Type -> Type

Methods

from :: QueryKey -> Rep QueryKey x

to :: Rep QueryKey x -> QueryKey

ToJSON QueryKey

Defined in Polysemy.Http.Data.Request

Methods

toJSON :: QueryKey -> Value

toEncoding :: QueryKey -> Encoding

toJSONList :: [QueryKey] -> Value

toEncodingList :: [QueryKey] -> Encoding

FromJSON QueryKey

Defined in Polysemy.Http.Data.Request

Methods

parseJSON :: Value -> Parser QueryKey

parseJSONList :: Value -> Parser [QueryKey]

type Rep QueryKey

Defined in Polysemy.Http.Data.Request

type Rep QueryKey = D1 ('MetaData "QueryKey" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "QueryKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unQueryKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype QueryValue

The value of a query parameter.

Constructors

QueryValue

Fields

• unQueryValue :: Text

Instances

Eq QueryValue

Defined in Polysemy.Http.Data.Request

Methods

(==) :: QueryValue -> QueryValue -> Bool

(/=) :: QueryValue -> QueryValue -> Bool

Show QueryValue

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> QueryValue -> ShowS

show :: QueryValue -> String

showList :: [QueryValue] -> ShowS

IsString QueryValue

Defined in Polysemy.Http.Data.Request

Methods

fromString :: String -> QueryValue

Generic QueryValue

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep QueryValue :: Type -> Type

Methods

from :: QueryValue -> Rep QueryValue x

to :: Rep QueryValue x -> QueryValue

ToJSON QueryValue

Defined in Polysemy.Http.Data.Request

Methods

toJSON :: QueryValue -> Value

toEncoding :: QueryValue -> Encoding

toJSONList :: [QueryValue] -> Value

toEncodingList :: [QueryValue] -> Encoding

FromJSON QueryValue

Defined in Polysemy.Http.Data.Request

Methods

parseJSON :: Value -> Parser QueryValue

parseJSONList :: Value -> Parser [QueryValue]

type Rep QueryValue

Defined in Polysemy.Http.Data.Request

type Rep QueryValue = D1 ('MetaData "QueryValue" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "QueryValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "unQueryValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Body

Request body, using LByteString because it is what encode produces.

Constructors

Body

Fields

• unBody :: LByteString

Instances

Eq Body

Defined in Polysemy.Http.Data.Request

Methods

(==) :: Body -> Body -> Bool

(/=) :: Body -> Body -> Bool

Show Body

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> Body -> ShowS

show :: Body -> String

showList :: [Body] -> ShowS

IsString Body

Defined in Polysemy.Http.Data.Request

Methods

fromString :: String -> Body

Generic Body

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep Body :: Type -> Type

Methods

from :: Body -> Rep Body x

to :: Rep Body x -> Body

type Rep Body

Defined in Polysemy.Http.Data.Request

type Rep Body = D1 ('MetaData "Body" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Body" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LByteString)))

data Request

HTTP request parameters, used by Http.

Constructors

Request

Fields

• _method :: Method
• _host :: Host
• _port :: Maybe Port
• _tls :: Tls
• _path :: Path
• _headers :: [(HeaderName, HeaderValue)]
• _cookies :: CookieJar
• _query :: [(QueryKey, Maybe QueryValue)]
• _body :: Body

Instances

Eq Request

Defined in Polysemy.Http.Data.Request

Methods

(==) :: Request -> Request -> Bool

(/=) :: Request -> Request -> Bool

Show Request

Defined in Polysemy.Http.Data.Request

Methods

showsPrec :: Int -> Request -> ShowS

show :: Request -> String

showList :: [Request] -> ShowS

Generic Request

Defined in Polysemy.Http.Data.Request

Associated Types

type Rep Request :: Type -> Type

Methods

from :: Request -> Rep Request x

to :: Rep Request x -> Request

HasRequest Request

Defined in Polysemy.Http.Data.Request

Methods

request :: Lens' Request Request

body :: Lens' Request Body

cookies :: Lens' Request CookieJar

headers :: Lens' Request [(HeaderName, HeaderValue)]

host :: Lens' Request Host

method :: Lens' Request Method

path :: Lens' Request Path

port :: Lens' Request (Maybe Port)

query :: Lens' Request [(QueryKey, Maybe QueryValue)]

tls :: Lens' Request Tls

type Rep Request

Defined in Polysemy.Http.Data.Request

type Rep Request = D1 ('MetaData "Request" "Polysemy.Http.Data.Request" "polysemy-http-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Request" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Method) :*: S1 ('MetaSel ('Just "_host") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Host)) :*: (S1 ('MetaSel ('Just "_port") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Port)) :*: S1 ('MetaSel ('Just "_tls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tls))) :*: ((S1 ('MetaSel ('Just "_path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path) :*: S1 ('MetaSel ('Just "_headers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(HeaderName, HeaderValue)])) :*: (S1 ('MetaSel ('Just "_cookies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CookieJar) :*: (S1 ('MetaSel ('Just "_query") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(QueryKey, Maybe QueryValue)]) :*: S1 ('MetaSel ('Just "_body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Body))))))