Add Workspace.currentlyOpenFqns

Author: hojberg

src/Code/Definition/Info.elm

@@ -22,14 +22,25 @@ type alias Info =
 
 
 makeInfo : Reference -> FQN -> NEL.Nonempty FQN -> Info
-makeInfo ref suffixName allFqns =
+makeInfo ref suffixName allFqns_ =
     let
         ( namespace, otherNames ) =
-            namespaceAndOtherNames ref suffixName allFqns
+            namespaceAndOtherNames ref suffixName allFqns_
     in
     Info suffixName namespace otherNames
 
 
+allFqns : Info -> List FQN
+allFqns info =
+    let
+        reconstructed =
+            info.namespace
+                |> Maybe.map (\namespace -> FQN.extend namespace info.name)
+                |> Maybe.withDefault info.name
+    in
+    reconstructed :: info.otherNames
+
+
 
 -- Helpers
 

src/Code/Workspace.elm

@@ -2,6 +2,7 @@ module Code.Workspace exposing
     ( Model
     , Msg
     , OutMsg(..)
+    , currentlyOpenFqns
     , currentlyOpenReferences
     , init
     , open
@@ -585,6 +586,11 @@ currentlyOpenReferences model =
     WorkspaceItems.references model.workspaceItems
 
 
+currentlyOpenFqns : Model -> List FQN
+currentlyOpenFqns model =
+    WorkspaceItems.fqns model.workspaceItems
+
+
 
 -- EFFECTS
 

src/Code/Workspace/WorkspaceItem.elm

@@ -181,6 +181,30 @@ reference item =
             refResponse
 
 
+allFqns : WorkspaceItem -> List FQN
+allFqns workspaceItem =
+    case workspaceItem of
+        Loading r ->
+            MaybeE.values [ Reference.fqn r ]
+
+        Failure r _ ->
+            MaybeE.values [ Reference.fqn r ]
+
+        Success _ { item } ->
+            case item of
+                TermItem (Term _ _ { info }) ->
+                    Info.allFqns info
+
+                TypeItem (Type _ _ { info }) ->
+                    Info.allFqns info
+
+                AbilityConstructorItem (AbilityConstructor _ { info }) ->
+                    Info.allFqns info
+
+                DataConstructorItem (DataConstructor _ { info }) ->
+                    Info.allFqns info
+
+
 {-| Convert the Reference of a WorkspaceItem to be HashOnly
 -}
 toHashReference : WorkspaceItem -> WorkspaceItem

src/Code/Workspace/WorkspaceItems.elm

@@ -18,6 +18,7 @@
 module Code.Workspace.WorkspaceItems exposing (..)
 
 import Code.Definition.Reference exposing (Reference)
+import Code.FullyQualifiedName exposing (FQN)
 import Code.Hash exposing (Hash)
 import Code.Workspace.WorkspaceItem as WorkspaceItem exposing (WorkspaceItem)
 import List
@@ -288,6 +289,11 @@ references items =
         |> List.map WorkspaceItem.reference
 
 
+fqns : WorkspaceItems -> List FQN
+fqns items =
+    concatMapToList (\i _ -> WorkspaceItem.allFqns i) items
+
+
 head : WorkspaceItems -> Maybe WorkspaceItem
 head items =
     items
@@ -525,6 +531,25 @@ mapToList f wItems =
             before ++ (f data.focus True :: after)
 
 
+concatMapToList : (WorkspaceItem -> Bool -> List a) -> WorkspaceItems -> List a
+concatMapToList f wItems =
+    case wItems of
+        Empty ->
+            []
+
+        WorkspaceItems data ->
+            let
+                before =
+                    data.before
+                        |> List.concatMap (\i -> f i False)
+
+                after =
+                    data.after
+                        |> List.concatMap (\i -> f i False)
+            in
+            before ++ f data.focus True ++ after
+
+
 {-| Converting the workspace items to a list, looses the focus indicator
 -}
 toList : WorkspaceItems -> List WorkspaceItem