Copyright	(C) 2017- Mark Andrus Roberts
License	BSD-style (see the file LICENSE)
Maintainer	Mark Andrus Roberts <markandrusroberts@gmail.com>
Stability	provisional
Safe Haskell	None
Language	Haskell98

Twilio.Internal.Request

Description

Synopsis

Documentation

newtype RequestF a #

RequestF represents an HTTP request and stores a continuaton for the eventual Response to the request.

Constructors

RequestF (Request, Response ByteString -> a)

Instances

Functor RequestF #
Methods fmap :: (a -> b) -> RequestF a -> RequestF b # (<$) :: a -> RequestF b -> RequestF a #
Generic (RequestF a) #
Associated Types type Rep (RequestF a) :: * -> * # Methods from :: RequestF a -> Rep (RequestF a) x # to :: Rep (RequestF a) x -> RequestF a #
type Rep (RequestF a) #
type Rep (RequestF a) = D1 (MetaData "RequestF" "Twilio.Internal.Request" "twilio-0.3.0.0-5MJriwViwXZ5B3Ok1irAlv" True) (C1 (MetaCons "RequestF" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Request, Response ByteString -> a))))

newtype RequestT m a #

RequestT m a augments an existing monad m with the ability to perform HTTP requests for Resources.

Constructors

RequestT
Fields runRequestT :: FreeT RequestF m a

Instances

MonadTrans RequestT #
Methods lift :: Monad m => m a -> RequestT m a #
Monad m => Monad (RequestT m) #
Methods (>>=) :: RequestT m a -> (a -> RequestT m b) -> RequestT m b # (>>) :: RequestT m a -> RequestT m b -> RequestT m b # return :: a -> RequestT m a # fail :: String -> RequestT m a #
Monad m => Functor (RequestT m) #
Methods fmap :: (a -> b) -> RequestT m a -> RequestT m b # (<$) :: a -> RequestT m b -> RequestT m a #
Monad m => Applicative (RequestT m) #
Methods pure :: a -> RequestT m a # (<>) :: RequestT m (a -> b) -> RequestT m a -> RequestT m b # (>) :: RequestT m a -> RequestT m b -> RequestT m b # (<*) :: RequestT m a -> RequestT m b -> RequestT m a #
MonadIO m => MonadIO (RequestT m) #
Methods liftIO :: IO a -> RequestT m a #
Monad m => MonadRequest (RequestT m) #
Methods request :: (Response ByteString -> RequestT m a) -> Request -> RequestT m a #
Generic (RequestT m a) #
Associated Types type Rep (RequestT m a) :: * -> * # Methods from :: RequestT m a -> Rep (RequestT m a) x # to :: Rep (RequestT m a) x -> RequestT m a #
type Rep (RequestT m a) #
type Rep (RequestT m a) = D1 (MetaData "RequestT" "Twilio.Internal.Request" "twilio-0.3.0.0-5MJriwViwXZ5B3Ok1irAlv" True) (C1 (MetaCons "RequestT" PrefixI True) (S1 (MetaSel (Just Symbol "runRequestT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (FreeT RequestF m a))))

class Monad m => MonadRequest m where #

Minimal complete definition

Methods

request :: (Response ByteString -> m a) -> Request -> m a #

Instances

Monad m => MonadRequest (RequestT m) #
Methods request :: (Response ByteString -> RequestT m a) -> Request -> RequestT m a #
Monad m => MonadRequest (TwilioT m) #
Methods request :: (Response ByteString -> TwilioT m a) -> Request -> TwilioT m a #

baseURL :: Text #

A dummy interpreter

runRequest' :: MonadIO m => (Text, Text) -> RequestT m a -> m a #