{-
  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.
-}

module Derive.Generic
  ( derivePredicate
  ) where

import Data.Text (Text)
import qualified Data.Text as Text

import Util.Log

import Glean
import qualified Glean.Derive

import Derive.Types

derivePredicate :: Backend b => b -> Config -> Text -> IO ()
derivePredicate backend cfg txt = do
  logInfo $ "deriving " <> Text.unpack txt
  Glean.Derive.derivePredicate backend (cfgRepo cfg)
    (Just (fromIntegral (cfgMaxStoreQuerySize cfg)))
    (fromIntegral <$> cfgMaxQueryFacts cfg)
    (parseRef txt)
    Nothing
  logInfo $ "done deriving " <> Text.unpack txt