Figure out how to do interpretations

[AshleyYakeley]

See #180, and #168 for JSON.

Currently:

subtype JPEG.Image <: Interpret Image
subtype JPEG.Image <: Literal

Plan

Main idea is that Literal represents values (of some type), not encodings. They all happen to have encodings, of course, but only one encoding per type. This is important to ensure equality. Literal is mostly used for storage.

By contrast, Media is a media type and byte-array, and therefore an encoding of something.

• byte-arrays (#275)
• [x] media types
  • RFC 6838
  • [x] type storable MediaType
  • [x] constructor Mk Text Text (List (Text *: Text))
  • [x] Literal
  • [x] subtype MediaType <: Literal
  • [x] D(MediaType) = Literal
  • [x] media type? probably vndMIMEType "mediatype"
  • [x] add to mimeCompress, probably m
• [x] media
  • [x] replace MIME type with type storable Media
  • [x] constructor Mk MediaType ByteArray
  • [x] rename "MIME type", "content type" to "media type" in code
  • [x] Literal
• textual? (#277)

Uses

• HTML (#274)
  • add HTMLText type, not necessarily valid HTML
  • constructor Mk Text
  • subtype HTMLText <: Literal
  • subtype HTMLText <: Textual
  • subtype HTMLText <: Interpretation (Maybe XML) (possibly, or use Result)
  • D(HTMLText) = Literal (checking media type)
• JPEG (& PNG) (already done)
  • type storable JPEG.Image (#273)
  • subtype JPEG.Image <: Literal (already done)
  • subtype JPEG.Image <: Interpretation Image (already done)
  • remove jpegMIME.JPEG.Image
• JSON (#168)
• CSV (#167)
• XML
• CommonMark (#268)

[AshleyYakeley]

This is done.

[AshleyYakeley]

Still some stuff to do here actually.

[AshleyYakeley]

OK, closing this for now.