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 r) (FileExtListenerT r 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.

type FileExtMap a = HashMap FileExt a

newtype FileExtListenerT r 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 r) m a

Instances

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

MonadWriter w m => MonadWriter w (FileExtListenerT r m)

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

MonadError e m => MonadError e (FileExtListenerT r m)

MonadBaseControl b m => MonadBaseControl b (FileExtListenerT r m)

MonadBase b m => MonadBase b (FileExtListenerT r m)

MonadTrans (FileExtListenerT r)

MonadTransControl (FileExtListenerT r)

MFunctor (FileExtListenerT r)

Monad m => MonadState (FileExtMap r) (FileExtListenerT r m)

Monad m => Monad (FileExtListenerT r m)

Functor m => Functor (FileExtListenerT r m)

MonadFix m => MonadFix (FileExtListenerT r m)

Monad m => Applicative (FileExtListenerT r m)

MonadPlus m => Alternative (FileExtListenerT r m)

MonadPlus m => MonadPlus (FileExtListenerT r m)

MonadIO m => MonadIO (FileExtListenerT r m)

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

MonadMask m => MonadMask (FileExtListenerT r m)

MonadLogger m => MonadLogger (FileExtListenerT r m)

MonadCont m => MonadCont (FileExtListenerT r m)

MonadCatch m => MonadCatch (FileExtListenerT r m)

MonadThrow m => MonadThrow (FileExtListenerT r m)

type StT (FileExtListenerT r) a = StT (StateT (FileExtMap r)) a

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

execFileExtListenerT :: Monad m => FileExtListenerT r m a -> m (FileExtMap r)

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 => r -> FileExtListenerT r m ()

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

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