Data.Mime.Apache.Model

Definitions

data MainType : Type

Totality: total
Visibility: public export
Constructors:

Application : MainType

Audio : MainType

Chemical : MainType

Font : MainType

Image : MainType

Message : MainType

Model : MainType

Multipart : MainType

Text : MainType

Video : MainType

XConference : MainType

Hints:

Eq MainType

Show MainType

record Mime : Type

Totality: total
Visibility: public export
Constructor: 

MkMime : MainType -> String -> List String -> Mime

Projections:

.extensions : Mime -> List String

.mainType : Mime -> MainType

.subType : Mime -> String

Hints:

Eq Mime

Show Mime

.mainType : Mime -> MainType

Visibility: public export

mainType : Mime -> MainType

Visibility: public export

.subType : Mime -> String

Visibility: public export

subType : Mime -> String

Visibility: public export

.extensions : Mime -> List String

Visibility: public export

extensions : Mime -> List String

Visibility: public export