Lucu-0.1: HTTP Daemonic Library



Aborting the computation of Network.HTTP.Lucu.Resource.Resource in any IO monads or arrows.



data Abortion Source




aboStatus :: !StatusCode
aboHeaders :: !Headers
aboMessage :: !(Maybe String)

abort :: MonadIO m => StatusCode -> [(String, String)] -> Maybe String -> m aSource

Computation of abort status headers msg aborts the Network.HTTP.Lucu.Resource.Resource monad with given status, additional response headers, and optional message string.

What this really does is to just throw a special DynException. The exception will be caught by the Lucu.

  1. If the Network.HTTP.Lucu.Resource.Resource is in the /Deciding Header/ or any precedent states, it is possible to use the status and such like as a HTTP response to be sent to the client.
  2. Otherwise the HTTP response can't be modified anymore so the only possible thing the system can do is to dump it to the stderr. See cnfDumpTooLateAbortionToStderr.

Note that the status code doesn't have to be an error code so you can use this action for redirection as well as error reporting e.g.

 abort MovedPermanently
       [("Location", "")]
       (Just "It has been moved to")

abortPurely :: StatusCode -> [(String, String)] -> Maybe String -> aSource

This is similar to abort but computes it with unsafePerformIO.

abortSTM :: StatusCode -> [(String, String)] -> Maybe String -> STM aSource

Computation of abortSTM status headers msg just computes abort in a Control.Monad.STM.STM monad.

abortA :: ArrowIO a => a (StatusCode, ([(String, String)], Maybe String)) cSource

Computation of abortA -< (status, (headers, msg)) just computes abort in an ArrowIO.