@[reducible, inline]

abbrev Network.Mime.MimeType : Type

Individual MIME type to be served over the wire.

Equations

• Network.Mime.MimeType = String

@[reducible, inline]

abbrev Network.Mime.Extension : Type

Path extension. May include multiple components, e.g., "tar.gz".

Equations

• Network.Mime.Extension = String

@[reducible, inline]

abbrev Network.Mime.FileName : Type

File name (without directory path).

Equations

• Network.Mime.FileName = String

@[reducible, inline]

abbrev Network.Mime.MimeMap : Type

Maps extensions to MIME types.

Equations

• Network.Mime.MimeMap = List (Network.Mime.Extension × Network.Mime.MimeType)

def Network.Mime.defaultMimeType : MimeType

The default fallback MIME type: "application/octet-stream".

Equations

• Network.Mime.defaultMimeType = "application/octet-stream"

def Network.Mime.fileNameExtensions (name : FileName) : List Extension

Get a list of all file name extensions, from most specific to least. $$\text{fileNameExtensions}(\texttt{"foo.tar.gz"}) = [\texttt{"tar.gz"}, \texttt{"gz"}]$$

Equations

• Network.Mime.fileNameExtensions name = Network.Mime.fileNameExtensions.go (Network.Mime.dropToExt✝ (String.toLower name))

partial def Network.Mime.fileNameExtensions.go (e : String) : List Extension

def Network.Mime.defaultMimeMap : MimeMap

A default mapping from filename extension to MIME type. Generated from Apache and nginx mime.types files + IANA registry. Covers the most common web content types.

Equations

• One or more equations did not get rendered due to their size.

def Network.Mime.mimeByExt (mm : MimeMap) (default_ : MimeType) (name : FileName) : MimeType

Look up a MIME type from the given map and default, by file name. Tries each extension from most to least specific. $$\text{mimeByExt}(m, d, f) = \text{first match in } m \text{ for extensions of } f$$

Equations

• Network.Mime.mimeByExt mm default_ name = Network.Mime.mimeByExt.go mm default_ (Network.Mime.fileNameExtensions name)

def Network.Mime.mimeByExt.go (mm : MimeMap) (default_ : MimeType) : List Extension → MimeType

Equations

• Network.Mime.mimeByExt.go mm default_ [] = default_
• Network.Mime.mimeByExt.go mm default_ (e :: es) = match Network.Mime.assocLookup✝ e mm with | some mt => mt | none => Network.Mime.mimeByExt.go mm default_ es

def Network.Mime.defaultMimeLookup (name : FileName) : MimeType

mimeByExt applied to defaultMimeType and defaultMimeMap. $$\text{defaultMimeLookup} : \text{FileName} \to \text{MimeType}$$

Equations

• Network.Mime.defaultMimeLookup name = Network.Mime.mimeByExt Network.Mime.defaultMimeMap Network.Mime.defaultMimeType name