1// Generated by purs version 0.15.16
2import * as Data_Ord from "../Data.Ord/index.js";
3import * as Data_Show from "../Data.Show/index.js";
4var show = /* #__PURE__ */ Data_Show.show(Data_Show.showString);
5var compare = /* #__PURE__ */ Data_Ord.compare(Data_Ord.ordString);
6var MediaType = function (x) {
11 return "(MediaType " + (show(v) + ")");
14var newtypeMediaType = {
15 Coercible0: function () {
27 compare: function (x) {
43//# sourceMappingURL=index.js.map
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list