1// Generated by purs version 0.13.6
3var $foreign = require("./foreign.js");
4var Control_Applicative = require("../Control.Applicative/index.js");
5var Data_Eq = require("../Data.Eq/index.js");
6var Data_Monoid = require("../Data.Monoid/index.js");
7var Data_Symbol = require("../Data.Symbol/index.js");
8var JSS = require("../JSS/index.js");
9var React_Basic_DOM_SVG = require("../React.Basic.DOM.SVG/index.js");
10var React_Basic_Hooks = require("../React.Basic.Hooks/index.js");
11var React_Basic_Hooks_Internal = require("../React.Basic.Hooks.Internal/index.js");
12var Record_Extra = require("../Record.Extra/index.js");
13var Type_Equality = require("../Type.Equality/index.js");
14var Yoga_Theme_Styles = require("../Yoga.Theme.Styles/index.js");
15var ArrowPointsRight = (function () {
16 function ArrowPointsRight() {
19 ArrowPointsRight.value = new ArrowPointsRight();
20 return ArrowPointsRight;
22var ArrowPointsLeft = (function () {
23 function ArrowPointsLeft() {
26 ArrowPointsLeft.value = new ArrowPointsLeft();
27 return ArrowPointsLeft;
29var trianglelogoIcon = function (dictUnion) {
30 return $foreign.trianglelogoIconRaw;
32var mapIcon = function (dictUnion) {
33 return $foreign.mapIconRaw;
35var eqActiveArrowDirection = new Data_Eq.Eq(function (x) {
37 if (x instanceof ArrowPointsRight && y instanceof ArrowPointsRight) {
40 if (x instanceof ArrowPointsLeft && y instanceof ArrowPointsLeft) {
46var mkMenu = function __do() {
47 var useStyles = Yoga_Theme_Styles.makeStylesJSS()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
49 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
50 return "arrowInactive";
51 }))()(Record_Extra.mapRecordCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
53 }))()(Record_Extra.mapRecordNil)()())()())()())(JSS.jssClasses()(function (v) {
55 arrow: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
57 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
59 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil)))()())({
61 transition: "0.3s ease-out"
63 arrowInactive: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
65 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())({
68 svg: JSS.jss(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
70 }))(JSS.jssAbleRecord(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
72 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))()())()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
74 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsCons(new Data_Symbol.IsSymbol(function ($dollar__unused) {
76 }))(JSS.jssAbleString)()()()(JSS.jssAbleFieldsNil))))()())({
80 fill: v.backgroundColour
85 return React_Basic_Hooks.component()()()("MenuIcon")(function (v) {
86 return React_Basic_Hooks_Internal.bind(React_Basic_Hooks_Internal.ixBindRender)(useStyles({}))(function (classes) {
87 return Control_Applicative.pure(React_Basic_Hooks_Internal.applicativeRender(Type_Equality.refl))(React_Basic_DOM_SVG.svg()({
88 xmlns: "http://www.w3.org/2000/svg",
89 viewBox: "0 0 100 100",
91 strokeLinejoin: "round",
92 strokeMiterlimit: "2",
93 className: classes.svg,
94 children: [ React_Basic_DOM_SVG.path()({
95 d: "M28.72 46.524l8.94.26-7.843 7.388h40.97l-7.87 6.732H29.753l7.64 7.302-8.76.267-10.928-10.88 11.013-11.07zM17.493 57.806l.213-.213-.213.213z",
96 className: classes.arrow + (" " + Data_Monoid.guard(Data_Monoid.monoidString)(Data_Eq.eq(eqActiveArrowDirection)(v.activeArrowDirection)(ArrowPointsRight.value))(classes.arrowInactive))
97 }), React_Basic_DOM_SVG.path()({
98 d: "M71.3 53.472l-8.94-.26 7.843-7.388H29.4l7.723-6.732h33.163l-7.64-7.302 8.758-.267 10.93 10.88L71.3 53.472zM82.536 42.2l-.213.213.213-.213z",
99 className: classes.arrow + (" " + Data_Monoid.guard(Data_Monoid.monoidString)(Data_Eq.eq(eqActiveArrowDirection)(v.activeArrowDirection)(ArrowPointsLeft.value))(classes.arrowInactive))
105var bindIcon = function (dictUnion) {
106 return $foreign.bindIconRaw;
108var applyflippedIcon = function (dictUnion) {
109 return $foreign.applyflippedIconRaw;
111var appendIcon = function (dictUnion) {
112 return $foreign.appendIconRaw;
115 appendIcon: appendIcon,
116 applyflippedIcon: applyflippedIcon,
119 trianglelogoIcon: trianglelogoIcon,
120 ArrowPointsRight: ArrowPointsRight,
121 ArrowPointsLeft: ArrowPointsLeft,
123 eqActiveArrowDirection: eqActiveArrowDirection,
124 appendIconRaw: $foreign.appendIconRaw,
125 applyflippedIconRaw: $foreign.applyflippedIconRaw,
126 bindIconRaw: $foreign.bindIconRaw,
127 mapIconRaw: $foreign.mapIconRaw,
128 trianglelogoIconRaw: $foreign.trianglelogoIconRaw
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