mirror of
https://github.com/github/semantic.git
synced 2024-11-23 16:37:50 +03:00
Bump to newer version of proto-lens
This commit is contained in:
Timothy Clem
parent
06a108aa03
commit
c0a53e957d
14
Dockerfile
14
Dockerfile
@ -1,5 +1,10 @@
|
||||
# Put protoc and twirp tooling in its own image
|
||||
FROM golang:1.12-stretch AS protoc
|
||||
FROM haskell:8.6 as haskell
|
||||
RUN cabal new-update hackage.haskell.org,HEAD
|
||||
RUN cabal new-install proto-lens-protoc
|
||||
RUN which proto-lens-protoc
|
||||
|
||||
FROM golang:1.13-stretch AS protoc
|
||||
RUN apt-get update && apt-get install -y unzip
|
||||
ENV PROTOBUF_VERSION=3.7.1
|
||||
RUN wget "https://github.com/protocolbuffers/protobuf/releases/download/v3.7.1/protoc-$PROTOBUF_VERSION-linux-x86_64.zip" && \
|
||||
@ -7,10 +12,11 @@ RUN wget "https://github.com/protocolbuffers/protobuf/releases/download/v3.7.1/p
|
||||
|
||||
RUN go get github.com/golang/protobuf/proto && \
|
||||
go get github.com/twitchtv/protogen/typemap && \
|
||||
go get github.com/tclem/twirp-haskell/pkg/gen/haskell && \
|
||||
go get github.com/tclem/twirp-haskell/protoc-gen-haskell
|
||||
GO111MODULE=on go get github.com/tclem/twirp-haskell/protoc-gen-twirp_haskell@proto-lens
|
||||
|
||||
ENTRYPOINT ["/protobuf/bin/protoc", "-I/protobuf", "-I=/go/src/github.com/tclem/twirp-haskell"]
|
||||
COPY --from=haskell /root/.cabal/bin/proto-lens-protoc /usr/local/bin/proto-lens-protoc
|
||||
|
||||
ENTRYPOINT ["/protobuf/bin/protoc", "-I/protobuf", "--plugin=protoc-gen-haskell=/usr/local/bin/proto-lens-protoc"]
|
||||
|
||||
# Build semantic
|
||||
FROM haskell:8.6 as build
|
||||
|
||||
@ -14,6 +14,5 @@ export PROJECT="github.com/github/semantic"
|
||||
|
||||
# Generate Haskell for semantic's protobuf types
|
||||
docker run --rm --user $(id -u):$(id -g) -v $(pwd):/go/src/$PROJECT -w /go/src/$PROJECT \
|
||||
semantic-protoc \
|
||||
--proto_path=proto --haskell_out=src/Semantic/Proto \
|
||||
semantic-protoc --proto_path=proto --haskell_out=./src \
|
||||
semantic.proto
|
||||
|
||||
@ -71,9 +71,9 @@ common dependencies
|
||||
, text ^>= 1.2.3.1
|
||||
, these >= 0.7 && <1
|
||||
, unix ^>= 2.7.2.2
|
||||
, proto-lens == 0.4.0.1
|
||||
, proto-lens == 0.5.1.0
|
||||
, proto-lens-json == 0.3.0.0
|
||||
, proto-lens-runtime == 0.4.0.2
|
||||
, proto-lens-runtime == 0.5.0.0
|
||||
, lingo >= 0.2.0.0
|
||||
|
||||
common executable-flags
|
||||
|
||||
File diff suppressed because it is too large
Load Diff
@ -2,15 +2,32 @@
|
||||
{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies,
|
||||
UndecidableInstances, GeneralizedNewtypeDeriving,
|
||||
MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
|
||||
PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds #-}
|
||||
PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds,
|
||||
BangPatterns, TypeApplications #-}
|
||||
{-# OPTIONS_GHC -fno-warn-unused-imports#-}
|
||||
{-# OPTIONS_GHC -Wno-missing-export-lists #-} -- Manually added for semantic's project settings
|
||||
{-# OPTIONS_GHC -fno-warn-duplicate-exports#-}
|
||||
module Proto.Semantic_Fields where
|
||||
import qualified Data.ProtoLens.Runtime.Prelude as Prelude
|
||||
import qualified Data.ProtoLens.Runtime.Data.Int as Data.Int
|
||||
import qualified Data.ProtoLens.Runtime.Data.Monoid as Data.Monoid
|
||||
import qualified Data.ProtoLens.Runtime.Data.Word as Data.Word
|
||||
import qualified Data.ProtoLens.Runtime.Data.ProtoLens
|
||||
as Data.ProtoLens
|
||||
import qualified
|
||||
Data.ProtoLens.Runtime.Data.ProtoLens.Encoding.Bytes
|
||||
as Data.ProtoLens.Encoding.Bytes
|
||||
import qualified
|
||||
Data.ProtoLens.Runtime.Data.ProtoLens.Encoding.Growing
|
||||
as Data.ProtoLens.Encoding.Growing
|
||||
import qualified
|
||||
Data.ProtoLens.Runtime.Data.ProtoLens.Encoding.Parser.Unsafe
|
||||
as Data.ProtoLens.Encoding.Parser.Unsafe
|
||||
import qualified
|
||||
Data.ProtoLens.Runtime.Data.ProtoLens.Encoding.Wire
|
||||
as Data.ProtoLens.Encoding.Wire
|
||||
import qualified Data.ProtoLens.Runtime.Data.ProtoLens.Field
|
||||
as Data.ProtoLens.Field
|
||||
import qualified Data.ProtoLens.Runtime.Data.ProtoLens.Message.Enum
|
||||
as Data.ProtoLens.Message.Enum
|
||||
import qualified
|
||||
@ -26,398 +43,362 @@ import qualified Data.ProtoLens.Runtime.Data.ByteString
|
||||
as Data.ByteString
|
||||
import qualified Data.ProtoLens.Runtime.Data.ByteString.Char8
|
||||
as Data.ByteString.Char8
|
||||
import qualified Data.ProtoLens.Runtime.Lens.Labels as Lens.Labels
|
||||
import qualified Data.ProtoLens.Runtime.Data.Text.Encoding
|
||||
as Data.Text.Encoding
|
||||
import qualified Data.ProtoLens.Runtime.Data.Vector as Data.Vector
|
||||
import qualified Data.ProtoLens.Runtime.Data.Vector.Generic
|
||||
as Data.Vector.Generic
|
||||
import qualified Data.ProtoLens.Runtime.Data.Vector.Unboxed
|
||||
as Data.Vector.Unboxed
|
||||
import qualified Data.ProtoLens.Runtime.Text.Read as Text.Read
|
||||
|
||||
after ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "after" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "after" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
after
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "after")
|
||||
after = Data.ProtoLens.Field.field @"after"
|
||||
afterSpan ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "afterSpan" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "afterSpan" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
afterSpan
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "afterSpan")
|
||||
afterSpan = Data.ProtoLens.Field.field @"afterSpan"
|
||||
afterTerm ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "afterTerm" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "afterTerm" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
afterTerm
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "afterTerm")
|
||||
afterTerm = Data.ProtoLens.Field.field @"afterTerm"
|
||||
before ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "before" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "before" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
before
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "before")
|
||||
before = Data.ProtoLens.Field.field @"before"
|
||||
beforeSpan ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "beforeSpan" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "beforeSpan" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
beforeSpan
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "beforeSpan")
|
||||
beforeSpan = Data.ProtoLens.Field.field @"beforeSpan"
|
||||
beforeTerm ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "beforeTerm" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "beforeTerm" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
beforeTerm
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "beforeTerm")
|
||||
beforeTerm = Data.ProtoLens.Field.field @"beforeTerm"
|
||||
blobOid ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "blobOid" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "blobOid" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
blobOid
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "blobOid")
|
||||
blobOid = Data.ProtoLens.Field.field @"blobOid"
|
||||
blobs ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "blobs" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "blobs" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
blobs
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "blobs")
|
||||
blobs = Data.ProtoLens.Field.field @"blobs"
|
||||
category ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "category" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "category" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
category
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "category")
|
||||
category = Data.ProtoLens.Field.field @"category"
|
||||
changeType ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "changeType" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "changeType" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
changeType
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "changeType")
|
||||
changeType = Data.ProtoLens.Field.field @"changeType"
|
||||
changes ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "changes" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "changes" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
changes
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "changes")
|
||||
changes = Data.ProtoLens.Field.field @"changes"
|
||||
column ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "column" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "column" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
column
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "column")
|
||||
column = Data.ProtoLens.Field.field @"column"
|
||||
content ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "content" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "content" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
content
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "content")
|
||||
content = Data.ProtoLens.Field.field @"content"
|
||||
deleted ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "deleted" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "deleted" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
deleted
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "deleted")
|
||||
deleted = Data.ProtoLens.Field.field @"deleted"
|
||||
diffVertexId ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "diffVertexId" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "diffVertexId" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
diffVertexId
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "diffVertexId")
|
||||
diffVertexId = Data.ProtoLens.Field.field @"diffVertexId"
|
||||
docs ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "docs" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "docs" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
docs
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "docs")
|
||||
docs = Data.ProtoLens.Field.field @"docs"
|
||||
docstring ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "docstring" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "docstring" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
docstring
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "docstring")
|
||||
docstring = Data.ProtoLens.Field.field @"docstring"
|
||||
edges ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "edges" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "edges" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
edges
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "edges")
|
||||
edges = Data.ProtoLens.Field.field @"edges"
|
||||
end ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "end" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "end" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
end
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "end")
|
||||
end = Data.ProtoLens.Field.field @"end"
|
||||
error ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "error" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "error" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
error
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "error")
|
||||
error = Data.ProtoLens.Field.field @"error"
|
||||
errors ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "errors" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "errors" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
errors
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "errors")
|
||||
errors = Data.ProtoLens.Field.field @"errors"
|
||||
files ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "files" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "files" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
files
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "files")
|
||||
files = Data.ProtoLens.Field.field @"files"
|
||||
hostname ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "hostname" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "hostname" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
hostname
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "hostname")
|
||||
hostname = Data.ProtoLens.Field.field @"hostname"
|
||||
inserted ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "inserted" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "inserted" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
inserted
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "inserted")
|
||||
inserted = Data.ProtoLens.Field.field @"inserted"
|
||||
kind ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "kind" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "kind" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
kind
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "kind")
|
||||
kind = Data.ProtoLens.Field.field @"kind"
|
||||
language ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "language" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "language" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
language
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "language")
|
||||
language = Data.ProtoLens.Field.field @"language"
|
||||
line ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "line" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "line" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
line
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "line")
|
||||
line = Data.ProtoLens.Field.field @"line"
|
||||
maybe'after ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'after" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'after" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'after
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'after")
|
||||
maybe'after = Data.ProtoLens.Field.field @"maybe'after"
|
||||
maybe'afterSpan ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'afterSpan" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'afterSpan" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'afterSpan
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'afterSpan")
|
||||
maybe'afterSpan = Data.ProtoLens.Field.field @"maybe'afterSpan"
|
||||
maybe'before ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'before" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'before" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'before
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'before")
|
||||
maybe'before = Data.ProtoLens.Field.field @"maybe'before"
|
||||
maybe'beforeSpan ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'beforeSpan" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'beforeSpan" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'beforeSpan
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'beforeSpan")
|
||||
maybe'beforeSpan = Data.ProtoLens.Field.field @"maybe'beforeSpan"
|
||||
maybe'deleted ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'deleted" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'deleted" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'deleted
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'deleted")
|
||||
maybe'deleted = Data.ProtoLens.Field.field @"maybe'deleted"
|
||||
maybe'diffTerm ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'diffTerm" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'diffTerm" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'diffTerm
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'diffTerm")
|
||||
maybe'diffTerm = Data.ProtoLens.Field.field @"maybe'diffTerm"
|
||||
maybe'docs ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'docs" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'docs" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'docs
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'docs")
|
||||
maybe'docs = Data.ProtoLens.Field.field @"maybe'docs"
|
||||
maybe'end ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'end" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'end" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'end
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'end")
|
||||
maybe'end = Data.ProtoLens.Field.field @"maybe'end"
|
||||
maybe'inserted ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'inserted" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'inserted" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'inserted
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'inserted")
|
||||
maybe'inserted = Data.ProtoLens.Field.field @"maybe'inserted"
|
||||
maybe'merged ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'merged" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'merged" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'merged
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'merged")
|
||||
maybe'merged = Data.ProtoLens.Field.field @"maybe'merged"
|
||||
maybe'replaced ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'replaced" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'replaced" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'replaced
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'replaced")
|
||||
maybe'replaced = Data.ProtoLens.Field.field @"maybe'replaced"
|
||||
maybe'span ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'span" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'span" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'span
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'span")
|
||||
maybe'span = Data.ProtoLens.Field.field @"maybe'span"
|
||||
maybe'start ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "maybe'start" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "maybe'start" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
maybe'start
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'start")
|
||||
maybe'start = Data.ProtoLens.Field.field @"maybe'start"
|
||||
merged ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "merged" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "merged" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
merged
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "merged")
|
||||
merged = Data.ProtoLens.Field.field @"merged"
|
||||
path ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "path" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "path" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
path
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "path")
|
||||
path = Data.ProtoLens.Field.field @"path"
|
||||
replaced ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "replaced" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "replaced" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
replaced
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "replaced")
|
||||
replaced = Data.ProtoLens.Field.field @"replaced"
|
||||
service ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "service" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "service" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
service
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "service")
|
||||
service = Data.ProtoLens.Field.field @"service"
|
||||
sha ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "sha" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "sha" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
sha
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "sha")
|
||||
sha = Data.ProtoLens.Field.field @"sha"
|
||||
source ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "source" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "source" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
source
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "source")
|
||||
source = Data.ProtoLens.Field.field @"source"
|
||||
span ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "span" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "span" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
span
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "span")
|
||||
span = Data.ProtoLens.Field.field @"span"
|
||||
start ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "start" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "start" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
start
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "start")
|
||||
start = Data.ProtoLens.Field.field @"start"
|
||||
status ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "status" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "status" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
status
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "status")
|
||||
status = Data.ProtoLens.Field.field @"status"
|
||||
symbol ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "symbol" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "symbol" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
symbol
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "symbol")
|
||||
symbol = Data.ProtoLens.Field.field @"symbol"
|
||||
symbols ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "symbols" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "symbols" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
symbols
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "symbols")
|
||||
symbols = Data.ProtoLens.Field.field @"symbols"
|
||||
target ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "target" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "target" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
target
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "target")
|
||||
target = Data.ProtoLens.Field.field @"target"
|
||||
term ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "term" a) =>
|
||||
(Prelude.Functor f, Data.ProtoLens.Field.HasField s "term" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
term
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "term")
|
||||
term = Data.ProtoLens.Field.field @"term"
|
||||
timestamp ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "timestamp" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "timestamp" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
timestamp
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "timestamp")
|
||||
timestamp = Data.ProtoLens.Field.field @"timestamp"
|
||||
vec'blobs ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vec'blobs" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vec'blobs = Data.ProtoLens.Field.field @"vec'blobs"
|
||||
vec'changes ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vec'changes" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vec'changes = Data.ProtoLens.Field.field @"vec'changes"
|
||||
vec'edges ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vec'edges" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vec'edges = Data.ProtoLens.Field.field @"vec'edges"
|
||||
vec'errors ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vec'errors" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vec'errors = Data.ProtoLens.Field.field @"vec'errors"
|
||||
vec'files ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vec'files" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vec'files = Data.ProtoLens.Field.field @"vec'files"
|
||||
vec'symbols ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vec'symbols" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vec'symbols = Data.ProtoLens.Field.field @"vec'symbols"
|
||||
vec'vertices ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vec'vertices" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vec'vertices = Data.ProtoLens.Field.field @"vec'vertices"
|
||||
vertexId ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "vertexId" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vertexId" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vertexId
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "vertexId")
|
||||
vertexId = Data.ProtoLens.Field.field @"vertexId"
|
||||
vertices ::
|
||||
forall f s a .
|
||||
(Prelude.Functor f, Lens.Labels.HasLens' s "vertices" a) =>
|
||||
(Prelude.Functor f,
|
||||
Data.ProtoLens.Field.HasField s "vertices" a) =>
|
||||
Lens.Family2.LensLike' f s a
|
||||
vertices
|
||||
= Lens.Labels.lensOf'
|
||||
((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "vertices")
|
||||
vertices = Data.ProtoLens.Field.field @"vertices"
|
||||
|
||||
@ -57,7 +57,7 @@ diffStyle name = (defaultStyle (fromString . show . view diffVertexId))
|
||||
vertexAttributes v = case v^.maybe'diffTerm of
|
||||
Just (DiffTreeVertex'Deleted x) -> [ "label" := fromString (T.unpack (x^.term)), "color" := "red" ]
|
||||
Just (DiffTreeVertex'Inserted x) -> [ "label" := fromString (T.unpack (x^.term)), "color" := "green" ]
|
||||
Just (DiffTreeVertex'Replaced x) -> [ "label" := "Replacement", "color" := "orange", "style" := "dashed" ]
|
||||
Just (DiffTreeVertex'Replaced _) -> [ "label" := "Replacement", "color" := "orange", "style" := "dashed" ]
|
||||
Just (DiffTreeVertex'Merged x) -> [ "label" := fromString (T.unpack (x^.term)) ]
|
||||
_ -> []
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user