Network.Wai.Middleware.ContentType.Types

Types

data FileExt

Supported file extensions

Constructors

Html

Css

JavaScript

Json

Text

Markdown

Instances

Eq FileExt

Ord FileExt

Show FileExt

Generic FileExt

Hashable FileExt

Monad m => MonadState FileExtMap (FileExtListenerT m)

type Rep FileExt

allFileExts :: [FileExt]

All file extensions, in the order of likeliness

getFileExt :: [Text] -> Maybe FileExt

Gets the known file extension from a Request's pathInfo.

toExt :: Text -> Maybe FileExt

matches a file extension (including it's prefix dot - .html for example) to a known one.

data ResponseVia

Constructors

forall a . ResponseVia

Fields

responseData :: !a

responseStatus :: !Status

responseHeaders :: !ResponseHeaders

responseFunction :: !(a -> Status -> ResponseHeaders -> Response)

Instances

Monad m => MonadState FileExtMap (FileExtListenerT m)

runResponseVia :: ResponseVia -> Response

mapStatus :: (Status -> Status) -> ResponseVia -> ResponseVia

mapHeaders :: (ResponseHeaders -> ResponseHeaders) -> ResponseVia -> ResponseVia

type FileExtMap = HashMap FileExt ResponseVia

newtype FileExtListenerT m a

The monad for our DSL - when using the combinators, our result will be this type:

myListener :: FileExtListenerT (MiddlewareT m) m ()
myListener = do
  text "Text!"
  json ("Json!" :: T.Text)

Constructors

FileExtListenerT

Fields

runFileExtListenerT :: StateT FileExtMap m a

Instances

MonadTrans FileExtListenerT

MonadTransControl FileExtListenerT

MFunctor FileExtListenerT

(Monad m, MonadUrl b f m) => MonadUrl b f (FileExtListenerT m)

Monad m => MonadState FileExtMap (FileExtListenerT m)

MonadWriter w m => MonadWriter w (FileExtListenerT m)

MonadReader r' m => MonadReader r' (FileExtListenerT m)

MonadError e m => MonadError e (FileExtListenerT m)

MonadBaseControl b m => MonadBaseControl b (FileExtListenerT m)

MonadBase b m => MonadBase b (FileExtListenerT m)

Monad m => Monad (FileExtListenerT m)

Functor m => Functor (FileExtListenerT m)

MonadFix m => MonadFix (FileExtListenerT m)

Monad m => Applicative (FileExtListenerT m)

MonadPlus m => Alternative (FileExtListenerT m)

MonadPlus m => MonadPlus (FileExtListenerT m)

MonadIO m => MonadIO (FileExtListenerT m)

(MonadResource m, MonadBase IO m) => MonadResource (FileExtListenerT m)

MonadMask m => MonadMask (FileExtListenerT m)

MonadLogger m => MonadLogger (FileExtListenerT m)

MonadCont m => MonadCont (FileExtListenerT m)

MonadCatch m => MonadCatch (FileExtListenerT m)

MonadThrow m => MonadThrow (FileExtListenerT m)

type StT FileExtListenerT a = StT (StateT FileExtMap) a

type StM (FileExtListenerT m) a = ComposeSt FileExtListenerT m a

execFileExtListenerT :: Monad m => FileExtListenerT m a -> m FileExtMap

overFileExts :: Monad m => [FileExt] -> (ResponseVia -> ResponseVia) -> FileExtListenerT m a -> FileExtListenerT m a

mapFileExtMap :: Monad m => (FileExtMap -> FileExtMap) -> FileExtListenerT m a -> FileExtListenerT m a

Utilities

tell' :: (Monoid w, MonadState w m) => w -> m ()

Version of tell for StateT

type AcceptHeader = ByteString

possibleFileExts :: AcceptHeader -> [FileExt]

Takes an Accept header and returns the other file types handleable, in order of prescedence.

invalidEncoding :: Monad m => ResponseVia -> FileExtListenerT m ()

Use this combinator as the last one, as a "catch-all":

myApp = do
  text "foo"
  invalidEncoding myErrorHandler -- handles all except text/plain