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

newtype RequestF a = RequestF (Request, Response ByteString -> a)
newtype RequestT m a = RequestT {
- runRequestT :: FreeT RequestF m a
}
class Monad m => MonadRequest m where
- request :: (Response ByteString -> m a) -> Request -> m a
baseURL :: Text
runRequest' :: MonadIO m => (Text, Text) -> RequestT m a -> m a

Documentation

newtype RequestF a Source #

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 Source #
Instance details Defined in Twilio.Internal.Request Methods fmap :: (a -> b) -> RequestF a -> RequestF b # (<$) :: a -> RequestF b -> RequestF a #
Generic (RequestF a) Source #
Instance details Defined in Twilio.Internal.Request Associated Types type Rep (RequestF a) :: Type -> Type # Methods from :: RequestF a -> Rep (RequestF a) x # to :: Rep (RequestF a) x -> RequestF a #
type Rep (RequestF a) Source #
Instance details Defined in Twilio.Internal.Request type Rep (RequestF a) = D1 (MetaData "RequestF" "Twilio.Internal.Request" "twilio-0.3.0.0-1lpPNPa4b89HUIQeQ4pFjg" True) (C1 (MetaCons "RequestF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Request, Response ByteString -> a))))

newtype RequestT m a Source #

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 Source #
Instance details Defined in Twilio.Internal.Request Methods lift :: Monad m => m a -> RequestT m a #
Monad m => Monad (RequestT m) Source #
Instance details Defined in Twilio.Internal.Request 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) Source #
Instance details Defined in Twilio.Internal.Request Methods fmap :: (a -> b) -> RequestT m a -> RequestT m b # (<$) :: a -> RequestT m b -> RequestT m a #
Monad m => Applicative (RequestT m) Source #
Instance details Defined in Twilio.Internal.Request Methods pure :: a -> RequestT m a # (<>) :: RequestT m (a -> b) -> RequestT m a -> RequestT m b # liftA2 :: (a -> b -> c) -> RequestT m a -> RequestT m b -> RequestT m c # (>) :: RequestT m a -> RequestT m b -> RequestT m b # (<*) :: RequestT m a -> RequestT m b -> RequestT m a #
MonadIO m => MonadIO (RequestT m) Source #
Instance details Defined in Twilio.Internal.Request Methods liftIO :: IO a -> RequestT m a #
Monad m => MonadRequest (RequestT m) Source #
Instance details Defined in Twilio.Internal.Request Methods request :: (Response ByteString -> RequestT m a) -> Request -> RequestT m a Source #
Generic (RequestT m a) Source #
Instance details Defined in Twilio.Internal.Request Associated Types type Rep (RequestT m a) :: Type -> Type # Methods from :: RequestT m a -> Rep (RequestT m a) x # to :: Rep (RequestT m a) x -> RequestT m a #
type Rep (RequestT m a) Source #
Instance details Defined in Twilio.Internal.Request type Rep (RequestT m a) = D1 (MetaData "RequestT" "Twilio.Internal.Request" "twilio-0.3.0.0-1lpPNPa4b89HUIQeQ4pFjg" True) (C1 (MetaCons "RequestT" PrefixI True) (S1 (MetaSel (Just "runRequestT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (FreeT RequestF m a))))

class Monad m => MonadRequest m where Source #

Methods

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

Instances

Monad m => MonadRequest (RequestT m) Source #
Instance details Defined in Twilio.Internal.Request Methods request :: (Response ByteString -> RequestT m a) -> Request -> RequestT m a Source #
Monad m => MonadRequest (TwilioT m) Source #
Instance details Defined in Control.Monad.Twilio Methods request :: (Response ByteString -> TwilioT m a) -> Request -> TwilioT m a Source #

baseURL :: Text Source #

A dummy interpreter

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