Belka.ParseHead

Documentation

newtype ParseHead a

Constructors

ParseHead (ExceptT Text (ReaderT (Response BodyReader) IO) a)

Instances

Monad ParseHead

Methods

(>>=) :: ParseHead a -> (a -> ParseHead b) -> ParseHead b

(>>) :: ParseHead a -> ParseHead b -> ParseHead b

return :: a -> ParseHead a

fail :: String -> ParseHead a

Functor ParseHead

Methods

fmap :: (a -> b) -> ParseHead a -> ParseHead b

(<$) :: a -> ParseHead b -> ParseHead a

Applicative ParseHead

Methods

pure :: a -> ParseHead a

(<*>) :: ParseHead (a -> b) -> ParseHead a -> ParseHead b

liftA2 :: (a -> b -> c) -> ParseHead a -> ParseHead b -> ParseHead c

(*>) :: ParseHead a -> ParseHead b -> ParseHead b

(<*) :: ParseHead a -> ParseHead b -> ParseHead a

Alternative ParseHead

Methods

empty :: ParseHead a

(<|>) :: ParseHead a -> ParseHead a -> ParseHead a

some :: ParseHead a -> ParseHead [a]

many :: ParseHead a -> ParseHead [a]

MonadPlus ParseHead

Methods

mzero :: ParseHead a

mplus :: ParseHead a -> ParseHead a -> ParseHead a

MonadIO ParseHead

Methods

liftIO :: IO a -> ParseHead a

MonadError Text ParseHead

Methods

throwError :: Text -> ParseHead a

catchError :: ParseHead a -> (Text -> ParseHead a) -> ParseHead a

liftIOFn :: (Response BodyReader -> IO (Either Text a)) -> ParseHead a

liftPureFn :: (Response BodyReader -> Either Text a) -> ParseHead a

liftTotalFn :: (Response BodyReader -> a) -> ParseHead a

getStatus :: ParseHead Int

parseHeaders :: ParseHeaders headers -> ParseHead headers