diff --git a/bindings/haskell/src/Proto/Scip.hs b/bindings/haskell/src/Proto/Scip.hs index fd28ba3d..81fdb913 100644 --- a/bindings/haskell/src/Proto/Scip.hs +++ b/bindings/haskell/src/Proto/Scip.hs @@ -172,26 +172,16 @@ instance Data.ProtoLens.Message Descriptor where case tag of 10 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "name" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"name") y x) 18 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "disambiguator" loop (Lens.Family2.set @@ -572,42 +562,27 @@ instance Data.ProtoLens.Message Diagnostic where mutable'tags 18 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "code" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"code") y x) mutable'tags 26 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "message" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"message") y x) mutable'tags 34 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "source" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"source") y x) @@ -1036,28 +1011,18 @@ instance Data.ProtoLens.Message Document where case tag of 34 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "language" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"language") y x) mutable'occurrences mutable'symbols 10 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "relative_path" loop (Lens.Family2.set @@ -1086,14 +1051,9 @@ instance Data.ProtoLens.Message Document where loop x mutable'occurrences v 42 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "text" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"text") y x) @@ -2459,14 +2419,9 @@ instance Data.ProtoLens.Message Metadata where (Lens.Family2.set (Data.ProtoLens.Field.field @"toolInfo") y x) 26 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "project_root" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"projectRoot") y x) @@ -2868,14 +2823,9 @@ instance Data.ProtoLens.Message Occurrence where mutable'overrideDocumentation y 18 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "symbol" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"symbol") y x) @@ -2893,14 +2843,9 @@ instance Data.ProtoLens.Message Occurrence where mutable'overrideDocumentation mutable'range 34 -> do !y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "override_documentation" v <- Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO (Data.ProtoLens.Encoding.Growing.append @@ -3232,38 +3177,23 @@ instance Data.ProtoLens.Message Package where case tag of 10 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "manager" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"manager") y x) 18 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "name" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"name") y x) 26 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "version" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"version") y x) wire @@ -3638,14 +3568,9 @@ instance Data.ProtoLens.Message Relationship where case tag of 10 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "symbol" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"symbol") y x) 16 @@ -3990,14 +3915,9 @@ instance Data.ProtoLens.Message Symbol where case tag of 10 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "scheme" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"scheme") y x) @@ -4432,28 +4352,18 @@ instance Data.ProtoLens.Message SymbolInformation where case tag of 10 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "symbol" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"symbol") y x) mutable'documentation mutable'relationships 26 -> do !y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "documentation" v <- Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO (Data.ProtoLens.Encoding.Growing.append @@ -4483,14 +4393,9 @@ instance Data.ProtoLens.Message SymbolInformation where mutable'documentation mutable'relationships 50 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "display_name" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"displayName") y x) @@ -4507,14 +4412,9 @@ instance Data.ProtoLens.Message SymbolInformation where mutable'documentation mutable'relationships 66 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "enclosing_symbol" loop (Lens.Family2.set @@ -6000,42 +5900,27 @@ instance Data.ProtoLens.Message ToolInfo where case tag of 10 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "name" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"name") y x) mutable'arguments 18 -> do y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "version" loop (Lens.Family2.set (Data.ProtoLens.Field.field @"version") y x) mutable'arguments 26 -> do !y <- (Data.ProtoLens.Encoding.Bytes.) - (do value <- do len <- Data.ProtoLens.Encoding.Bytes.getVarInt - Data.ProtoLens.Encoding.Bytes.getBytes - (Prelude.fromIntegral len) - Data.ProtoLens.Encoding.Bytes.runEither - (case Data.Text.Encoding.decodeUtf8' value of - (Prelude.Left err) - -> Prelude.Left (Prelude.show err) - (Prelude.Right r) -> Prelude.Right r)) + (do len <- Data.ProtoLens.Encoding.Bytes.getVarInt + Data.ProtoLens.Encoding.Bytes.getText + (Prelude.fromIntegral len)) "arguments" v <- Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO (Data.ProtoLens.Encoding.Growing.append mutable'arguments y)