Safe Haskell	None
Language	Haskell2010

Polysemy.Http

Contents

Interpreters
Request and Response
Streaming
Entity
Utilities
- Connection Pool

Description

Synopsis

data Http c :: Effect
response :: forall c r a. Member (Http c) r => Request -> (Response c -> Sem r a) -> Sem r (Either HttpError a)
request :: forall c r. Member (Http c) r => Request -> Sem r (Either HttpError (Response LByteString))
stream :: forall c r a. Member (Http c) r => Request -> (Response c -> Sem r a) -> Sem r (Either HttpError a)
interpretHttpNative :: Members [Embed IO, Log, Resource] r => InterpreterFor (Http BodyReader) r
interpretHttpPure :: Member (Embed IO) r => [Response LByteString] -> [ByteString] -> InterpretersFor [Http LByteString, State [Response LByteString], State [ByteString]] r
data Method
- = Get
- | Post
- | Put
- | Delete
- | Head
- | Trace
- | Connect
- | Options
- | Patch
- | Custom Text
newtype Host = Host {
- unHost :: Text
}
newtype Port = Port {
- unPort :: Int
}
newtype Tls = Tls {
- unTls :: Bool
}
newtype Path = Path {
- unPath :: Text
}
newtype QueryKey = QueryKey {
- unQueryKey :: Text
}
newtype QueryValue = QueryValue {
- unQueryValue :: Text
}
data Request = Request Method Host (Maybe Port) Tls Path [(HeaderName, HeaderValue)] CookieJar [(QueryKey, Maybe QueryValue)] Body
newtype Body = Body {
- unBody :: LByteString
}
data Response b = Response Status b [Header] CookieJar
pattern Server :: Status -> b -> [Header] -> Response b
pattern Client :: Status -> b -> [Header] -> Response b
pattern Redirect :: Status -> b -> [Header] -> Response b
pattern Success :: Status -> b -> [Header] -> Response b
pattern Info :: Status -> b -> [Header] -> Response b
newtype HeaderName = HeaderName {
- unHeaderName :: Text
}
newtype HeaderValue = HeaderValue {
- unHeaderValue :: Text
}
data Header = Header {
- name :: HeaderName
- value :: HeaderValue
}
withPort :: Maybe Port -> Tls -> Method -> Host -> Path -> Body -> Request
withTls :: Tls -> Method -> Host -> Path -> Body -> Request
simple :: Method -> Host -> Path -> Body -> Request
get :: Host -> Path -> Request
post :: Host -> Path -> Body -> Request
put :: Host -> Path -> Body -> Request
delete :: Host -> Path -> Request
fromUrl :: Method -> Body -> Text -> Either Text Request
getUrl :: Text -> Either Text Request
postUrl :: Body -> Text -> Either Text Request
putUrl :: Body -> Text -> Either Text Request
deleteUrl :: Text -> Either Text Request
cookie :: Text -> Text -> Text -> Cookie
addCookies :: [Cookie] -> Request -> Request
addCookie :: Text -> Text -> Text -> Request -> Request
data HttpError
- = ChunkFailed Text
- | Internal Text
streamResponse :: Members [Http c, Error HttpError, Resource] r => Request -> (forall x. StreamEvent o c h x -> Sem r x) -> Sem r o
data StreamEvent r c h a where
- Acquire :: Response c -> StreamEvent r c h h
- Chunk :: h -> StreamChunk -> StreamEvent r c h ()
- Result :: Response c -> h -> StreamEvent r c h r
- Release :: h -> StreamEvent r c h ()
data EntityDecode d :: Effect
decode :: forall d r. Member (EntityDecode d) r => LByteString -> Sem r (Either EntityError d)
decodeStrict :: forall d r. Member (EntityDecode d) r => ByteString -> Sem r (Either EntityError d)
data EntityEncode d :: Effect
encode :: forall d r. Member (EntityEncode d) r => d -> Sem r LByteString
encodeStrict :: forall d r. Member (EntityEncode d) r => d -> Sem r ByteString
type family Entities es r :: Constraint where ...
data Decode a
data Encode a
type family Decoders ds r :: Constraint where ...
type family Encoders es r :: Constraint where ...
data EntityError = EntityError Text Text
interpretEntityEncodeAesonAs :: ToJSON j => (d -> j) -> Sem (EntityEncode d ': r) a -> Sem r a
interpretEntityEncodeAeson :: ToJSON d => Sem (EntityEncode d ': r) a -> Sem r a
interpretEntityDecodeAesonAs :: FromJSON j => (j -> d) -> Sem (EntityDecode d ': r) a -> Sem r a
interpretEntityDecodeAeson :: FromJSON d => Sem (EntityDecode d ': r) a -> Sem r a
data Manager :: Effect
interpretManager :: Member (Embed IO) r => InterpreterFor Manager r
jsonRequest :: Member (Http c) r => Request -> Sem r (Either HttpError (Response LByteString))

Documentation

A basic Polysemy effect abstracting HTTP requests:

import Polysemy (resourceToIO, runM)
import Polysemy.Log (interpretLogStdout)
import qualified Polysemy.Http as Http
import Polysemy.Http (interpretHttpNative, interpretLogStdout)

main :: IO ()
main = do
  result <- runM $
    resourceToIO $
    interpretLogStdout $
    interpretHttpNative $
    Http.request (Http.get "hackage.haskell.org" "package/polysemy-http")
  print result

data Http c :: Effect Source #

The main effect for HTTP requests. The parameter c determines the representation of raw chunks.

Instances

Instances details

type DefiningModule Http Source #
Instance details Defined in Polysemy.Http.Effect.Http type DefiningModule Http = "Polysemy.Http.Effect.Http"

response :: forall c r a. Member (Http c) r => Request -> (Response c -> Sem r a) -> Sem r (Either HttpError a) Source #

Bracket a higher-order action with a Response that has been opened while its body hasn't been fetched.

request :: forall c r. Member (Http c) r => Request -> Sem r (Either HttpError (Response LByteString)) Source #

Synchronously run an HTTP request and return the response.

stream :: forall c r a. Member (Http c) r => Request -> (Response c -> Sem r a) -> Sem r (Either HttpError a) Source #

Open a connection without consuming data and pass the response to a handler for custom transmission. The intended purpose is to allow streaming transfers.

Interpreters

interpretHttpNative :: Members [Embed IO, Log, Resource] r => InterpreterFor (Http BodyReader) r Source #

Interpret Http BodyReader using the native Client implementation. BodyReader is an alias for IO ByteString, it is how http-client represents chunks. This uses the default interpreter for Manager.

interpretHttpPure Source #

Arguments

:: Member (Embed IO) r
=> [Response LByteString]	When a request is made, one response is popped of the list and returned. If the list is exhausted, a 502 response is returned.
-> [ByteString]	Chunks used for streaming responses.
-> InterpretersFor [Http LByteString, State [Response LByteString], State [ByteString]] r

In-Memory interpreter for Http.

Request and Response

data Method Source #

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

Instances details

Eq Method Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: Method -> Method -> Bool # (/=) :: Method -> Method -> Bool #
Show Method Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> Method -> ShowS # show :: Method -> String # showList :: [Method] -> ShowS #
IsString Method Source #
Instance details Defined in Polysemy.Http.Data.Request Methods fromString :: String -> Method #
ToJSON Method Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toJSON :: Method -> Value # toEncoding :: Method -> Encoding # toJSONList :: [Method] -> Value # toEncodingList :: [Method] -> Encoding #
FromJSON Method Source #
Instance details Defined in Polysemy.Http.Data.Request Methods parseJSON :: Value -> Parser Method # parseJSONList :: Value -> Parser [Method] #

newtype Host Source #

Request host name.

Constructors

Host
Fields unHost :: Text

Instances

Instances details

Eq Host Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: Host -> Host -> Bool # (/=) :: Host -> Host -> Bool #
Show Host Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> Host -> ShowS # show :: Host -> String # showList :: [Host] -> ShowS #
IsString Host Source #
Instance details Defined in Polysemy.Http.Data.Request Methods fromString :: String -> Host #
Generic Host Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toJSON :: Host -> Value # toEncoding :: Host -> Encoding # toJSONList :: [Host] -> Value # toEncodingList :: [Host] -> Encoding #
FromJSON Host Source #
Instance details Defined in Polysemy.Http.Data.Request Methods parseJSON :: Value -> Parser Host # parseJSONList :: Value -> Parser [Host] #
type Rep Host Source #
Instance details 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 Source #

Request port.

Constructors

Port
Fields unPort :: Int

Instances

Instances details

Enum Port Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: Port -> Port -> Bool # (/=) :: Port -> Port -> Bool #
Integral Port Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods readsPrec :: Int -> ReadS Port # readList :: ReadS [Port] # readPrec :: ReadPrec Port # readListPrec :: ReadPrec [Port] #
Real Port Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toRational :: Port -> Rational #
Show Port Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> Port -> ShowS # show :: Port -> String # showList :: [Port] -> ShowS #
Generic Port Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toJSON :: Port -> Value # toEncoding :: Port -> Encoding # toJSONList :: [Port] -> Value # toEncodingList :: [Port] -> Encoding #
FromJSON Port Source #
Instance details Defined in Polysemy.Http.Data.Request Methods parseJSON :: Value -> Parser Port # parseJSONList :: Value -> Parser [Port] #
type Rep Port Source #
Instance details 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 Source #

A flag that indicates whether a request should use TLS.

Constructors

Tls
Fields unTls :: Bool

Instances

Instances details

Eq Tls Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: Tls -> Tls -> Bool # (/=) :: Tls -> Tls -> Bool #
Show Tls Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> Tls -> ShowS # show :: Tls -> String # showList :: [Tls] -> ShowS #
Generic Tls Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toJSON :: Tls -> Value # toEncoding :: Tls -> Encoding # toJSONList :: [Tls] -> Value # toEncodingList :: [Tls] -> Encoding #
FromJSON Tls Source #
Instance details Defined in Polysemy.Http.Data.Request Methods parseJSON :: Value -> Parser Tls # parseJSONList :: Value -> Parser [Tls] #
type Rep Tls Source #
Instance details 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 Source #

Rrequest path.

Constructors

Path
Fields unPath :: Text

Instances

Instances details

Eq Path Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #
Show Path Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
IsString Path Source #
Instance details Defined in Polysemy.Http.Data.Request Methods fromString :: String -> Path #
Generic Path Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (<>) :: Path -> Path -> Path # sconcat :: NonEmpty Path -> Path # stimes :: Integral b => b -> Path -> Path #
Monoid Path Source #
Instance details Defined in Polysemy.Http.Data.Request Methods mempty :: Path # mappend :: Path -> Path -> Path # mconcat :: [Path] -> Path #
ToJSON Path Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toJSON :: Path -> Value # toEncoding :: Path -> Encoding # toJSONList :: [Path] -> Value # toEncodingList :: [Path] -> Encoding #
FromJSON Path Source #
Instance details Defined in Polysemy.Http.Data.Request Methods parseJSON :: Value -> Parser Path # parseJSONList :: Value -> Parser [Path] #
type Rep Path Source #
Instance details 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 Source #

The key of a query parameter.

Constructors

QueryKey
Fields unQueryKey :: Text

Instances

Instances details

Eq QueryKey Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: QueryKey -> QueryKey -> Bool # (/=) :: QueryKey -> QueryKey -> Bool #
Show QueryKey Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> QueryKey -> ShowS # show :: QueryKey -> String # showList :: [QueryKey] -> ShowS #
IsString QueryKey Source #
Instance details Defined in Polysemy.Http.Data.Request Methods fromString :: String -> QueryKey #
Generic QueryKey Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toJSON :: QueryKey -> Value # toEncoding :: QueryKey -> Encoding # toJSONList :: [QueryKey] -> Value # toEncodingList :: [QueryKey] -> Encoding #
FromJSON QueryKey Source #
Instance details Defined in Polysemy.Http.Data.Request Methods parseJSON :: Value -> Parser QueryKey # parseJSONList :: Value -> Parser [QueryKey] #
type Rep QueryKey Source #
Instance details 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 Source #

The value of a query parameter.

Constructors

QueryValue
Fields unQueryValue :: Text

Instances

Instances details

Eq QueryValue Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: QueryValue -> QueryValue -> Bool # (/=) :: QueryValue -> QueryValue -> Bool #
Show QueryValue Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> QueryValue -> ShowS # show :: QueryValue -> String # showList :: [QueryValue] -> ShowS #
IsString QueryValue Source #
Instance details Defined in Polysemy.Http.Data.Request Methods fromString :: String -> QueryValue #
Generic QueryValue Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods toJSON :: QueryValue -> Value # toEncoding :: QueryValue -> Encoding # toJSONList :: [QueryValue] -> Value # toEncodingList :: [QueryValue] -> Encoding #
FromJSON QueryValue Source #
Instance details Defined in Polysemy.Http.Data.Request Methods parseJSON :: Value -> Parser QueryValue # parseJSONList :: Value -> Parser [QueryValue] #
type Rep QueryValue Source #
Instance details 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)))

data Request Source #

HTTP request parameters, used by Http.

Constructors

Request Method Host (Maybe Port) Tls Path [(HeaderName, HeaderValue)] CookieJar [(QueryKey, Maybe QueryValue)] Body

Instances

Instances details

Eq Request Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: Request -> Request -> Bool # (/=) :: Request -> Request -> Bool #
Show Request Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> Request -> ShowS # show :: Request -> String # showList :: [Request] -> ShowS #
Generic Request Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Http.Data.Request Methods request :: Lens' Request Request Source # body :: Lens' Request Body Source # cookies :: Lens' Request CookieJar Source # headers :: Lens' Request [(HeaderName, HeaderValue)] Source # host :: Lens' Request Host Source # method :: Lens' Request Method Source # path :: Lens' Request Path Source # port :: Lens' Request (Maybe Port) Source # query :: Lens' Request [(QueryKey, Maybe QueryValue)] Source # tls :: Lens' Request Tls Source #
type Rep Request Source #
Instance details 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))))))

newtype Body Source #

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

Constructors

Body
Fields unBody :: LByteString

Instances

Instances details

Eq Body Source #
Instance details Defined in Polysemy.Http.Data.Request Methods (==) :: Body -> Body -> Bool # (/=) :: Body -> Body -> Bool #
Show Body Source #
Instance details Defined in Polysemy.Http.Data.Request Methods showsPrec :: Int -> Body -> ShowS # show :: Body -> String # showList :: [Body] -> ShowS #
IsString Body Source #
Instance details Defined in Polysemy.Http.Data.Request Methods fromString :: String -> Body #
Generic Body Source #
Instance details 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 Source #
Instance details 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 Response b Source #

The response produced by Http.

Constructors

Response Status b [Header] CookieJar

Instances

Instances details

Eq b => Eq (Response b) Source #
Instance details Defined in Polysemy.Http.Data.Response Methods (==) :: Response b -> Response b -> Bool # (/=) :: Response b -> Response b -> Bool #
Show b => Show (Response b) Source #
Instance details Defined in Polysemy.Http.Data.Response Methods showsPrec :: Int -> Response b -> ShowS # show :: Response b -> String # showList :: [Response b] -> ShowS #
Show (Response BodyReader) Source #
Instance details Defined in Polysemy.Http.Data.Response Methods showsPrec :: Int -> Response BodyReader -> ShowS # show :: Response BodyReader -> String # showList :: [Response BodyReader] -> ShowS #

pattern Server :: Status -> b -> [Header] -> Response b Source #

Match on a response with a 5xx status.

pattern Client :: Status -> b -> [Header] -> Response b Source #

Match on a response with a 4xx status.

pattern Redirect :: Status -> b -> [Header] -> Response b Source #

Match on a response with a 3xx status.

pattern Success :: Status -> b -> [Header] -> Response b Source #

Match on a response with a 2xx status.

pattern Info :: Status -> b -> [Header] -> Response b Source #

Match on a response with a 1xx status.

newtype HeaderName Source #

The name of a header.

Constructors

HeaderName
Fields unHeaderName :: Text

Instances

Instances details

Eq HeaderName Source #
Instance details Defined in Polysemy.Http.Data.Header Methods (==) :: HeaderName -> HeaderName -> Bool # (/=) :: HeaderName -> HeaderName -> Bool #
Show HeaderName Source #
Instance details Defined in Polysemy.Http.Data.Header Methods showsPrec :: Int -> HeaderName -> ShowS # show :: HeaderName -> String # showList :: [HeaderName] -> ShowS #
IsString HeaderName Source #
Instance details Defined in Polysemy.Http.Data.Header Methods fromString :: String -> HeaderName #
Generic HeaderName Source #
Instance details Defined in Polysemy.Http.Data.Header Associated Types type Rep HeaderName :: Type -> Type # Methods from :: HeaderName -> Rep HeaderName x # to :: Rep HeaderName x -> HeaderName #
ToJSON HeaderName Source #
Instance details Defined in Polysemy.Http.Data.Header Methods toJSON :: HeaderName -> Value # toEncoding :: HeaderName -> Encoding # toJSONList :: [HeaderName] -> Value # toEncodingList :: [HeaderName] -> Encoding #
FromJSON HeaderName Source #
Instance details Defined in Polysemy.Http.Data.Header Methods parseJSON :: Value -> Parser HeaderName # parseJSONList :: Value -> Parser [HeaderName] #
type Rep HeaderName Source #
Instance details Defined in Polysemy.Http.Data.Header type Rep HeaderName = D1 ('MetaData "HeaderName" "Polysemy.Http.Data.Header" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "HeaderName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHeaderName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype HeaderValue Source #

The value of a header.

Constructors

HeaderValue
Fields unHeaderValue :: Text

Instances

Instances details

Eq HeaderValue Source #
Instance details Defined in Polysemy.Http.Data.Header Methods (==) :: HeaderValue -> HeaderValue -> Bool # (/=) :: HeaderValue -> HeaderValue -> Bool #
Show HeaderValue Source #
Instance details Defined in Polysemy.Http.Data.Header Methods showsPrec :: Int -> HeaderValue -> ShowS # show :: HeaderValue -> String # showList :: [HeaderValue] -> ShowS #
IsString HeaderValue Source #
Instance details Defined in Polysemy.Http.Data.Header Methods fromString :: String -> HeaderValue #
Generic HeaderValue Source #
Instance details Defined in Polysemy.Http.Data.Header Associated Types type Rep HeaderValue :: Type -> Type # Methods from :: HeaderValue -> Rep HeaderValue x # to :: Rep HeaderValue x -> HeaderValue #
ToJSON HeaderValue Source #
Instance details Defined in Polysemy.Http.Data.Header Methods toJSON :: HeaderValue -> Value # toEncoding :: HeaderValue -> Encoding # toJSONList :: [HeaderValue] -> Value # toEncodingList :: [HeaderValue] -> Encoding #
FromJSON HeaderValue Source #
Instance details Defined in Polysemy.Http.Data.Header Methods parseJSON :: Value -> Parser HeaderValue # parseJSONList :: Value -> Parser [HeaderValue] #
type Rep HeaderValue Source #
Instance details Defined in Polysemy.Http.Data.Header type Rep HeaderValue = D1 ('MetaData "HeaderValue" "Polysemy.Http.Data.Header" "polysemy-http-0.5.0.0-inplace" 'True) (C1 ('MetaCons "HeaderValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHeaderValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Header Source #

An HTTP header.

Constructors

Header
Fields name :: HeaderName value :: HeaderValue

Instances

withPort :: Maybe Port -> Tls -> Method -> Host -> Path -> Body -> Request Source #

Create a request with empty headers, query and cookies.

withTls :: Tls -> Method -> Host -> Path -> Body -> Request Source #

Create a request with default port and empty headers, query and cookies.

simple :: Method -> Host -> Path -> Body -> Request Source #

Create a TLS request with default port and empty headers, query and cookies.

get :: Host -> Path -> Request Source #

Create a TLS GET request with default port and empty headers, query and cookies.

post :: Host -> Path -> Body -> Request Source #

Create a TLS POST request with default port and empty headers, query and cookies.

put :: Host -> Path -> Body -> Request Source #

Create a TLS PUT request with default port and empty headers, query and cookies.

delete :: Host -> Path -> Request Source #

Create a TLS DELETE request with default port and empty headers, query and cookies.

fromUrl :: Method -> Body -> Text -> Either Text Request Source #

Parse the URL and create a request or return a parse error.

getUrl :: Text -> Either Text Request Source #

Parse URL for a GET.

postUrl :: Body -> Text -> Either Text Request Source #

Parse URL for a POST.

putUrl :: Body -> Text -> Either Text Request Source #

Parse URL for a PUT.

deleteUrl :: Text -> Either Text Request Source #

Parse URL for a DELETE.

cookie :: Text -> Text -> Text -> Cookie Source #

Create a cookie with default values.

addCookies :: [Cookie] -> Request -> Request Source #

Add multiple cookies to a request.

addCookie :: Text -> Text -> Text -> Request -> Request Source #

Add a cookie to a request, using default values.

data HttpError Source #

Indicates a critical error caused by an exception in the http-client backend.

Constructors

ChunkFailed Text
Internal Text

Instances

Instances details

Eq HttpError Source #
Instance details Defined in Polysemy.Http.Data.HttpError Methods (==) :: HttpError -> HttpError -> Bool # (/=) :: HttpError -> HttpError -> Bool #
Show HttpError Source #
Instance details Defined in Polysemy.Http.Data.HttpError Methods showsPrec :: Int -> HttpError -> ShowS # show :: HttpError -> String # showList :: [HttpError] -> ShowS #

Streaming

streamResponse :: Members [Http c, Error HttpError, Resource] r => Request -> (forall x. StreamEvent o c h x -> Sem r x) -> Sem r o Source #

Initiate a request and stream the response, calling process after connecting, for every chunk, after closing the connection, and for the return value. StreamEvent is used to indicate the stage of the request cycle.

handle ::
  StreamEvent Double (IO ByteString) Int a ->
  Sem r a
handle = \case
  StreamEvent.Acquire (Response status body headers) ->
    pure 1
  StreamEvent.Chunk handle (StreamChunk c) ->
    pure ()
  StreamEvent.Result (Response status body headers) handle ->
    pure 5.5
  StreamEvent.Release handle ->
    pure ()

>>> runInterpreters $ streamResponse (Http.get "host.com" "path/to/file") handle
5.5

data StreamEvent r c h a where Source #

Control algebra for streaming requests. r is the final return type of the stream handler, after the request is processed to completion. c is the raw chunk data type h is the handle type that identifies the active request. It is entirely controlled by the consumer and may be empty.

Constructors

Acquire :: Response c -> StreamEvent r c h h	Used when calling the handler after the request has been initiated, but no data has been read.
Chunk :: h -> StreamChunk -> StreamEvent r c h ()	Used when calling the handler for each received chunk.
Result :: Response c -> h -> StreamEvent r c h r	Used when calling the handler after the request has finished transferring. It should return the final result.
Release :: h -> StreamEvent r c h ()	Used to finalize the transfer, e.g. for resource cleanup.

Entity

data EntityDecode d :: Effect Source #

Abstraction of json decoding, potentially usable for other content types like xml.

Instances

Instances details

type DefiningModule EntityDecode Source #
Instance details Defined in Polysemy.Http.Effect.Entity type DefiningModule EntityDecode = "Polysemy.Http.Effect.Entity"

decode :: forall d r. Member (EntityDecode d) r => LByteString -> Sem r (Either EntityError d) Source #

Lazily decode a LByteString to a value of type d

decodeStrict :: forall d r. Member (EntityDecode d) r => ByteString -> Sem r (Either EntityError d) Source #

Strictly decode a ByteString to a value of type d

data EntityEncode d :: Effect Source #

Abstraction of json encoding, potentially usable for other content types like xml.

Instances

Instances details

type DefiningModule EntityEncode Source #
Instance details Defined in Polysemy.Http.Effect.Entity type DefiningModule EntityEncode = "Polysemy.Http.Effect.Entity"

encode :: forall d r. Member (EntityEncode d) r => d -> Sem r LByteString Source #

Lazily encode a value of type d to a LByteString

encodeStrict :: forall d r. Member (EntityEncode d) r => d -> Sem r ByteString Source #

Strictly encode a value of type d to a ByteString

type family Entities es r :: Constraint where ... Source #

Convenience constraint for requiring multiple entity effects, to be used like Members.

foo :: Entities [Encode Int, Decode Double] r => Sem r ()

Equations

Entities '[] r = ()
Entities (Encode d ': ds) r = (Member (EntityEncode d) r, Entities ds r)
Entities (Decode d ': ds) r = (Member (EntityDecode d) r, Entities ds r)

data Decode a Source #

Marker type to be used with Entities

data Encode a Source #

Marker type to be used with Entities

type family Decoders ds r :: Constraint where ... Source #

Convenience constraint for requiring multiple decoders.

foo :: Decoders [Int, Double] r => Sem r ()

Equations

Decoders '[] r = ()
Decoders (d ': ds) r = (Member (EntityDecode d) r, Decoders ds r)

type family Encoders es r :: Constraint where ... Source #

Convenience constraint for requiring multiple encoders.

foo :: Encoders [Int, Double] r => Sem r ()

Equations

Encoders '[] r = ()
Encoders (d ': ds) r = (Member (EntityEncode d) r, Encoders ds r)

data EntityError Source #

Generic error type for decoders.

Constructors

EntityError Text Text

Instances

Instances details

Eq EntityError Source #
Instance details Defined in Polysemy.Http.Effect.Entity Methods (==) :: EntityError -> EntityError -> Bool # (/=) :: EntityError -> EntityError -> Bool #
Show EntityError Source #
Instance details Defined in Polysemy.Http.Effect.Entity Methods showsPrec :: Int -> EntityError -> ShowS # show :: EntityError -> String # showList :: [EntityError] -> ShowS #

interpretEntityEncodeAesonAs :: ToJSON j => (d -> j) -> Sem (EntityEncode d ': r) a -> Sem r a Source #

Interpreter for EntityEncode that uses Aeson and a different codec type. The first parameter is the conversion function.

interpretEntityEncodeAeson :: ToJSON d => Sem (EntityEncode d ': r) a -> Sem r a Source #

Interpreter for EntityEncode that uses Aeson.

interpretEntityDecodeAesonAs :: FromJSON j => (j -> d) -> Sem (EntityDecode d ': r) a -> Sem r a Source #

Interpreter for EntityDecode that uses Aeson and a different codec type. The first parameter is the conversion function.

interpretEntityDecodeAeson :: FromJSON d => Sem (EntityDecode d ': r) a -> Sem r a Source #

Interpreter for EntityDecode that uses Aeson.

Utilities

Connection Pool

data Manager :: Effect Source #

This effect abstracts the creation of a Manager in order to allow pool sharing in a flexible way.

Instances

Instances details

type DefiningModule Manager Source #
Instance details Defined in Polysemy.Http.Effect.Manager type DefiningModule Manager = "Polysemy.Http.Effect.Manager"

interpretManager :: Member (Embed IO) r => InterpreterFor Manager r Source #

Trivial interpreter with a globally shared Manager instance.

jsonRequest :: Member (Http c) r => Request -> Sem r (Either HttpError (Response LByteString)) Source #

Make a request, setting the content-type header to application/json

Eq Header Source #
Instance details Defined in Polysemy.Http.Data.Header Methods (==) :: Header -> Header -> Bool # (/=) :: Header -> Header -> Bool #
Show Header Source #
Instance details Defined in Polysemy.Http.Data.Header Methods showsPrec :: Int -> Header -> ShowS # show :: Header -> String # showList :: [Header] -> ShowS #
Generic Header Source #
Instance details Defined in Polysemy.Http.Data.Header Associated Types type Rep Header :: Type -> Type # Methods from :: Header -> Rep Header x # to :: Rep Header x -> Header #
ToJSON Header Source #
Instance details Defined in Polysemy.Http.Data.Header Methods toJSON :: Header -> Value # toEncoding :: Header -> Encoding # toJSONList :: [Header] -> Value # toEncodingList :: [Header] -> Encoding #
FromJSON Header Source #
Instance details Defined in Polysemy.Http.Data.Header Methods parseJSON :: Value -> Parser Header # parseJSONList :: Value -> Parser [Header] #
type Rep Header Source #
Instance details Defined in Polysemy.Http.Data.Header type Rep Header = D1 ('MetaData "Header" "Polysemy.Http.Data.Header" "polysemy-http-0.5.0.0-inplace" 'False) (C1 ('MetaCons "Header" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeaderName) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeaderValue)))