add go-to-def for angle

Summary:
* Creating symbol ids for angle
* adding the fbsource.fbcode.angle db for glass to query

**Symbol ids:**
```fbsource/angle/fbcode/glean/schema/source/hack.angle/hack.Signature.6```
<path>/<qualified_name>

All current symbols will have namespace "schema name", and it's already in the qualified name. If we add other entities we might add other namespaces too, e.g., a variable X would exist in a predicates derive clause. ```<path>/<qname_pred>/var_X``` or something? No need to decide this now, but as reviewer please have a look so we're not blocking future changes with other namespaces

Reviewed By: pepeiborra

Differential Revision: D74875860

fbshipit-source-id: df5028aeb058a76964099710abffaa29442a9a02

Author: jjuliamolin

glean.cabal.in

@@ -1255,6 +1255,7 @@ library glass-lib
         Glean.Glass.SnapshotBackend
         Glean.Glass.SourceControl
         Glean.Glass.SymbolId
+        Glean.Glass.SymbolId.Angle
         Glean.Glass.SymbolId.Buck
         Glean.Glass.SymbolId.Class
         Glean.Glass.SymbolId.CSharp

glean/glass/Glean/Glass/SymbolId.hs

@@ -74,7 +74,7 @@ import Glean.Glass.SymbolId.Class
       ToStrobelightFrame(..),
       ToSymbolParent(..),
       ToNativeSymbol(..) )
-
+import Glean.Glass.SymbolId.Angle ({- instances -})
 import Glean.Glass.SymbolId.Buck ({- instances -})
 import Glean.Glass.SymbolId.Cxx ({- instances -})
 import Glean.Glass.SymbolId.Erlang ({- instances -})
@@ -298,6 +298,7 @@ instance Symbol Code.Entity where
   toSymbol _ = throwM $ SymbolError "Code.Entity: use toSymbolWithPath"
 
   toSymbolWithPath e p = case e of
+    Code.Entity_angle x -> toSymbolWithPath x p
     Code.Entity_hack (Hack.Entity_decl x) -> toSymbolWithPath x p
     Code.Entity_python (Python.Entity_decl x) -> toSymbolWithPath x p
     Code.Entity_flow x -> toSymbolWithPath x p
@@ -397,6 +398,7 @@ entityToAngle e = case e of
 
 instance ToQName Code.Entity where
   toQName e = case e of
+    Code.Entity_angle x -> toQName x
     Code.Entity_buck x -> toQName x
     Code.Entity_csharp x -> toQName x
     Code.Entity_cxx x -> toQName x

glean/glass/Glean/Glass/SymbolId/Angle.hs

@@ -0,0 +1,90 @@
+{-
+  Copyright (c) Meta Platforms, Inc. and affiliates.
+  All rights reserved.
+
+  This source code is licensed under the BSD-style license found in the
+  LICENSE file in the root directory of this source tree.
+-}
+
+{-# OPTIONS_GHC -Wno-orphans #-}
+
+module Glean.Glass.SymbolId.Angle (
+    {- instances and -}
+  ) where
+
+import qualified Glean
+
+import Glean.Glass.SymbolId.Class
+import Control.Monad.Catch ( throwM )
+import Glean.Glass.Types (Path(..), Name(..))
+import qualified Glean.Haxl.Repos as Glean
+import qualified Glean.Schema.Anglelang.Types as A
+import qualified Glean.Schema.CodeAnglelang.Types as A
+import Data.Text (Text)
+import qualified Data.Text as Text
+
+instance Symbol A.Entity where
+  toSymbol _ = throwM $ SymbolError "Angle.Entity: use toSymbolWithPath"
+  toSymbolWithPath e (Path p) = do
+    syms <- toSymbol $ A.entity_decl e
+    return $ case syms of
+      [] ->  []
+      (x:xs) -> Text.splitOn "/" p <> (x:xs)
+
+instance Symbol A.Declaration where
+  toSymbol d = case d of
+        A.Declaration_pred x -> toSymbolPredicate x
+        A.Declaration_ty x -> toSymbolPredicate x
+        A.Declaration_schema x -> toSymbolPredicate x
+        A.Declaration_imp x -> toSymbol x
+        A.Declaration_derive_ x -> toSymbolPredicate x
+        A.Declaration_evolve _ -> return []
+        A.Declaration_EMPTY -> return []
+
+instance Symbol A.PredicateDecl_key where
+  toSymbol A.PredicateDecl_key{..} = toSymbol predicateDecl_key_name
+
+instance Symbol A.TypeDecl_key where
+  toSymbol A.TypeDecl_key{..} = toSymbol typeDecl_key_name
+
+instance Symbol A.SchemaDecl_key where
+  toSymbol A.SchemaDecl_key{..} = toSymbol schemaDecl_key_name
+
+instance Symbol A.DerivingDecl_key where
+   toSymbol (A.DerivingDecl_key n d) = do
+     n' <- toSymbol n
+     return $ n' ++ [Text.pack $ "_" ++ show d]
+
+instance Symbol A.Name where
+  toSymbol k = do
+    v <- Glean.keyOf k
+    return [v]
+
+
+-- Searching for Angle Entities
+instance ToQName A.Entity where
+  toQName e = toQName $ A.entity_decl e
+
+instance ToQName A.Declaration where
+  toQName d = case d of
+    A.Declaration_pred x -> Glean.keyOf x >>= toQName
+    A.Declaration_ty x -> Glean.keyOf x >>= toQName
+    A.Declaration_schema x -> Glean.keyOf x >>= toQName
+    A.Declaration_imp x -> toQNameEmptyNs x
+    A.Declaration_evolve _ -> return $ Left "evolve toQName: not supported"
+    A.Declaration_derive_ _ -> return $ Left "derive toQName: not supported"
+    A.Declaration_EMPTY -> return $ Left "unknown Declaration"
+
+instance ToQName A.PredicateDecl_key where
+  toQName A.PredicateDecl_key{..} = toQNameEmptyNs predicateDecl_key_name
+
+instance ToQName A.TypeDecl_key where
+  toQName A.TypeDecl_key{..} = toQNameEmptyNs typeDecl_key_name
+
+instance ToQName A.SchemaDecl_key where
+  toQName A.SchemaDecl_key{..} = toQNameEmptyNs schemaDecl_key_name
+
+toQNameEmptyNs :: A.Name -> Glean.RepoHaxl u w (Either Text (Name, Name))
+toQNameEmptyNs name = do
+  nameStr <- Glean.keyOf name
+  return $ Right (Name nameStr, Name mempty)