ea07a8d · rowtype-yoga/purescript-protobuf

git.iko.soy/rowtype-yoga/purescript-protobuf

Eq and Show

commitea07a8d42248e782069e261207d4ce66a6f67eeb authorJames Brock <jamesbrock@gmail.com> dateTue 13 Oct 2020, 00:18 (6 years ago) parent44d3e86

4 files changed+78−5

compare with master

unifiedsplit

src/Protobuf/Runtime.purs+6 src/ProtocPlugin/Main.purs+10−5 src/ProtocPlugin/descriptor.Google.Protobuf.purs+54 src/ProtocPlugin/plugin.Google.Protobuf.Compiler.purs+8

src/Protobuf/Runtime.purs+6

@@ -41,6 +41,8 @@ import Data.Tuple (Tuple(..))

4141import Data.UInt (UInt)

4242import Data.UInt as UInt

4343import Effect.Class (class MonadEffect)

44+import Data.Generic.Rep (class Generic)

45+import Data.Generic.Rep.Show (genericShow)

4446import Protobuf.Common (FieldNumber, WireType(..), Bytes(..))

4547import Protobuf.Decode as Decode

4648import Protobuf.Encode as Encode

@@ -117,6 +119,10 @@ data UnknownField

117119 | UnknownLenDel FieldNumber Bytes

118120 | UnknownBits32 FieldNumber UInt

119121

122+derive instance eqUnknownField :: Eq UnknownField

123+derive instance genericUnknownField :: Generic UnknownField _

124+instance showUnknownField :: Show UnknownField where show = genericShow

125+

120126-- | Parse and preserve an unknown field.

121127parseFieldUnknown

122128 :: forall m r

src/ProtocPlugin/Main.purs+10−5

@@ -336,7 +336,6 @@ import Protobuf.Runtime as Runtime

336336-- | data type so that we can nest records, otherwise we get

337337-- | https://github.com/purescript/documentation/blob/master/errors/CycleInTypeSynonym.md

338338-- | And so that we can assign instances.

339−-- | We also get the cycle error if we try to give the messages Show instances.

340339 genMessage :: ScopedMsg -> String

341340 genMessage (ScopedMsg nameSpace (DescriptorProto {name: Just msgName, field, oneof_decl})) =

342341 let tname = mkTypeName $ nameSpace <> [msgName]

@@ -353,6 +352,9 @@ import Protobuf.Runtime as Runtime

353352 , "newtype " <> tname <> " = " <> tname <> " " <> tname <> "R"

354353 , "derive instance generic" <> tname <> " :: Generic.Rep.Generic " <> tname <> " _"

355354 , "derive instance newtype" <> tname <> " :: Newtype.Newtype " <> tname <> " _"

355+ , "derive instance eq" <> tname <> " :: Eq.Eq " <> tname

356+ -- https://github.com/purescript/purescript/issues/2975#issuecomment-313650710

357+ , "instance show" <> tname <> " :: Show.Show " <> tname <> " where show x = Generic.Rep.Show.genericShow x"

356358 , ""

357359 , "put" <> tname <> " :: forall m. Effect.MonadEffect m => " <> tname <> " -> ArrayBuffer.Builder.PutM m Unit.Unit"

358360 , "put" <> tname <> " (" <> tname <> " r) = do"

@@ -393,10 +395,13 @@ import Protobuf.Runtime as Runtime

393395 -> Int

394396 -> OneofDescriptorProto

395397 -> String

396− genTypeOneof nameSpace field indexOneof (OneofDescriptorProto {name: Just oname}) =

397− "\ndata " <> cname <> "\n = "

398− <> (String.joinWith "\n | " (mapMaybe go field))

399− <> "\nderive instance generic" <> cname <> " :: Generic.Rep.Generic " <> cname <> " _"

398+ genTypeOneof nameSpace field indexOneof (OneofDescriptorProto {name: Just oname}) = String.joinWith "\n"

399+ [ "data " <> cname

400+ , " = " <> (String.joinWith "\n | " (mapMaybe go field))

401+ , "derive instance generic" <> cname <> " :: Generic.Rep.Generic " <> cname <> " _"

402+ , "derive instance eq" <> cname <> " :: Eq.Eq " <> cname

403+ , "instance show" <> cname <> " :: Show.Show " <> cname <> " where show = Generic.Rep.Show.genericShow"

404+ ]

400405 where

401406 cname = String.joinWith "_" $ map capitalize $ nameSpace <> [oname]

402407 go :: FieldDescriptorProto -> Maybe String

src/ProtocPlugin/descriptor.Google.Protobuf.purs+54

@@ -81,6 +81,8 @@ type FileDescriptorSetR = Record FileDescriptorSetRow

8181newtype FileDescriptorSet = FileDescriptorSet FileDescriptorSetR

8282derive instance genericFileDescriptorSet :: Generic.Rep.Generic FileDescriptorSet _

8383derive instance newtypeFileDescriptorSet :: Newtype.Newtype FileDescriptorSet _

84+derive instance eqFileDescriptorSet :: Eq.Eq FileDescriptorSet

85+instance showFileDescriptorSet :: Show.Show FileDescriptorSet where show = Generic.Rep.Show.genericShow

8486

8587putFileDescriptorSet :: forall m. Effect.MonadEffect m => FileDescriptorSet -> ArrayBuffer.Builder.PutM m Unit.Unit

8688putFileDescriptorSet (FileDescriptorSet r) = do

@@ -129,6 +131,8 @@ type FileDescriptorProtoR = Record FileDescriptorProtoRow

129131newtype FileDescriptorProto = FileDescriptorProto FileDescriptorProtoR

130132derive instance genericFileDescriptorProto :: Generic.Rep.Generic FileDescriptorProto _

131133derive instance newtypeFileDescriptorProto :: Newtype.Newtype FileDescriptorProto _

134+derive instance eqFileDescriptorProto :: Eq.Eq FileDescriptorProto

135+instance showFileDescriptorProto :: Show.Show FileDescriptorProto where show = Generic.Rep.Show.genericShow

132136

133137putFileDescriptorProto :: forall m. Effect.MonadEffect m => FileDescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

134138putFileDescriptorProto (FileDescriptorProto r) = do

@@ -236,6 +240,8 @@ type DescriptorProtoR = Record DescriptorProtoRow

236240newtype DescriptorProto = DescriptorProto DescriptorProtoR

237241derive instance genericDescriptorProto :: Generic.Rep.Generic DescriptorProto _

238242derive instance newtypeDescriptorProto :: Newtype.Newtype DescriptorProto _

243+derive instance eqDescriptorProto :: Eq.Eq DescriptorProto

244+instance showDescriptorProto :: Show.Show DescriptorProto where show x = Generic.Rep.Show.genericShow x

239245

240246putDescriptorProto :: forall m. Effect.MonadEffect m => DescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

241247putDescriptorProto (DescriptorProto r) = do

@@ -320,6 +326,8 @@ type DescriptorProto_ExtensionRangeR = Record DescriptorProto_ExtensionRangeRow

320326newtype DescriptorProto_ExtensionRange = DescriptorProto_ExtensionRange DescriptorProto_ExtensionRangeR

321327derive instance genericDescriptorProto_ExtensionRange :: Generic.Rep.Generic DescriptorProto_ExtensionRange _

322328derive instance newtypeDescriptorProto_ExtensionRange :: Newtype.Newtype DescriptorProto_ExtensionRange _

329+derive instance eqDescriptorProto_ExtensionRange :: Eq.Eq DescriptorProto_ExtensionRange

330+instance showDescriptorProto_ExtensionRange :: Show.Show DescriptorProto_ExtensionRange where show = Generic.Rep.Show.genericShow

323331

324332putDescriptorProto_ExtensionRange :: forall m. Effect.MonadEffect m => DescriptorProto_ExtensionRange -> ArrayBuffer.Builder.PutM m Unit.Unit

325333putDescriptorProto_ExtensionRange (DescriptorProto_ExtensionRange r) = do

@@ -368,6 +376,8 @@ type DescriptorProto_ReservedRangeR = Record DescriptorProto_ReservedRangeRow

368376newtype DescriptorProto_ReservedRange = DescriptorProto_ReservedRange DescriptorProto_ReservedRangeR

369377derive instance genericDescriptorProto_ReservedRange :: Generic.Rep.Generic DescriptorProto_ReservedRange _

370378derive instance newtypeDescriptorProto_ReservedRange :: Newtype.Newtype DescriptorProto_ReservedRange _

379+derive instance eqDescriptorProto_ReservedRange :: Eq.Eq DescriptorProto_ReservedRange

380+instance showDescriptorProto_ReservedRange :: Show.Show DescriptorProto_ReservedRange where show = Generic.Rep.Show.genericShow

371381

372382putDescriptorProto_ReservedRange :: forall m. Effect.MonadEffect m => DescriptorProto_ReservedRange -> ArrayBuffer.Builder.PutM m Unit.Unit

373383putDescriptorProto_ReservedRange (DescriptorProto_ReservedRange r) = do

@@ -410,6 +420,8 @@ type ExtensionRangeOptionsR = Record ExtensionRangeOptionsRow

410420newtype ExtensionRangeOptions = ExtensionRangeOptions ExtensionRangeOptionsR

411421derive instance genericExtensionRangeOptions :: Generic.Rep.Generic ExtensionRangeOptions _

412422derive instance newtypeExtensionRangeOptions :: Newtype.Newtype ExtensionRangeOptions _

423+derive instance eqExtensionRangeOptions :: Eq.Eq ExtensionRangeOptions

424+instance showExtensionRangeOptions :: Show.Show ExtensionRangeOptions where show = Generic.Rep.Show.genericShow

413425

414426putExtensionRangeOptions :: forall m. Effect.MonadEffect m => ExtensionRangeOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

415427putExtensionRangeOptions (ExtensionRangeOptions r) = do

@@ -456,6 +468,8 @@ type FieldDescriptorProtoR = Record FieldDescriptorProtoRow

456468newtype FieldDescriptorProto = FieldDescriptorProto FieldDescriptorProtoR

457469derive instance genericFieldDescriptorProto :: Generic.Rep.Generic FieldDescriptorProto _

458470derive instance newtypeFieldDescriptorProto :: Newtype.Newtype FieldDescriptorProto _

471+derive instance eqFieldDescriptorProto :: Eq.Eq FieldDescriptorProto

472+instance showFieldDescriptorProto :: Show.Show FieldDescriptorProto where show = Generic.Rep.Show.genericShow

459473

460474putFieldDescriptorProto :: forall m. Effect.MonadEffect m => FieldDescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

461475putFieldDescriptorProto (FieldDescriptorProto r) = do

@@ -539,6 +553,8 @@ type OneofDescriptorProtoR = Record OneofDescriptorProtoRow

539553newtype OneofDescriptorProto = OneofDescriptorProto OneofDescriptorProtoR

540554derive instance genericOneofDescriptorProto :: Generic.Rep.Generic OneofDescriptorProto _

541555derive instance newtypeOneofDescriptorProto :: Newtype.Newtype OneofDescriptorProto _

556+derive instance eqOneofDescriptorProto :: Eq.Eq OneofDescriptorProto

557+instance showOneofDescriptorProto :: Show.Show OneofDescriptorProto where show = Generic.Rep.Show.genericShow

542558

543559putOneofDescriptorProto :: forall m. Effect.MonadEffect m => OneofDescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

544560putOneofDescriptorProto (OneofDescriptorProto r) = do

@@ -585,6 +601,8 @@ type EnumDescriptorProtoR = Record EnumDescriptorProtoRow

585601newtype EnumDescriptorProto = EnumDescriptorProto EnumDescriptorProtoR

586602derive instance genericEnumDescriptorProto :: Generic.Rep.Generic EnumDescriptorProto _

587603derive instance newtypeEnumDescriptorProto :: Newtype.Newtype EnumDescriptorProto _

604+derive instance eqEnumDescriptorProto :: Eq.Eq EnumDescriptorProto

605+instance showEnumDescriptorProto :: Show.Show EnumDescriptorProto where show = Generic.Rep.Show.genericShow

588606

589607putEnumDescriptorProto :: forall m. Effect.MonadEffect m => EnumDescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

590608putEnumDescriptorProto (EnumDescriptorProto r) = do

@@ -643,6 +661,8 @@ type EnumDescriptorProto_EnumReservedRangeR = Record EnumDescriptorProto_EnumRes

643661newtype EnumDescriptorProto_EnumReservedRange = EnumDescriptorProto_EnumReservedRange EnumDescriptorProto_EnumReservedRangeR

644662derive instance genericEnumDescriptorProto_EnumReservedRange :: Generic.Rep.Generic EnumDescriptorProto_EnumReservedRange _

645663derive instance newtypeEnumDescriptorProto_EnumReservedRange :: Newtype.Newtype EnumDescriptorProto_EnumReservedRange _

664+derive instance eqEnumDescriptorProto_EnumReservedRange :: Eq.Eq EnumDescriptorProto_EnumReservedRange

665+instance showEnumDescriptorProto_EnumReservedRange :: Show.Show EnumDescriptorProto_EnumReservedRange where show = Generic.Rep.Show.genericShow

646666

647667putEnumDescriptorProto_EnumReservedRange :: forall m. Effect.MonadEffect m => EnumDescriptorProto_EnumReservedRange -> ArrayBuffer.Builder.PutM m Unit.Unit

648668putEnumDescriptorProto_EnumReservedRange (EnumDescriptorProto_EnumReservedRange r) = do

@@ -687,6 +707,8 @@ type EnumValueDescriptorProtoR = Record EnumValueDescriptorProtoRow

687707newtype EnumValueDescriptorProto = EnumValueDescriptorProto EnumValueDescriptorProtoR

688708derive instance genericEnumValueDescriptorProto :: Generic.Rep.Generic EnumValueDescriptorProto _

689709derive instance newtypeEnumValueDescriptorProto :: Newtype.Newtype EnumValueDescriptorProto _

710+derive instance eqEnumValueDescriptorProto :: Eq.Eq EnumValueDescriptorProto

711+instance showEnumValueDescriptorProto :: Show.Show EnumValueDescriptorProto where show = Generic.Rep.Show.genericShow

690712

691713putEnumValueDescriptorProto :: forall m. Effect.MonadEffect m => EnumValueDescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

692714putEnumValueDescriptorProto (EnumValueDescriptorProto r) = do

@@ -736,6 +758,8 @@ type ServiceDescriptorProtoR = Record ServiceDescriptorProtoRow

736758newtype ServiceDescriptorProto = ServiceDescriptorProto ServiceDescriptorProtoR

737759derive instance genericServiceDescriptorProto :: Generic.Rep.Generic ServiceDescriptorProto _

738760derive instance newtypeServiceDescriptorProto :: Newtype.Newtype ServiceDescriptorProto _

761+derive instance eqServiceDescriptorProto :: Eq.Eq ServiceDescriptorProto

762+instance showServiceDescriptorProto :: Show.Show ServiceDescriptorProto where show = Generic.Rep.Show.genericShow

739763

740764putServiceDescriptorProto :: forall m. Effect.MonadEffect m => ServiceDescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

741765putServiceDescriptorProto (ServiceDescriptorProto r) = do

@@ -788,6 +812,8 @@ type MethodDescriptorProtoR = Record MethodDescriptorProtoRow

788812newtype MethodDescriptorProto = MethodDescriptorProto MethodDescriptorProtoR

789813derive instance genericMethodDescriptorProto :: Generic.Rep.Generic MethodDescriptorProto _

790814derive instance newtypeMethodDescriptorProto :: Newtype.Newtype MethodDescriptorProto _

815+derive instance eqMethodDescriptorProto :: Eq.Eq MethodDescriptorProto

816+instance showMethodDescriptorProto :: Show.Show MethodDescriptorProto where show = Generic.Rep.Show.genericShow

791817

792818putMethodDescriptorProto :: forall m. Effect.MonadEffect m => MethodDescriptorProto -> ArrayBuffer.Builder.PutM m Unit.Unit

793819putMethodDescriptorProto (MethodDescriptorProto r) = do

@@ -870,6 +896,8 @@ type FileOptionsR = Record FileOptionsRow

870896newtype FileOptions = FileOptions FileOptionsR

871897derive instance genericFileOptions :: Generic.Rep.Generic FileOptions _

872898derive instance newtypeFileOptions :: Newtype.Newtype FileOptions _

899+derive instance eqFileOptions :: Eq.Eq FileOptions

900+instance showFileOptions :: Show.Show FileOptions where show = Generic.Rep.Show.genericShow

873901

874902putFileOptions :: forall m. Effect.MonadEffect m => FileOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

875903putFileOptions (FileOptions r) = do

@@ -1011,6 +1039,8 @@ type MessageOptionsR = Record MessageOptionsRow

10111039newtype MessageOptions = MessageOptions MessageOptionsR

10121040derive instance genericMessageOptions :: Generic.Rep.Generic MessageOptions _

10131041derive instance newtypeMessageOptions :: Newtype.Newtype MessageOptions _

1042+derive instance eqMessageOptions :: Eq.Eq MessageOptions

1043+instance showMessageOptions :: Show.Show MessageOptions where show = Generic.Rep.Show.genericShow

10141044

10151045putMessageOptions :: forall m. Effect.MonadEffect m => MessageOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

10161046putMessageOptions (MessageOptions r) = do

@@ -1074,6 +1104,8 @@ type FieldOptionsR = Record FieldOptionsRow

10741104newtype FieldOptions = FieldOptions FieldOptionsR

10751105derive instance genericFieldOptions :: Generic.Rep.Generic FieldOptions _

10761106derive instance newtypeFieldOptions :: Newtype.Newtype FieldOptions _

1107+derive instance eqFieldOptions :: Eq.Eq FieldOptions

1108+instance showFieldOptions :: Show.Show FieldOptions where show = Generic.Rep.Show.genericShow

10771109

10781110putFieldOptions :: forall m. Effect.MonadEffect m => FieldOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

10791111putFieldOptions (FieldOptions r) = do

@@ -1141,6 +1173,8 @@ type OneofOptionsR = Record OneofOptionsRow

11411173newtype OneofOptions = OneofOptions OneofOptionsR

11421174derive instance genericOneofOptions :: Generic.Rep.Generic OneofOptions _

11431175derive instance newtypeOneofOptions :: Newtype.Newtype OneofOptions _

1176+derive instance eqOneofOptions :: Eq.Eq OneofOptions

1177+instance showOneofOptions :: Show.Show OneofOptions where show = Generic.Rep.Show.genericShow

11441178

11451179putOneofOptions :: forall m. Effect.MonadEffect m => OneofOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

11461180putOneofOptions (OneofOptions r) = do

@@ -1180,6 +1214,8 @@ type EnumOptionsR = Record EnumOptionsRow

11801214newtype EnumOptions = EnumOptions EnumOptionsR

11811215derive instance genericEnumOptions :: Generic.Rep.Generic EnumOptions _

11821216derive instance newtypeEnumOptions :: Newtype.Newtype EnumOptions _

1217+derive instance eqEnumOptions :: Eq.Eq EnumOptions

1218+instance showEnumOptions :: Show.Show EnumOptions where show = Generic.Rep.Show.genericShow

11831219

11841220putEnumOptions :: forall m. Effect.MonadEffect m => EnumOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

11851221putEnumOptions (EnumOptions r) = do

@@ -1228,6 +1264,8 @@ type EnumValueOptionsR = Record EnumValueOptionsRow

12281264newtype EnumValueOptions = EnumValueOptions EnumValueOptionsR

12291265derive instance genericEnumValueOptions :: Generic.Rep.Generic EnumValueOptions _

12301266derive instance newtypeEnumValueOptions :: Newtype.Newtype EnumValueOptions _

1267+derive instance eqEnumValueOptions :: Eq.Eq EnumValueOptions

1268+instance showEnumValueOptions :: Show.Show EnumValueOptions where show = Generic.Rep.Show.genericShow

12311269

12321270putEnumValueOptions :: forall m. Effect.MonadEffect m => EnumValueOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

12331271putEnumValueOptions (EnumValueOptions r) = do

@@ -1271,6 +1309,8 @@ type ServiceOptionsR = Record ServiceOptionsRow

12711309newtype ServiceOptions = ServiceOptions ServiceOptionsR

12721310derive instance genericServiceOptions :: Generic.Rep.Generic ServiceOptions _

12731311derive instance newtypeServiceOptions :: Newtype.Newtype ServiceOptions _

1312+derive instance eqServiceOptions :: Eq.Eq ServiceOptions

1313+instance showServiceOptions :: Show.Show ServiceOptions where show = Generic.Rep.Show.genericShow

12741314

12751315putServiceOptions :: forall m. Effect.MonadEffect m => ServiceOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

12761316putServiceOptions (ServiceOptions r) = do

@@ -1315,6 +1355,8 @@ type MethodOptionsR = Record MethodOptionsRow

13151355newtype MethodOptions = MethodOptions MethodOptionsR

13161356derive instance genericMethodOptions :: Generic.Rep.Generic MethodOptions _

13171357derive instance newtypeMethodOptions :: Newtype.Newtype MethodOptions _

1358+derive instance eqMethodOptions :: Eq.Eq MethodOptions

1359+instance showMethodOptions :: Show.Show MethodOptions where show = Generic.Rep.Show.genericShow

13181360

13191361putMethodOptions :: forall m. Effect.MonadEffect m => MethodOptions -> ArrayBuffer.Builder.PutM m Unit.Unit

13201362putMethodOptions (MethodOptions r) = do

@@ -1368,6 +1410,8 @@ type UninterpretedOptionR = Record UninterpretedOptionRow

13681410newtype UninterpretedOption = UninterpretedOption UninterpretedOptionR

13691411derive instance genericUninterpretedOption :: Generic.Rep.Generic UninterpretedOption _

13701412derive instance newtypeUninterpretedOption :: Newtype.Newtype UninterpretedOption _

1413+derive instance eqUninterpretedOption :: Eq.Eq UninterpretedOption

1414+instance showUninterpretedOption :: Show.Show UninterpretedOption where show = Generic.Rep.Show.genericShow

13711415

13721416putUninterpretedOption :: forall m. Effect.MonadEffect m => UninterpretedOption -> ArrayBuffer.Builder.PutM m Unit.Unit

13731417putUninterpretedOption (UninterpretedOption r) = do

@@ -1436,6 +1480,8 @@ type UninterpretedOption_NamePartR = Record UninterpretedOption_NamePartRow

14361480newtype UninterpretedOption_NamePart = UninterpretedOption_NamePart UninterpretedOption_NamePartR

14371481derive instance genericUninterpretedOption_NamePart :: Generic.Rep.Generic UninterpretedOption_NamePart _

14381482derive instance newtypeUninterpretedOption_NamePart :: Newtype.Newtype UninterpretedOption_NamePart _

1483+derive instance eqUninterpretedOption_NamePart :: Eq.Eq UninterpretedOption_NamePart

1484+instance showUninterpretedOption_NamePart :: Show.Show UninterpretedOption_NamePart where show = Generic.Rep.Show.genericShow

14391485

14401486putUninterpretedOption_NamePart :: forall m. Effect.MonadEffect m => UninterpretedOption_NamePart -> ArrayBuffer.Builder.PutM m Unit.Unit

14411487putUninterpretedOption_NamePart (UninterpretedOption_NamePart r) = do

@@ -1478,6 +1524,8 @@ type SourceCodeInfoR = Record SourceCodeInfoRow

14781524newtype SourceCodeInfo = SourceCodeInfo SourceCodeInfoR

14791525derive instance genericSourceCodeInfo :: Generic.Rep.Generic SourceCodeInfo _

14801526derive instance newtypeSourceCodeInfo :: Newtype.Newtype SourceCodeInfo _

1527+derive instance eqSourceCodeInfo :: Eq.Eq SourceCodeInfo

1528+instance showSourceCodeInfo :: Show.Show SourceCodeInfo where show = Generic.Rep.Show.genericShow

14811529

14821530putSourceCodeInfo :: forall m. Effect.MonadEffect m => SourceCodeInfo -> ArrayBuffer.Builder.PutM m Unit.Unit

14831531putSourceCodeInfo (SourceCodeInfo r) = do

@@ -1519,6 +1567,8 @@ type SourceCodeInfo_LocationR = Record SourceCodeInfo_LocationRow

15191567newtype SourceCodeInfo_Location = SourceCodeInfo_Location SourceCodeInfo_LocationR

15201568derive instance genericSourceCodeInfo_Location :: Generic.Rep.Generic SourceCodeInfo_Location _

15211569derive instance newtypeSourceCodeInfo_Location :: Newtype.Newtype SourceCodeInfo_Location _

1570+derive instance eqSourceCodeInfo_Location :: Eq.Eq SourceCodeInfo_Location

1571+instance showSourceCodeInfo_Location :: Show.Show SourceCodeInfo_Location where show = Generic.Rep.Show.genericShow

15221572

15231573putSourceCodeInfo_Location :: forall m. Effect.MonadEffect m => SourceCodeInfo_Location -> ArrayBuffer.Builder.PutM m Unit.Unit

15241574putSourceCodeInfo_Location (SourceCodeInfo_Location r) = do

@@ -1582,6 +1632,8 @@ type GeneratedCodeInfoR = Record GeneratedCodeInfoRow

15821632newtype GeneratedCodeInfo = GeneratedCodeInfo GeneratedCodeInfoR

15831633derive instance genericGeneratedCodeInfo :: Generic.Rep.Generic GeneratedCodeInfo _

15841634derive instance newtypeGeneratedCodeInfo :: Newtype.Newtype GeneratedCodeInfo _

1635+derive instance eqGeneratedCodeInfo :: Eq.Eq GeneratedCodeInfo

1636+instance showGeneratedCodeInfo :: Show.Show GeneratedCodeInfo where show = Generic.Rep.Show.genericShow

15851637

15861638putGeneratedCodeInfo :: forall m. Effect.MonadEffect m => GeneratedCodeInfo -> ArrayBuffer.Builder.PutM m Unit.Unit

15871639putGeneratedCodeInfo (GeneratedCodeInfo r) = do

@@ -1622,6 +1674,8 @@ type GeneratedCodeInfo_AnnotationR = Record GeneratedCodeInfo_AnnotationRow

16221674newtype GeneratedCodeInfo_Annotation = GeneratedCodeInfo_Annotation GeneratedCodeInfo_AnnotationR

16231675derive instance genericGeneratedCodeInfo_Annotation :: Generic.Rep.Generic GeneratedCodeInfo_Annotation _

16241676derive instance newtypeGeneratedCodeInfo_Annotation :: Newtype.Newtype GeneratedCodeInfo_Annotation _

1677+derive instance eqGeneratedCodeInfo_Annotation :: Eq.Eq GeneratedCodeInfo_Annotation

1678+instance showGeneratedCodeInfo_Annotation :: Show.Show GeneratedCodeInfo_Annotation where show = Generic.Rep.Show.genericShow

16251679

16261680putGeneratedCodeInfo_Annotation :: forall m. Effect.MonadEffect m => GeneratedCodeInfo_Annotation -> ArrayBuffer.Builder.PutM m Unit.Unit

16271681putGeneratedCodeInfo_Annotation (GeneratedCodeInfo_Annotation r) = do

src/ProtocPlugin/plugin.Google.Protobuf.Compiler.purs+8

@@ -56,6 +56,8 @@ type VersionR = Record VersionRow

5656newtype Version = Version VersionR

5757derive instance genericVersion :: Generic.Rep.Generic Version _

5858derive instance newtypeVersion :: Newtype.Newtype Version _

59+derive instance eqVersion :: Eq.Eq Version

60+instance showVersion :: Show.Show Version where show = Generic.Rep.Show.genericShow

5961

6062putVersion :: forall m. Effect.MonadEffect m => Version -> ArrayBuffer.Builder.PutM m Unit.Unit

6163putVersion (Version r) = do

@@ -111,6 +113,8 @@ type CodeGeneratorRequestR = Record CodeGeneratorRequestRow

111113newtype CodeGeneratorRequest = CodeGeneratorRequest CodeGeneratorRequestR

112114derive instance genericCodeGeneratorRequest :: Generic.Rep.Generic CodeGeneratorRequest _

113115derive instance newtypeCodeGeneratorRequest :: Newtype.Newtype CodeGeneratorRequest _

116+derive instance eqCodeGeneratorRequest :: Eq.Eq CodeGeneratorRequest

117+instance showCodeGeneratorRequest :: Show.Show CodeGeneratorRequest where show = Generic.Rep.Show.genericShow

114118

115119putCodeGeneratorRequest :: forall m. Effect.MonadEffect m => CodeGeneratorRequest -> ArrayBuffer.Builder.PutM m Unit.Unit

116120putCodeGeneratorRequest (CodeGeneratorRequest r) = do

@@ -164,6 +168,8 @@ type CodeGeneratorResponseR = Record CodeGeneratorResponseRow

164168newtype CodeGeneratorResponse = CodeGeneratorResponse CodeGeneratorResponseR

165169derive instance genericCodeGeneratorResponse :: Generic.Rep.Generic CodeGeneratorResponse _

166170derive instance newtypeCodeGeneratorResponse :: Newtype.Newtype CodeGeneratorResponse _

171+derive instance eqCodeGeneratorResponse :: Eq.Eq CodeGeneratorResponse

172+instance showCodeGeneratorResponse :: Show.Show CodeGeneratorResponse where show = Generic.Rep.Show.genericShow

167173

168174putCodeGeneratorResponse :: forall m. Effect.MonadEffect m => CodeGeneratorResponse -> ArrayBuffer.Builder.PutM m Unit.Unit

169175putCodeGeneratorResponse (CodeGeneratorResponse r) = do

@@ -208,6 +214,8 @@ type CodeGeneratorResponse_FileR = Record CodeGeneratorResponse_FileRow

208214newtype CodeGeneratorResponse_File = CodeGeneratorResponse_File CodeGeneratorResponse_FileR

209215derive instance genericCodeGeneratorResponse_File :: Generic.Rep.Generic CodeGeneratorResponse_File _

210216derive instance newtypeCodeGeneratorResponse_File :: Newtype.Newtype CodeGeneratorResponse_File _

217+derive instance eqCodeGeneratorResponse_File :: Eq.Eq CodeGeneratorResponse_File

218+instance showCodeGeneratorResponse_File :: Show.Show CodeGeneratorResponse_File where show = Generic.Rep.Show.genericShow

211219

212220putCodeGeneratorResponse_File :: forall m. Effect.MonadEffect m => CodeGeneratorResponse_File -> ArrayBuffer.Builder.PutM m Unit.Unit

213221putCodeGeneratorResponse_File (CodeGeneratorResponse_File r) = do