Safe Haskell	None
Language	Haskell98

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 #
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 # (>) :: 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, 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) #
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 #