run formatter: npm i && npm run res:format

src/AxiomSet.res

@@ -8,7 +8,7 @@ module Make = (
   module Rule = Rule.Make(Term, Judgment)
   module RuleView = RuleView.Make(Term, Judgment, JudgmentView)
   module Ports = Ports(Term, Judgment)
-  type state = { rules: dict<Rule.t> }
+  type state = {rules: dict<Rule.t>}
   type props = {
     content: state,
     imports: Ports.t,
@@ -49,8 +49,9 @@ module Make = (
       }
     }
     ret.contents->Result.map(state => (
-      {rules: state }, 
-      {Ports.facts: state, ruleStyle: None, grammar: Term.emptyGrammar}))
+      {rules: state},
+      {Ports.facts: state, ruleStyle: None, grammar: Term.emptyGrammar},
+    ))
   }
 
   let make = props => {
@@ -68,7 +69,9 @@ module Make = (
           key={String.make(i)}
           style={props.imports.ruleStyle->Option.getOr(Hybrid)}
         >
-          <span className="rule-rulename-global"><IdentifierView identifier=n /></span>
+          <span className="rule-rulename-global">
+            <IdentifierView identifier=n />
+          </span>
         </RuleView>
       )
       ->React.array}

src/ConfigBlock.res

@@ -13,9 +13,15 @@ module Make = (Term: TERM, Judgment: JUDGMENT with module Term := Term) => {
 
   let deserialise = str =>
     switch str {
-    | "Gentzen" => Ok((Gentzen, {Ports.facts: Dict.make(), ruleStyle: Some(Gentzen), grammar: Term.emptyGrammar}))
-    | "Linear" => Ok((Linear, {Ports.facts: Dict.make(), ruleStyle: Some(Linear), grammar: Term.emptyGrammar}))
-    | "Hybrid" => Ok((Hybrid, {Ports.facts: Dict.make(), ruleStyle: Some(Hybrid), grammar: Term.emptyGrammar}))
+    | "Gentzen" =>
+      Ok((
+        Gentzen,
+        {Ports.facts: Dict.make(), ruleStyle: Some(Gentzen), grammar: Term.emptyGrammar},
+      ))
+    | "Linear" =>
+      Ok((Linear, {Ports.facts: Dict.make(), ruleStyle: Some(Linear), grammar: Term.emptyGrammar}))
+    | "Hybrid" =>
+      Ok((Hybrid, {Ports.facts: Dict.make(), ruleStyle: Some(Hybrid), grammar: Term.emptyGrammar}))
     | _ => Error("unknown rule style")
     }
 
@@ -42,22 +48,31 @@ module Make = (Term: TERM, Judgment: JUDGMENT with module Term := Term) => {
       switch deserialise(value) {
       | Ok((sty, _)) => {
           setStyle(_ => sty)
-          props.onChange(sty, ~exports={Ports.facts: Dict.make(), ruleStyle: Some(sty), grammar: Term.emptyGrammar})
+          props.onChange(
+            sty,
+            ~exports={Ports.facts: Dict.make(), ruleStyle: Some(sty), grammar: Term.emptyGrammar},
+          )
         }
       | Error(_) => ()
       }
     }
 
     <div className="settings-panel">
       <div className="settings-row">
-        <label className="settings-label" htmlFor="rule-style-select"> {React.string("Rule display style")} </label>
-        <select id="rule-style-select" className="settings-select" value={serialise(style)} onChange>
+        <label className="settings-label" htmlFor="rule-style-select">
+          {React.string("Rule display style")}
+        </label>
+        <select
+          id="rule-style-select" className="settings-select" value={serialise(style)} onChange
+        >
           {[Gentzen, Linear, Hybrid]
-          ->Array.map(n => <option key={serialise(n)} value={serialise(n)}> {React.string(serialise(n))} </option>)
+          ->Array.map(n =>
+            <option key={serialise(n)} value={serialise(n)}> {React.string(serialise(n))} </option>
+          )
           ->React.array}
         </select>
         <div className="settings-desc"> {React.string(describe(style))} </div>
       </div>
     </div>
   }
-}
+}

src/EditableLabel.res

@@ -1,5 +1,3 @@
-
-
 @react.component
 let make = (~label: string, ~onConfirm: string => result<unit, string>) => {
   let (isEditing, setIsEditing) = React.useState(() => false)
@@ -42,17 +40,24 @@ let make = (~label: string, ~onConfirm: string => result<unit, string>) => {
             onChange={evt => setTempText(_ => ReactEvent.Form.target(evt)["value"])}
             onKeyDown={evt => {
               let key = ReactEvent.Keyboard.key(evt)
-              if key == "Enter" { handleConfirm(evt) }
-              else if key == "Escape" { handleCancel(evt) }
+              if key == "Enter" {
+                handleConfirm(evt)
+              } else if key == "Escape" {
+                handleCancel(evt)
+              }
             }}
             autoFocus=true
           />
           <span
             className="editor-button button-icon button-icon-blue typcn typcn-tick"
-           onClick={handleConfirm}> </span>
-           <span
-             className="editor-button button-icon button-icon-red typcn typcn-times"
-          onClick={handleCancel}> </span>
+            onClick={handleConfirm}
+          >
+          </span>
+          <span
+            className="editor-button button-icon button-icon-red typcn typcn-times"
+            onClick={handleCancel}
+          >
+          </span>
         </div>
 
         {switch errorMsg {
@@ -61,7 +66,8 @@ let make = (~label: string, ~onConfirm: string => result<unit, string>) => {
             <span> {React.string(msg)} </span>
             <span
               className="editor-button button-icon button-icon-grey typcn typcn-times"
-             onClick={dismissError}>
+              onClick={dismissError}
+            >
             </span>
           </div>
         | None => React.null
@@ -74,7 +80,8 @@ let make = (~label: string, ~onConfirm: string => result<unit, string>) => {
           setTempText(_ => text)
           setErrorMsg(_ => None)
           setIsEditing(_ => true)
-        }}>
+        }}
+      >
         <IdentifierView identifier=text />
       </span>
     }}