Rest.Client.Base

Documentation

data ApiInfo

Constructors

ApiInfo

Fields

• manager :: Manager
• apiHost :: String
• apiPort :: Int
• headers :: [(String, String)]

newtype ApiState

Constructors

ApiState

Fields

• cookies :: CookieJar

newtype ApiT m a

Constructors

ApiT

Fields

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

Instances

MonadTrans ApiT

Methods

lift :: Monad m => m a -> ApiT m a

MonadTransControl ApiT

Associated Types

type StT (ApiT :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run ApiT -> m a) -> ApiT m a

restoreT :: Monad m => m (StT ApiT a) -> ApiT m a

MonadBaseControl v m => MonadBaseControl v (ApiT m)

Associated Types

type StM (ApiT m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (ApiT m) v -> v a) -> ApiT m a

restoreM :: StM (ApiT m) a -> ApiT m a

MonadBase b m => MonadBase b (ApiT m)

Methods

liftBase :: b α -> ApiT m α

Monad m => Monad (ApiT m)

Methods

(>>=) :: ApiT m a -> (a -> ApiT m b) -> ApiT m b

(>>) :: ApiT m a -> ApiT m b -> ApiT m b

return :: a -> ApiT m a

fail :: String -> ApiT m a

Functor m => Functor (ApiT m)

Methods

fmap :: (a -> b) -> ApiT m a -> ApiT m b

(<$) :: a -> ApiT m b -> ApiT m a

Monad m => Applicative (ApiT m)

Methods

pure :: a -> ApiT m a

(<*>) :: ApiT m (a -> b) -> ApiT m a -> ApiT m b

liftA2 :: (a -> b -> c) -> ApiT m a -> ApiT m b -> ApiT m c

(*>) :: ApiT m a -> ApiT m b -> ApiT m b

(<*) :: ApiT m a -> ApiT m b -> ApiT m a

MonadIO m => MonadIO (ApiT m)

Methods

liftIO :: IO a -> ApiT m a

MonadThrow m => MonadThrow (ApiT m)

Methods

throwM :: Exception e => e -> ApiT m a

MonadCatch m => MonadCatch (ApiT m)

Methods

catch :: Exception e => ApiT m a -> (e -> ApiT m a) -> ApiT m a

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

Methods

liftResourceT :: ResourceT IO a -> ApiT m a

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

Methods

getApiState :: ApiT m ApiState

putApiState :: ApiState -> ApiT m ()

askApiInfo :: ApiT m ApiInfo

type StT ApiT a

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

type StM (ApiT m) 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

Minimal complete definition

getApiState, putApiState, askApiInfo

Methods

getApiState :: m ApiState

putApiState :: ApiState -> m ()

askApiInfo :: m ApiInfo

Instances

ApiStateC m => ApiStateC (ListT m)

Methods

getApiState :: ListT m ApiState

putApiState :: ApiState -> ListT m ()

askApiInfo :: ListT m ApiInfo

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

Methods

getApiState :: ApiT m ApiState

putApiState :: ApiState -> ApiT m ()

askApiInfo :: ApiT m ApiInfo

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

Methods

getApiState :: WriterT w m ApiState

putApiState :: ApiState -> WriterT w m ()

askApiInfo :: WriterT w m ApiInfo

ApiStateC m => ApiStateC (StateT s m)

Methods

getApiState :: StateT s m ApiState

putApiState :: ApiState -> StateT s m ()

askApiInfo :: StateT s m ApiInfo

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

Methods

getApiState :: ErrorT e m ApiState

putApiState :: ApiState -> ErrorT e m ()

askApiInfo :: ErrorT e m ApiInfo

ApiStateC m => ApiStateC (ExceptT e m)

Methods

getApiState :: ExceptT e m ApiState

putApiState :: ApiState -> ExceptT e m ()

askApiInfo :: ExceptT e m ApiInfo

ApiStateC m => ApiStateC (ReaderT * r m)

Methods

getApiState :: ReaderT * r m ApiState

putApiState :: ApiState -> ReaderT * r m ()

askApiInfo :: ReaderT * r m ApiInfo

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

Methods

getApiState :: RWST r w s m ApiState

putApiState :: ApiState -> RWST r w s m ()

askApiInfo :: RWST r w s m ApiInfo

runT :: MonadBaseControl IO 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)

Methods

fmap :: (a -> b) -> ApiResponse e a -> ApiResponse e b

(<$) :: a -> ApiResponse e b -> ApiResponse e a

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

Methods

showsPrec :: Int -> ApiResponse e a -> ShowS

show :: ApiResponse e a -> String

showList :: [ApiResponse e a] -> ShowS

responseToMaybe :: ApiResponse e a -> Maybe a