[cli] Add config and white-listed facts selectors for facts command

Author: paolino

cli/src/Facts.hs

@@ -8,7 +8,9 @@ where
 import Core.Types.Basic (TokenId)
 import Core.Types.Fact (Fact (..), parseFacts)
 import MPFS.API (MPFS, mpfsGetTokenFacts)
+import Oracle.Config.Types (Config, ConfigKey)
 import Text.JSON.Canonical
+import User.Agent.Types (WhiteListKey)
 import User.Types
     ( Phase (..)
     , RegisterUserKey
@@ -28,7 +30,10 @@ data FactsSelection a where
     UserFacts :: FactsSelection [Fact RegisterUserKey ()]
     RoleFacts :: FactsSelection [Fact RegisterUserKey ()]
     TestRunFacts :: TestRunSelection a -> FactsSelection a
+    ConfigFact :: FactsSelection [Fact ConfigKey Config]
+    WhiteListedFacts :: FactsSelection [Fact WhiteListKey ()]
     AllFacts :: FactsSelection [Fact JSValue JSValue]
+
 retrieveAnyFacts
     :: (FromJSON Maybe k, FromJSON Maybe v, Functor m)
     => MPFS m
@@ -59,4 +64,6 @@ factsCmd mpfs tokenId (TestRunFacts TestRunRejected) = do
                 _ -> False
             )
             facts
+factsCmd mpfs tokenId ConfigFact = retrieveAnyFacts mpfs tokenId
+factsCmd mpfs tokenId WhiteListedFacts = retrieveAnyFacts mpfs tokenId
 factsCmd mpfs tokenId AllFacts = retrieveAnyFacts mpfs tokenId

cli/src/Options.hs

@@ -13,6 +13,7 @@ module Options
     ) where
 
 import Cli (Command (..))
+import Control.Applicative (optional)
 import Core.Options
     ( outputReferenceParser
     , tokenIdOption
@@ -27,13 +28,13 @@ import OptEnvConf
     ( Parser
     , command
     , commands
-    , runParser, (<|>)
+    , runParser
+    , (<|>)
     )
 import Oracle.Options (oracleCommandParser)
 import User.Agent.Options (agentCommandParser)
 import User.Requester.Options (requesterCommandParser)
 import Wallet.Options (walletCommandParser)
-import Control.Applicative (optional)
 
 newtype Options a = Options
     { optionsCommand :: Command a
@@ -78,7 +79,16 @@ factsSelectionParser =
             "test-run"
             "Get test runs"
             (fmapBox TestRunFacts <$> testRunSelectionParser)
-        ] <|> pure (Box AllFacts)
+        , command
+            "config"
+            "Get the oracle configuration"
+            (pure $ Box ConfigFact)
+        , command
+            "white-listed"
+            "Get white-listed repositories"
+            (pure $ Box WhiteListedFacts)
+        ]
+        <|> pure (Box AllFacts)
 
 testRunSelectionParser :: Parser (Box TestRunSelection)
 testRunSelectionParser =