[ change ] Simplify the Registry API

Author: banacorn

lib/js/src/Main/Main.bs.js

@@ -229,7 +229,9 @@ let activateWithoutContext = (
 
     // filter out ".agda.git" files
     if isAgda(fileName) {
-      Registry.getState(fileName)->Option.forEach(state => {
+      Registry.get(fileName)
+      ->Option.flatMap(entry => entry.state)
+      ->Option.forEach(state => {
         // after switching tabs, the old editor would be "_disposed"
         // we need to replace it with this new one
         state.editor = editor
@@ -254,11 +256,9 @@ let activateWithoutContext = (
     if agdaModeFontSizeChanged || editorFontSizeChanged {
       let newFontSize = Config.Buffer.getFontSize()
       // find any existing State, so that we can update the font size in the view
-      switch Registry.getAllStates()[0] {
+      switch Registry.getAll()[0]->Option.flatMap(entry => entry.state) {
       | None => ()
-      | Some(state) =>
-        // panel->WebviewPanel.sendEvent(ConfigurationChange(fontSize))->ignore
-        state->State__View.Panel.setFontSize(newFontSize)->Promise.done
+      | Some(state) => state->State__View.Panel.setFontSize(newFontSize)->Promise.done
       }
     }
   })->subscribe
@@ -289,7 +289,7 @@ let activateWithoutContext = (
     | Load
     | Restart
     | InputMethod(Activate) =>
-      switch Registry.getEntry(fileName) {
+      switch Registry.get(fileName) {
       | None =>
         let state = initialize(
           platformDeps,
@@ -323,7 +323,8 @@ let activateWithoutContext = (
     | _ => ()
     }
     // dispatch
-    switch Registry.getState(fileName) {
+
+    switch Registry.get(fileName)->Option.flatMap(entry => entry.state) {
     | None => None
     | Some(state) =>
       await State__Command.dispatchCommand(state, command)

lib/js/src/Registry.bs.js

@@ -6,9 +6,8 @@ module Module: {
     }
   }
 
-  let getState: string => option<State.t>
-  let getEntry: string => option<Entry.t>
-  let getAllStates: unit => array<State.t>
+  let get: string => option<Entry.t>
+  let getAll: unit => array<Entry.t>
   let add: (string, State.t) => unit
   let remove: string => unit
   let removeAndDestroy: string => promise<unit>
@@ -41,15 +40,12 @@ module Module: {
   // FileName-Entry Registry
   let dict: Dict.t<Entry.t> = Dict.make()
 
-  let getEntry = fileName => dict->Dict.get(fileName)
-  let getState = fileName => getEntry(fileName)->Option.flatMap(x => x.state)
-
-  //  Get all existing States
-  let getAllStates = () => dict->Dict.valuesToArray->Array.filterMap(getEntry => getEntry.state)
+  let get = fileName => dict->Dict.get(fileName)
+  let getAll = () => dict->Dict.valuesToArray
 
   // Adds an instantiated State to the Registry
   let add = (fileName, state: State.t) => {
-    switch getEntry(fileName) {
+    switch get(fileName) {
     | None =>
       // entry not found, create a new one
       let entry = Entry.make(Some(state))
@@ -68,7 +64,7 @@ module Module: {
   let remove = fileName => Dict.delete(dict, fileName)
 
   let removeAndDestroy = async fileName => {
-    switch getEntry(fileName) {
+    switch get(fileName) {
     | None => ()
     | Some(entry) =>
       remove(fileName)
@@ -92,7 +88,7 @@ module Module: {
 
   // Requesting Semantic Tokens
   let requestSemanticTokens = async fileName => {
-    switch getEntry(fileName) {
+    switch get(fileName) {
     | Some(entry) =>
       let tokens = await entry.semanticTokens->Resource.get
       tokens