Network.Wai.Routing.Purescheme.Core.Basic

Documentation

type GenericApplication r = Request -> (r -> IO ResponseReceived) -> IO ResponseReceived

Abstraction of Wai @Application on the type of response

data Rejection

Constructors

Rejection

Fields

• message :: Text
• priority :: Int
• status :: Status
• headers :: ResponseHeaders

Instances

Show Rejection

Defined in Network.Wai.Routing.Purescheme.Core.Internal

Methods

showsPrec :: Int -> Rejection -> ShowS

show :: Rejection -> String

showList :: [Rejection] -> ShowS

Exception Rejection

Defined in Network.Wai.Routing.Purescheme.Core.Internal

Methods

toException :: Rejection -> SomeException

fromException :: SomeException -> Maybe Rejection

displayException :: Rejection -> String

class FromUri a where

Class of types that can be converted from the uri

Minimal complete definition

fromText

Methods

fromText :: Text -> a

fromByteString :: ByteString -> a

Instances

FromUri Bool

Defined in Network.Wai.Routing.Purescheme.Core.Basic

Methods

fromText :: Text -> Bool

fromByteString :: ByteString -> Bool

FromUri Int

Defined in Network.Wai.Routing.Purescheme.Core.Basic

Methods

fromText :: Text -> Int

fromByteString :: ByteString -> Int

FromUri Int32

Defined in Network.Wai.Routing.Purescheme.Core.Basic

Methods

fromText :: Text -> Int32

fromByteString :: ByteString -> Int32

FromUri Int64

Defined in Network.Wai.Routing.Purescheme.Core.Basic

Methods

fromText :: Text -> Int64

fromByteString :: ByteString -> Int64

FromUri Text

Defined in Network.Wai.Routing.Purescheme.Core.Basic

Methods

fromText :: Text -> Text

fromByteString :: ByteString -> Text

FromUri Text

Defined in Network.Wai.Routing.Purescheme.Core.Basic

Methods

fromText :: Text0 -> Text

fromByteString :: ByteString -> Text

class HasResponseHeaders a where

Class which instaances contains response heaaders

Methods

mapResponseHeaders :: (ResponseHeaders -> ResponseHeaders) -> a -> a

Instances

HasResponseHeaders Response

Defined in Network.Wai.Routing.Purescheme.Core.Basic

Methods

mapResponseHeaders :: (ResponseHeaders -> ResponseHeaders) -> Response -> Response

HasResponseHeaders NegotiatedResponse

Defined in Network.Wai.Routing.Purescheme.Core.Entity

Methods

mapResponseHeaders :: (ResponseHeaders -> ResponseHeaders) -> NegotiatedResponse -> NegotiatedResponse

HasResponseHeaders (EntityResponse a)

Defined in Network.Wai.Routing.Purescheme.Core.Entity

Methods

mapResponseHeaders :: (ResponseHeaders -> ResponseHeaders) -> EntityResponse a -> EntityResponse a

alternatives :: [GenericApplication r] -> GenericApplication r

Combines multiple generic applications in one This function will try every application for each request, and return the first response that does not fail

In case of rejections (Reection thrown), it will rethrown the first exception with higher priority

handleException :: Exception e => (e -> GenericApplication a) -> GenericApplication a -> GenericApplication a

Capture exceptions and convert to generic applications

withDefaultExceptionHandler :: GenericApplication Response -> GenericApplication Response

By default capture all @Rejection and convert them in specific responses the content type returned is 'text/plain" and the body will contain the error message

complete :: a -> GenericApplication a

Ends the request responding with the argument

completeIO :: IO a -> GenericApplication a

Ends the request excuting the provided IO and responding the result of the IO

mapResponse :: (a -> b) -> GenericApplication a -> GenericApplication b

Maps a response type to another response type

withRequest :: (Request -> GenericApplication a) -> GenericApplication a

Pass the request to the provided function

withIO :: IO a -> (a -> GenericApplication b) -> GenericApplication b

Execute an IO Action and pass it to the provided function