mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
Case Api as generated
This commit is contained in:
parent
648af915bb
commit
cc78c0d8d5
@ -183,13 +183,13 @@ library
|
|||||||
-- High-level flow & operational functionality (logging, stats, etc.)
|
-- High-level flow & operational functionality (logging, stats, etc.)
|
||||||
, Semantic.Analysis
|
, Semantic.Analysis
|
||||||
-- API
|
-- API
|
||||||
, Semantic.API
|
, Semantic.Api
|
||||||
, Semantic.API.Diffs
|
, Semantic.Api.Diffs
|
||||||
, Semantic.API.Helpers
|
, Semantic.Api.Helpers
|
||||||
, Semantic.API.LegacyTypes
|
, Semantic.Api.LegacyTypes
|
||||||
, Semantic.API.Symbols
|
, Semantic.Api.Symbols
|
||||||
, Semantic.API.Terms
|
, Semantic.Api.Terms
|
||||||
, Semantic.API.TOCSummaries
|
, Semantic.Api.TOCSummaries
|
||||||
, Semantic.Api.V1.CodeAnalysisPB
|
, Semantic.Api.V1.CodeAnalysisPB
|
||||||
, Semantic.AST
|
, Semantic.AST
|
||||||
, Semantic.CLI
|
, Semantic.CLI
|
||||||
|
@ -18,7 +18,7 @@ import Data.Patch
|
|||||||
import Data.String (IsString (..))
|
import Data.String (IsString (..))
|
||||||
import Data.Term
|
import Data.Term
|
||||||
import Prologue
|
import Prologue
|
||||||
import Semantic.API.Helpers
|
import Semantic.Api.Helpers
|
||||||
import Semantic.Api.V1.CodeAnalysisPB
|
import Semantic.Api.V1.CodeAnalysisPB
|
||||||
|
|
||||||
import qualified Data.Text as T
|
import qualified Data.Text as T
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
module Semantic.API
|
module Semantic.Api
|
||||||
(
|
(
|
||||||
module DiffsAPI
|
module DiffsAPI
|
||||||
, module SymbolsAPI
|
, module SymbolsAPI
|
||||||
@ -7,8 +7,8 @@ module Semantic.API
|
|||||||
, module Types
|
, module Types
|
||||||
) where
|
) where
|
||||||
|
|
||||||
import Semantic.API.Diffs as DiffsAPI
|
import Semantic.Api.Diffs as DiffsAPI
|
||||||
import Semantic.API.Symbols as SymbolsAPI
|
import Semantic.Api.Symbols as SymbolsAPI
|
||||||
import Semantic.API.Terms as TermsAPI
|
import Semantic.Api.Terms as TermsAPI
|
||||||
import Semantic.API.TOCSummaries as TOCSummariesAPI
|
import Semantic.Api.TOCSummaries as TOCSummariesAPI
|
||||||
import Semantic.Api.V1.CodeAnalysisPB as Types hiding (Language(..))
|
import Semantic.Api.V1.CodeAnalysisPB as Types hiding (Language(..))
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
{-# LANGUAGE GADTs, ConstraintKinds, TypeOperators, RankNTypes #-}
|
{-# LANGUAGE GADTs, ConstraintKinds, TypeOperators, RankNTypes #-}
|
||||||
module Semantic.API.Diffs
|
module Semantic.Api.Diffs
|
||||||
( parseDiffBuilder
|
( parseDiffBuilder
|
||||||
, DiffOutputFormat(..)
|
, DiffOutputFormat(..)
|
||||||
, diffGraph
|
, diffGraph
|
||||||
@ -33,7 +33,7 @@ import Prologue
|
|||||||
import Rendering.Graph
|
import Rendering.Graph
|
||||||
import Rendering.JSON hiding (JSON)
|
import Rendering.JSON hiding (JSON)
|
||||||
import qualified Rendering.JSON
|
import qualified Rendering.JSON
|
||||||
import Semantic.API.Helpers
|
import Semantic.Api.Helpers
|
||||||
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob, BlobPair, Language(..))
|
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob, BlobPair, Language(..))
|
||||||
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
||||||
import Semantic.Task as Task
|
import Semantic.Task as Task
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
{-# LANGUAGE LambdaCase #-}
|
{-# LANGUAGE LambdaCase #-}
|
||||||
module Semantic.API.Helpers
|
module Semantic.Api.Helpers
|
||||||
( spanToSpan
|
( spanToSpan
|
||||||
, spanToLegacySpan
|
, spanToLegacySpan
|
||||||
, toChangeType
|
, toChangeType
|
||||||
@ -16,7 +16,7 @@ import Data.Source (fromText)
|
|||||||
import qualified Data.Span as Data
|
import qualified Data.Span as Data
|
||||||
import qualified Data.Text as T
|
import qualified Data.Text as T
|
||||||
import Data.These
|
import Data.These
|
||||||
import qualified Semantic.API.LegacyTypes as Legacy
|
import qualified Semantic.Api.LegacyTypes as Legacy
|
||||||
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
||||||
|
|
||||||
spanToSpan :: Data.Span -> Maybe API.Span
|
spanToSpan :: Data.Span -> Maybe API.Span
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
{-# LANGUAGE DerivingVia, DeriveAnyClass, DuplicateRecordFields #-}
|
{-# LANGUAGE DerivingVia, DeriveAnyClass, DuplicateRecordFields #-}
|
||||||
module Semantic.API.LegacyTypes
|
module Semantic.Api.LegacyTypes
|
||||||
( DiffTreeRequest(..)
|
( DiffTreeRequest(..)
|
||||||
, ParseTreeRequest(..)
|
, ParseTreeRequest(..)
|
||||||
, ParseTreeSymbolResponse(..)
|
, ParseTreeSymbolResponse(..)
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
{-# LANGUAGE GADTs, TypeOperators, DerivingStrategies #-}
|
{-# LANGUAGE GADTs, TypeOperators, DerivingStrategies #-}
|
||||||
module Semantic.API.Symbols
|
module Semantic.Api.Symbols
|
||||||
( legacyParseSymbols
|
( legacyParseSymbols
|
||||||
, parseSymbols
|
, parseSymbols
|
||||||
, parseSymbolsBuilder
|
, parseSymbolsBuilder
|
||||||
@ -18,9 +18,9 @@ import qualified Data.Vector as V
|
|||||||
import Data.Text (pack)
|
import Data.Text (pack)
|
||||||
import Parsing.Parser
|
import Parsing.Parser
|
||||||
import Prologue
|
import Prologue
|
||||||
import Semantic.API.Helpers
|
import Semantic.Api.Helpers
|
||||||
import qualified Semantic.API.LegacyTypes as Legacy
|
import qualified Semantic.Api.LegacyTypes as Legacy
|
||||||
import Semantic.API.Terms (ParseEffects, doParse)
|
import Semantic.Api.Terms (ParseEffects, doParse)
|
||||||
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob)
|
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob)
|
||||||
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
||||||
import Semantic.Task
|
import Semantic.Task
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
{-# LANGUAGE GADTs, TypeOperators, DerivingStrategies #-}
|
{-# LANGUAGE GADTs, TypeOperators, DerivingStrategies #-}
|
||||||
module Semantic.API.TOCSummaries (diffSummary, legacyDiffSummary, diffSummaryBuilder) where
|
module Semantic.Api.TOCSummaries (diffSummary, legacyDiffSummary, diffSummaryBuilder) where
|
||||||
|
|
||||||
import Analysis.TOCSummary (Declaration, declarationAlgebra)
|
import Analysis.TOCSummary (Declaration, declarationAlgebra)
|
||||||
import Control.Effect.Error
|
import Control.Effect.Error
|
||||||
@ -12,8 +12,8 @@ import Data.Span (emptySpan)
|
|||||||
import qualified Data.Text as T
|
import qualified Data.Text as T
|
||||||
import qualified Data.Vector as V
|
import qualified Data.Vector as V
|
||||||
import Rendering.TOC
|
import Rendering.TOC
|
||||||
import Semantic.API.Diffs
|
import Semantic.Api.Diffs
|
||||||
import Semantic.API.Helpers
|
import Semantic.Api.Helpers
|
||||||
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob, BlobPair)
|
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob, BlobPair)
|
||||||
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
||||||
import Semantic.Task as Task
|
import Semantic.Task as Task
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
{-# LANGUAGE ConstraintKinds, GADTs, TypeOperators, DerivingStrategies #-}
|
{-# LANGUAGE ConstraintKinds, GADTs, TypeOperators, DerivingStrategies #-}
|
||||||
module Semantic.API.Terms
|
module Semantic.Api.Terms
|
||||||
(
|
(
|
||||||
termGraph
|
termGraph
|
||||||
, parseTermBuilder
|
, parseTermBuilder
|
||||||
@ -36,7 +36,7 @@ import Prologue
|
|||||||
import Rendering.Graph
|
import Rendering.Graph
|
||||||
import Rendering.JSON hiding (JSON)
|
import Rendering.JSON hiding (JSON)
|
||||||
import qualified Rendering.JSON
|
import qualified Rendering.JSON
|
||||||
import Semantic.API.Helpers
|
import Semantic.Api.Helpers
|
||||||
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob, Language (..))
|
import Semantic.Api.V1.CodeAnalysisPB hiding (Blob, Language (..))
|
||||||
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
import qualified Semantic.Api.V1.CodeAnalysisPB as API
|
||||||
import Semantic.Task
|
import Semantic.Task
|
||||||
|
@ -10,7 +10,7 @@ import Data.Handle
|
|||||||
import Data.Project
|
import Data.Project
|
||||||
import Options.Applicative hiding (style)
|
import Options.Applicative hiding (style)
|
||||||
import Prologue
|
import Prologue
|
||||||
import Semantic.API hiding (File)
|
import Semantic.Api hiding (File)
|
||||||
import qualified Semantic.AST as AST
|
import qualified Semantic.AST as AST
|
||||||
import Semantic.Config
|
import Semantic.Config
|
||||||
import qualified Semantic.Graph as Graph
|
import qualified Semantic.Graph as Graph
|
||||||
|
@ -17,7 +17,7 @@ import Data.Quieterm
|
|||||||
import Data.Typeable (cast)
|
import Data.Typeable (cast)
|
||||||
import Data.Void
|
import Data.Void
|
||||||
import Parsing.Parser
|
import Parsing.Parser
|
||||||
import Semantic.API (TermOutputFormat (..), parseTermBuilder)
|
import Semantic.Api (TermOutputFormat (..), parseTermBuilder)
|
||||||
import Semantic.Config (Config (..), Options (..), defaultOptions)
|
import Semantic.Config (Config (..), Options (..), defaultOptions)
|
||||||
import qualified Semantic.IO as IO
|
import qualified Semantic.IO as IO
|
||||||
import Semantic.Task
|
import Semantic.Task
|
||||||
|
@ -24,7 +24,7 @@ import qualified Data.Syntax as Syntax
|
|||||||
import qualified Data.Syntax.Declaration as Declaration
|
import qualified Data.Syntax.Declaration as Declaration
|
||||||
import Rendering.TOC
|
import Rendering.TOC
|
||||||
import Semantic.Config
|
import Semantic.Config
|
||||||
import Semantic.API (diffSummaryBuilder)
|
import Semantic.Api (diffSummaryBuilder)
|
||||||
import Serializing.Format as Format
|
import Serializing.Format as Format
|
||||||
|
|
||||||
import SpecHelpers
|
import SpecHelpers
|
||||||
|
@ -4,7 +4,7 @@ import Control.Monad (when)
|
|||||||
import qualified Data.ByteString as B
|
import qualified Data.ByteString as B
|
||||||
import Data.ByteString.Builder
|
import Data.ByteString.Builder
|
||||||
import Data.Foldable (for_)
|
import Data.Foldable (for_)
|
||||||
import Semantic.API hiding (File, Blob, BlobPair)
|
import Semantic.Api hiding (File, Blob, BlobPair)
|
||||||
import Semantic.CLI
|
import Semantic.CLI
|
||||||
import Semantic.IO
|
import Semantic.IO
|
||||||
import Semantic.Task
|
import Semantic.Task
|
||||||
|
@ -2,7 +2,7 @@ module Semantic.Spec (spec) where
|
|||||||
|
|
||||||
import Data.Diff
|
import Data.Diff
|
||||||
import Data.Patch
|
import Data.Patch
|
||||||
import Semantic.API hiding (Blob)
|
import Semantic.Api hiding (Blob)
|
||||||
import System.Exit
|
import System.Exit
|
||||||
|
|
||||||
import SpecHelpers
|
import SpecHelpers
|
||||||
|
@ -82,7 +82,7 @@ import Data.Set (Set)
|
|||||||
import qualified Semantic.IO as IO
|
import qualified Semantic.IO as IO
|
||||||
import Semantic.Config (Config(..), optionsLogLevel)
|
import Semantic.Config (Config(..), optionsLogLevel)
|
||||||
import Semantic.Telemetry (LogQueue, StatQueue)
|
import Semantic.Telemetry (LogQueue, StatQueue)
|
||||||
import Semantic.API hiding (File, Blob, BlobPair)
|
import Semantic.Api hiding (File, Blob, BlobPair)
|
||||||
import System.Exit (die)
|
import System.Exit (die)
|
||||||
import Control.Exception (displayException)
|
import Control.Exception (displayException)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user