Network.Wai.Middleware.ContentType

Documentation

lookupFileExt :: Maybe AcceptHeader -> Maybe FileExt -> FileExtMap -> Maybe Response

Given an HTTP Accept header and a content type to base lookups off of, and a map of responses, find a response.

fileExtsToMiddleware :: MonadBaseControl IO m stM => Extractable stM => FileExtListenerT m a -> MiddlewareT m

Re-Exports

type AcceptHeader = ByteString

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 :: ReaderT (Status -> Maybe Integer -> IO ()) (StateT FileExtMap m) a

Instances

MonadTrans FileExtListenerT

Defined in Network.Wai.Middleware.ContentType.Types

Methods

lift :: Monad m => m a -> FileExtListenerT m a

MonadTransControl FileExtListenerT

Defined in Network.Wai.Middleware.ContentType.Types

Associated Types

type StT FileExtListenerT a :: Type

Methods

liftWith :: Monad m => (Run FileExtListenerT -> m a) -> FileExtListenerT m a

restoreT :: Monad m => m (StT FileExtListenerT a) -> FileExtListenerT m a

MonadBase b m => MonadBase b (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftBase :: b α -> FileExtListenerT m α

MonadBaseControl b m => MonadBaseControl b (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Associated Types

type StM (FileExtListenerT m) a :: Type

Methods

liftBaseWith :: (RunInBase (FileExtListenerT m) b -> b a) -> FileExtListenerT m a

restoreM :: StM (FileExtListenerT m) a -> FileExtListenerT m a

MonadTransControl FileExtListenerT ((,) FileExtMap)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftWith :: Monad m => (Run FileExtListenerT ((,) FileExtMap) -> m a) -> FileExtListenerT m a

restoreT :: Monad m => m (FileExtMap, a) -> FileExtListenerT m a

MonadWriter w m => MonadWriter w (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

writer :: (a, w) -> FileExtListenerT m a

tell :: w -> FileExtListenerT m ()

listen :: FileExtListenerT m a -> FileExtListenerT m (a, w)

pass :: FileExtListenerT m (a, w -> w) -> FileExtListenerT m a

Monad m => MonadState FileExtMap (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

get :: FileExtListenerT m FileExtMap

put :: FileExtMap -> FileExtListenerT m ()

state :: (FileExtMap -> (a, FileExtMap)) -> FileExtListenerT m a

MonadReader r m => MonadReader r (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

ask :: FileExtListenerT m r

local :: (r -> r) -> FileExtListenerT m a -> FileExtListenerT m a

reader :: (r -> a) -> FileExtListenerT m a

MonadError e m => MonadError e (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

throwError :: e -> FileExtListenerT m a

catchError :: FileExtListenerT m a -> (e -> FileExtListenerT m a) -> FileExtListenerT m a

MonadBaseControl b m stM => MonadBaseControl b (FileExtListenerT m) (Compose stM ((,) FileExtMap))

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftBaseWith :: (RunInBase (FileExtListenerT m) b (Compose stM ((,) FileExtMap)) -> b a) -> FileExtListenerT m a

restoreM :: Compose stM ((,) FileExtMap) a -> FileExtListenerT m a

Monad m => Monad (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

(>>=) :: FileExtListenerT m a -> (a -> FileExtListenerT m b) -> FileExtListenerT m b

(>>) :: FileExtListenerT m a -> FileExtListenerT m b -> FileExtListenerT m b

return :: a -> FileExtListenerT m a

fail :: String -> FileExtListenerT m a

Functor m => Functor (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

fmap :: (a -> b) -> FileExtListenerT m a -> FileExtListenerT m b

(<$) :: a -> FileExtListenerT m b -> FileExtListenerT m a

MonadFix m => MonadFix (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

mfix :: (a -> FileExtListenerT m a) -> FileExtListenerT m a

Monad m => Applicative (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

pure :: a -> FileExtListenerT m a

(<*>) :: FileExtListenerT m (a -> b) -> FileExtListenerT m a -> FileExtListenerT m b

liftA2 :: (a -> b -> c) -> FileExtListenerT m a -> FileExtListenerT m b -> FileExtListenerT m c

(*>) :: FileExtListenerT m a -> FileExtListenerT m b -> FileExtListenerT m b

(<*) :: FileExtListenerT m a -> FileExtListenerT m b -> FileExtListenerT m a

MonadPlus m => Alternative (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

empty :: FileExtListenerT m a

(<|>) :: FileExtListenerT m a -> FileExtListenerT m a -> FileExtListenerT m a

some :: FileExtListenerT m a -> FileExtListenerT m [a]

many :: FileExtListenerT m a -> FileExtListenerT m [a]

MonadPlus m => MonadPlus (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

mzero :: FileExtListenerT m a

mplus :: FileExtListenerT m a -> FileExtListenerT m a -> FileExtListenerT m a

MonadIO m => MonadIO (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftIO :: IO a -> FileExtListenerT m a

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

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftResourceT :: ResourceT IO a -> FileExtListenerT m a

MonadThrow m => MonadThrow (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

throwM :: Exception e => e -> FileExtListenerT m a

MonadCatch m => MonadCatch (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

catch :: Exception e => FileExtListenerT m a -> (e -> FileExtListenerT m a) -> FileExtListenerT m a

MonadMask m => MonadMask (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

mask :: ((forall a. FileExtListenerT m a -> FileExtListenerT m a) -> FileExtListenerT m b) -> FileExtListenerT m b

uninterruptibleMask :: ((forall a. FileExtListenerT m a -> FileExtListenerT m a) -> FileExtListenerT m b) -> FileExtListenerT m b

generalBracket :: FileExtListenerT m a -> (a -> ExitCase b -> FileExtListenerT m c) -> (a -> FileExtListenerT m b) -> FileExtListenerT m (b, c)

MonadLogger m => MonadLogger (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> FileExtListenerT m ()

MonadCont m => MonadCont (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

callCC :: ((a -> FileExtListenerT m b) -> FileExtListenerT m a) -> FileExtListenerT m a

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

Defined in Network.Wai.Middleware.ContentType.Types

Methods

absDirUrl :: Path Abs Dir -> FileExtListenerT m URI

absFileUrl :: Path Abs File -> FileExtListenerT m URI

locUrl :: Location -> FileExtListenerT m URI

Monad m => Semigroup (FileExtListenerT m ())

Defined in Network.Wai.Middleware.ContentType.Types

Methods

(<>) :: FileExtListenerT m () -> FileExtListenerT m () -> FileExtListenerT m ()

sconcat :: NonEmpty (FileExtListenerT m ()) -> FileExtListenerT m ()

stimes :: Integral b => b -> FileExtListenerT m () -> FileExtListenerT m ()

Monad m => Monoid (FileExtListenerT m ())

Defined in Network.Wai.Middleware.ContentType.Types

Methods

mempty :: FileExtListenerT m ()

mappend :: FileExtListenerT m () -> FileExtListenerT m () -> FileExtListenerT m ()

mconcat :: [FileExtListenerT m ()] -> FileExtListenerT m ()

type StT FileExtListenerT a

Defined in Network.Wai.Middleware.ContentType.Types

type StT FileExtListenerT a = StT (StateT FileExtMap) (StT (ReaderT (Status -> Maybe Integer -> IO ()) :: (Type -> Type) -> Type -> Type) a)

type StM (FileExtListenerT m) a

Defined in Network.Wai.Middleware.ContentType.Types

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

type FileExtMap = HashMap FileExt ResponseVia

data ResponseVia

Constructors

ResponseVia

Fields

• responseData :: !a
• responseStatus :: !Status
• responseHeaders :: !ResponseHeaders
• responseFunction :: !(a -> Status -> ResponseHeaders -> Response)

Instances

MonadTransControl FileExtListenerT ((,) FileExtMap)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftWith :: Monad m => (Run FileExtListenerT ((,) FileExtMap) -> m a) -> FileExtListenerT m a

restoreT :: Monad m => m (FileExtMap, a) -> FileExtListenerT m a

Monad m => MonadState FileExtMap (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

get :: FileExtListenerT m FileExtMap

put :: FileExtMap -> FileExtListenerT m ()

state :: (FileExtMap -> (a, FileExtMap)) -> FileExtListenerT m a

MonadBaseControl b m stM => MonadBaseControl b (FileExtListenerT m) (Compose stM ((,) FileExtMap))

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftBaseWith :: (RunInBase (FileExtListenerT m) b (Compose stM ((,) FileExtMap)) -> b a) -> FileExtListenerT m a

restoreM :: Compose stM ((,) FileExtMap) a -> FileExtListenerT m a

data FileExt

Supported file extensions

Constructors

Html

Css

JavaScript

Json

Text

Markdown

Other !Text

excluding prefix period, i.e. foo

Instances

Eq FileExt

Defined in Network.Wai.Middleware.ContentType.Types

Methods

(==) :: FileExt -> FileExt -> Bool

(/=) :: FileExt -> FileExt -> Bool

Ord FileExt

Defined in Network.Wai.Middleware.ContentType.Types

Methods

compare :: FileExt -> FileExt -> Ordering

(<) :: FileExt -> FileExt -> Bool

(<=) :: FileExt -> FileExt -> Bool

(>) :: FileExt -> FileExt -> Bool

(>=) :: FileExt -> FileExt -> Bool

max :: FileExt -> FileExt -> FileExt

min :: FileExt -> FileExt -> FileExt

Show FileExt

Defined in Network.Wai.Middleware.ContentType.Types

Methods

showsPrec :: Int -> FileExt -> ShowS

show :: FileExt -> String

showList :: [FileExt] -> ShowS

Generic FileExt

Defined in Network.Wai.Middleware.ContentType.Types

Associated Types

type Rep FileExt :: Type -> Type

Methods

from :: FileExt -> Rep FileExt x

to :: Rep FileExt x -> FileExt

Hashable FileExt

Defined in Network.Wai.Middleware.ContentType.Types

Methods

hashWithSalt :: Int -> FileExt -> Int

hash :: FileExt -> Int

MonadTransControl FileExtListenerT ((,) FileExtMap)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftWith :: Monad m => (Run FileExtListenerT ((,) FileExtMap) -> m a) -> FileExtListenerT m a

restoreT :: Monad m => m (FileExtMap, a) -> FileExtListenerT m a

Monad m => MonadState FileExtMap (FileExtListenerT m)

Defined in Network.Wai.Middleware.ContentType.Types

Methods

get :: FileExtListenerT m FileExtMap

put :: FileExtMap -> FileExtListenerT m ()

state :: (FileExtMap -> (a, FileExtMap)) -> FileExtListenerT m a

MonadBaseControl b m stM => MonadBaseControl b (FileExtListenerT m) (Compose stM ((,) FileExtMap))

Defined in Network.Wai.Middleware.ContentType.Types

Methods

liftBaseWith :: (RunInBase (FileExtListenerT m) b (Compose stM ((,) FileExtMap)) -> b a) -> FileExtListenerT m a

restoreM :: Compose stM ((,) FileExtMap) a -> FileExtListenerT m a

type Rep FileExt

Defined in Network.Wai.Middleware.ContentType.Types

type Rep FileExt = D1 (MetaData "FileExt" "Network.Wai.Middleware.ContentType.Types" "wai-middleware-content-type-0.6.2-loVdvwKjwTGViJ2IbPB1G" False) ((C1 (MetaCons "Html" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Css" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "JavaScript" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Json" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Text" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Markdown" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Other" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Text)))))

getFileExt :: [Text] -> Maybe FileExt

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

toExt :: (Text, Text) -> Maybe FileExt

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

runResponseVia :: ResponseVia -> Response

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

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

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

getLogger :: Monad m => FileExtListenerT m (Status -> Maybe Integer -> IO ())

execFileExtListenerT :: Monad m => FileExtListenerT m a -> Maybe (Status -> Maybe Integer -> IO ()) -> m FileExtMap

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

possibleFileExts :: [FileExt] -> 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

module Network.Wai.Middleware.ContentType.Blaze

module Network.Wai.Middleware.ContentType.ByteString

module Network.Wai.Middleware.ContentType.Cassius

module Network.Wai.Middleware.ContentType.Clay

module Network.Wai.Middleware.ContentType.Json

module Network.Wai.Middleware.ContentType.Julius

module Network.Wai.Middleware.ContentType.Lucid

module Network.Wai.Middleware.ContentType.Lucius

module Network.Wai.Middleware.ContentType.Text