Network.Wai.Middleware.ContentType.Types

Types

data FileExt

Supported file extensions

Constructors

Html

Css

JavaScript

Json

Text

Markdown

Other Text

excluding prefix period, i.e. foo

Instances

Eq FileExt

Methods

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

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

Ord FileExt

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

Methods

showsPrec :: Int -> FileExt -> ShowS

show :: FileExt -> String

showList :: [FileExt] -> ShowS

Generic FileExt

Associated Types

type Rep FileExt :: * -> *

Methods

from :: FileExt -> Rep FileExt x

to :: Rep FileExt x -> FileExt

Hashable FileExt

Methods

hashWithSalt :: Int -> FileExt -> Int

hash :: FileExt -> Int

Monad m => MonadState FileExtMap (FileExtListenerT m)

Methods

get :: FileExtListenerT m FileExtMap

put :: FileExtMap -> FileExtListenerT m ()

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

type Rep FileExt

type Rep FileExt = D1 * (MetaData "FileExt" "Network.Wai.Middleware.ContentType.Types" "wai-middleware-content-type-0.5.2-J8FYv2lhkQkHM98BoJfm1k" False) ((:+:) * ((:+:) * (C1 * (MetaCons "Html" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Css" PrefixI False) (U1 *)) (C1 * (MetaCons "JavaScript" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "Json" PrefixI False) (U1 *)) (C1 * (MetaCons "Text" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Markdown" PrefixI False) (U1 *)) (C1 * (MetaCons "Other" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (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.

data ResponseVia

Constructors

ResponseVia

Fields

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

Instances

Monad m => MonadState FileExtMap (FileExtListenerT m)

Methods

get :: FileExtListenerT m FileExtMap

put :: FileExtMap -> FileExtListenerT m ()

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

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

Instances

MonadTrans FileExtListenerT

Methods

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

MonadTransControl FileExtListenerT

Associated Types

type StT (FileExtListenerT :: (* -> *) -> * -> *) a :: *

Methods

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

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

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

Methods

pathUrl :: Path b f -> FileExtListenerT m URI

locUrl :: Location b f -> FileExtListenerT m URI

MonadBaseControl b m => MonadBaseControl b (FileExtListenerT m)

Associated Types

type StM (FileExtListenerT m :: * -> *) a :: *

Methods

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

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

MonadBase b m => MonadBase b (FileExtListenerT m)

Methods

liftBase :: b α -> FileExtListenerT m α

MonadWriter w m => MonadWriter w (FileExtListenerT m)

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)

Methods

get :: FileExtListenerT m FileExtMap

put :: FileExtMap -> FileExtListenerT m ()

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

MonadReader r m => MonadReader r (FileExtListenerT m)

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)

Methods

throwError :: e -> FileExtListenerT m a

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

Monad m => Monad (FileExtListenerT m)

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)

Methods

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

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

MonadFix m => MonadFix (FileExtListenerT m)

Methods

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

Monad m => Applicative (FileExtListenerT m)

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)

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)

Methods

mzero :: FileExtListenerT m a

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

MonadIO m => MonadIO (FileExtListenerT m)

Methods

liftIO :: IO a -> FileExtListenerT m a

MonadThrow m => MonadThrow (FileExtListenerT m)

Methods

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

MonadCatch m => MonadCatch (FileExtListenerT m)

Methods

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

MonadMask m => MonadMask (FileExtListenerT m)

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

MonadLogger m => MonadLogger (FileExtListenerT m)

Methods

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

MonadCont m => MonadCont (FileExtListenerT m)

Methods

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

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

Methods

liftResourceT :: ResourceT IO a -> FileExtListenerT m a

Monad m => Monoid (FileExtListenerT m ())

Methods

mempty :: FileExtListenerT m ()

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

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

type StT FileExtListenerT a

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

type StM (FileExtListenerT m) a

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

execFileExtListenerT :: Monad m => FileExtListenerT m a -> Maybe (Status -> Maybe Integer -> IO ()) -> 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

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

Utilities

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

Version of tell for StateT

type AcceptHeader = ByteString

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