{- This file was auto-generated from combinators.proto by the proto-lens-protoc program. -} {-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances #-} {-# OPTIONS_GHC -fno-warn-unused-imports#-} module Proto.Combinators where import qualified Prelude import qualified Data.ProtoLens import qualified Data.ProtoLens.Message.Enum import qualified Lens.Family2 import qualified Lens.Family2.Unchecked import qualified Data.Default.Class import qualified Data.Text import qualified Data.Int import qualified Data.Word import qualified Data.Map import qualified Data.ByteString data Foo = Foo{_Foo'quux :: Prelude.Maybe Data.Int.Int32, _Foo'foo :: Prelude.Maybe Foo'Bar, _Foo'bar :: Prelude.Maybe Foo'Bar, _Foo'baz :: Prelude.Maybe Foo'Bar} deriving (Prelude.Show, Prelude.Eq) type instance Data.ProtoLens.Field "quux" Foo = Data.Int.Int32 instance Data.ProtoLens.HasField "quux" Foo Foo where field _ = (Prelude..) maybe'quux (Data.ProtoLens.maybeLens Data.ProtoLens.fieldDefault) type instance Data.ProtoLens.Field "maybe'quux" Foo = Prelude.Maybe Data.Int.Int32 instance Data.ProtoLens.HasField "maybe'quux" Foo Foo where field _ = Lens.Family2.Unchecked.lens _Foo'quux (\ x__ y__ -> x__{_Foo'quux = y__}) type instance Data.ProtoLens.Field "foo" Foo = Foo'Bar instance Data.ProtoLens.HasField "foo" Foo Foo where field _ = (Prelude..) maybe'foo (Data.ProtoLens.maybeLens Data.Default.Class.def) type instance Data.ProtoLens.Field "maybe'foo" Foo = Prelude.Maybe Foo'Bar instance Data.ProtoLens.HasField "maybe'foo" Foo Foo where field _ = Lens.Family2.Unchecked.lens _Foo'foo (\ x__ y__ -> x__{_Foo'foo = y__}) type instance Data.ProtoLens.Field "bar" Foo = Foo'Bar instance Data.ProtoLens.HasField "bar" Foo Foo where field _ = (Prelude..) maybe'bar (Data.ProtoLens.maybeLens Data.Default.Class.def) type instance Data.ProtoLens.Field "maybe'bar" Foo = Prelude.Maybe Foo'Bar instance Data.ProtoLens.HasField "maybe'bar" Foo Foo where field _ = Lens.Family2.Unchecked.lens _Foo'bar (\ x__ y__ -> x__{_Foo'bar = y__}) type instance Data.ProtoLens.Field "baz" Foo = Foo'Bar instance Data.ProtoLens.HasField "baz" Foo Foo where field _ = (Prelude..) maybe'baz (Data.ProtoLens.maybeLens Data.Default.Class.def) type instance Data.ProtoLens.Field "maybe'baz" Foo = Prelude.Maybe Foo'Bar instance Data.ProtoLens.HasField "maybe'baz" Foo Foo where field _ = Lens.Family2.Unchecked.lens _Foo'baz (\ x__ y__ -> x__{_Foo'baz = y__}) instance Data.Default.Class.Default Foo where def = Foo{_Foo'quux = Prelude.Nothing, _Foo'foo = Prelude.Nothing, _Foo'bar = Prelude.Nothing, _Foo'baz = Prelude.Nothing} instance Data.ProtoLens.Message Foo where descriptor = let quux__field_descriptor = Data.ProtoLens.FieldDescriptor "quux" (Data.ProtoLens.Int32Field :: Data.ProtoLens.FieldTypeDescriptor Data.Int.Int32) (Data.ProtoLens.OptionalField maybe'quux) foo__field_descriptor = Data.ProtoLens.FieldDescriptor "foo" (Data.ProtoLens.MessageField :: Data.ProtoLens.FieldTypeDescriptor Foo'Bar) (Data.ProtoLens.OptionalField maybe'foo) bar__field_descriptor = Data.ProtoLens.FieldDescriptor "bar" (Data.ProtoLens.MessageField :: Data.ProtoLens.FieldTypeDescriptor Foo'Bar) (Data.ProtoLens.OptionalField maybe'bar) baz__field_descriptor = Data.ProtoLens.FieldDescriptor "baz" (Data.ProtoLens.MessageField :: Data.ProtoLens.FieldTypeDescriptor Foo'Bar) (Data.ProtoLens.OptionalField maybe'baz) in Data.ProtoLens.MessageDescriptor (Data.Map.fromList [(Data.ProtoLens.Tag 1, quux__field_descriptor), (Data.ProtoLens.Tag 2, foo__field_descriptor), (Data.ProtoLens.Tag 3, bar__field_descriptor), (Data.ProtoLens.Tag 4, baz__field_descriptor)]) (Data.Map.fromList [("quux", quux__field_descriptor), ("foo", foo__field_descriptor), ("bar", bar__field_descriptor), ("baz", baz__field_descriptor)]) data Foo'Bar = Foo'Bar{_Foo'Bar'fizz :: Prelude.Maybe Data.Int.Int32, _Foo'Bar'buzz :: Prelude.Maybe Data.Text.Text} deriving (Prelude.Show, Prelude.Eq) type instance Data.ProtoLens.Field "fizz" Foo'Bar = Data.Int.Int32 instance Data.ProtoLens.HasField "fizz" Foo'Bar Foo'Bar where field _ = (Prelude..) maybe'fizz (Data.ProtoLens.maybeLens Data.ProtoLens.fieldDefault) type instance Data.ProtoLens.Field "maybe'fizz" Foo'Bar = Prelude.Maybe Data.Int.Int32 instance Data.ProtoLens.HasField "maybe'fizz" Foo'Bar Foo'Bar where field _ = Lens.Family2.Unchecked.lens _Foo'Bar'fizz (\ x__ y__ -> x__{_Foo'Bar'fizz = y__}) type instance Data.ProtoLens.Field "buzz" Foo'Bar = Data.Text.Text instance Data.ProtoLens.HasField "buzz" Foo'Bar Foo'Bar where field _ = (Prelude..) maybe'buzz (Data.ProtoLens.maybeLens Data.ProtoLens.fieldDefault) type instance Data.ProtoLens.Field "maybe'buzz" Foo'Bar = Prelude.Maybe Data.Text.Text instance Data.ProtoLens.HasField "maybe'buzz" Foo'Bar Foo'Bar where field _ = Lens.Family2.Unchecked.lens _Foo'Bar'buzz (\ x__ y__ -> x__{_Foo'Bar'buzz = y__}) instance Data.Default.Class.Default Foo'Bar where def = Foo'Bar{_Foo'Bar'fizz = Prelude.Nothing, _Foo'Bar'buzz = Prelude.Nothing} instance Data.ProtoLens.Message Foo'Bar where descriptor = let fizz__field_descriptor = Data.ProtoLens.FieldDescriptor "fizz" (Data.ProtoLens.Int32Field :: Data.ProtoLens.FieldTypeDescriptor Data.Int.Int32) (Data.ProtoLens.OptionalField maybe'fizz) buzz__field_descriptor = Data.ProtoLens.FieldDescriptor "buzz" (Data.ProtoLens.StringField :: Data.ProtoLens.FieldTypeDescriptor Data.Text.Text) (Data.ProtoLens.OptionalField maybe'buzz) in Data.ProtoLens.MessageDescriptor (Data.Map.fromList [(Data.ProtoLens.Tag 1, fizz__field_descriptor), (Data.ProtoLens.Tag 2, buzz__field_descriptor)]) (Data.Map.fromList [("fizz", fizz__field_descriptor), ("buzz", buzz__field_descriptor)]) bar :: forall msg msg' . Data.ProtoLens.HasField "bar" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "bar" msg) (Data.ProtoLens.Field "bar" msg') bar = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "bar") baz :: forall msg msg' . Data.ProtoLens.HasField "baz" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "baz" msg) (Data.ProtoLens.Field "baz" msg') baz = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "baz") buzz :: forall msg msg' . Data.ProtoLens.HasField "buzz" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "buzz" msg) (Data.ProtoLens.Field "buzz" msg') buzz = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "buzz") fizz :: forall msg msg' . Data.ProtoLens.HasField "fizz" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "fizz" msg) (Data.ProtoLens.Field "fizz" msg') fizz = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "fizz") foo :: forall msg msg' . Data.ProtoLens.HasField "foo" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "foo" msg) (Data.ProtoLens.Field "foo" msg') foo = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "foo") maybe'bar :: forall msg msg' . Data.ProtoLens.HasField "maybe'bar" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "maybe'bar" msg) (Data.ProtoLens.Field "maybe'bar" msg') maybe'bar = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "maybe'bar") maybe'baz :: forall msg msg' . Data.ProtoLens.HasField "maybe'baz" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "maybe'baz" msg) (Data.ProtoLens.Field "maybe'baz" msg') maybe'baz = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "maybe'baz") maybe'buzz :: forall msg msg' . Data.ProtoLens.HasField "maybe'buzz" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "maybe'buzz" msg) (Data.ProtoLens.Field "maybe'buzz" msg') maybe'buzz = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "maybe'buzz") maybe'fizz :: forall msg msg' . Data.ProtoLens.HasField "maybe'fizz" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "maybe'fizz" msg) (Data.ProtoLens.Field "maybe'fizz" msg') maybe'fizz = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "maybe'fizz") maybe'foo :: forall msg msg' . Data.ProtoLens.HasField "maybe'foo" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "maybe'foo" msg) (Data.ProtoLens.Field "maybe'foo" msg') maybe'foo = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "maybe'foo") maybe'quux :: forall msg msg' . Data.ProtoLens.HasField "maybe'quux" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "maybe'quux" msg) (Data.ProtoLens.Field "maybe'quux" msg') maybe'quux = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "maybe'quux") quux :: forall msg msg' . Data.ProtoLens.HasField "quux" msg msg' => Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "quux" msg) (Data.ProtoLens.Field "quux" msg') quux = Data.ProtoLens.field (Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "quux")