Rest.Client.Base

Documentation

data ApiInfo

Constructors

ApiInfo

Fields

manager :: Manager

apiHost :: String

apiPort :: Int

headers :: [(String, String)]

data ApiState

Constructors

ApiState

Fields

cookies :: CookieJar

newtype ApiT m a

Constructors

ApiT

Fields

unApiT :: StateT ApiState (ReaderT ApiInfo (ResourceT m)) a

Instances

MonadTrans ApiT

MonadTransControl ApiT

MonadBase b m => MonadBase b (ApiT m)

MonadBaseControl v m => MonadBaseControl v (ApiT m)

Monad m => Monad (ApiT m)

Functor m => Functor (ApiT m)

Monad m => Applicative (ApiT m)

MonadThrow m => MonadThrow (ApiT m)

MonadCatch m => MonadCatch (ApiT m)

MonadIO m => MonadIO (ApiT m)

(MonadIO m, MonadThrow m, MonadBase IO m, Functor m, Applicative m) => MonadResource (ApiT m)

(MonadBaseControl IO m, Monad m, Functor m, MonadBase IO m, MonadIO m, MonadThrow m) => ApiStateC (ApiT m)

type StT ApiT a = StT ResourceT (StT (ReaderT ApiInfo) (StT (StateT ApiState) a))

type StM (ApiT m) a = ComposeSt ApiT m a

type Api = ApiT IO

class (MonadResource m, MonadBaseControl IO m, Monad m, Functor m, MonadBase IO m) => ApiStateC m where

Methods

getApiState :: m ApiState

putApiState :: ApiState -> m ()

askApiInfo :: m ApiInfo

Instances

ApiStateC m => ApiStateC (ListT m)

(MonadBaseControl IO m, Monad m, Functor m, MonadBase IO m, MonadIO m, MonadThrow m) => ApiStateC (ApiT m)

(Monoid w, ApiStateC m) => ApiStateC (WriterT w m)

ApiStateC m => ApiStateC (StateT s m)

ApiStateC m => ApiStateC (ReaderT r m)

(Error e, ApiStateC m) => ApiStateC (ErrorT e m)

ApiStateC m => ApiStateC (ExceptT e m)

(Monoid w, ApiStateC m) => ApiStateC (RWST r w s m)

runT :: (MonadBaseControl IO m, Monad m) => ApiInfo -> ApiState -> ApiT m a -> ResourceT m a

run :: String -> ApiT IO a -> IO a

runWithPort :: String -> Int -> ApiT IO a -> IO a

data ApiResponse e a

Constructors

ApiResponse

Fields

statusCode :: Int

statusMessage :: ByteString

httpVersion :: (Int, Int)

responseHeaders :: [(CI ByteString, ByteString)]

responseBody :: Either (Reason e) a

Instances

Functor (ApiResponse e)

(Show e, Show a) => Show (ApiResponse e a)

responseToMaybe :: ApiResponse e a -> Maybe a