{- This file was auto-generated from tensorflow/core/protobuf/control_flow.proto by the proto-lens-protoc program. -}
{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies,
  UndecidableInstances, MultiParamTypeClasses, FlexibleContexts,
  FlexibleInstances, PatternSynonyms, MagicHash, NoImplicitPrelude
  #-}
{-# OPTIONS_GHC -fno-warn-unused-imports#-}
module Proto.Tensorflow.Core.Protobuf.ControlFlow where
import qualified Data.ProtoLens.Reexport.Prelude as Prelude
import qualified Data.ProtoLens.Reexport.Data.Int as Data.Int
import qualified Data.ProtoLens.Reexport.Data.Word as Data.Word
import qualified Data.ProtoLens.Reexport.Data.ProtoLens
       as Data.ProtoLens
import qualified
       Data.ProtoLens.Reexport.Data.ProtoLens.Message.Enum
       as Data.ProtoLens.Message.Enum
import qualified Data.ProtoLens.Reexport.Lens.Family2
       as Lens.Family2
import qualified Data.ProtoLens.Reexport.Lens.Family2.Unchecked
       as Lens.Family2.Unchecked
import qualified Data.ProtoLens.Reexport.Data.Default.Class
       as Data.Default.Class
import qualified Data.ProtoLens.Reexport.Data.Text as Data.Text
import qualified Data.ProtoLens.Reexport.Data.Map as Data.Map
import qualified Data.ProtoLens.Reexport.Data.ByteString
       as Data.ByteString
import qualified Data.ProtoLens.Reexport.Lens.Labels as Lens.Labels

data CondContextDef = CondContextDef{_CondContextDef'contextName ::
                                     !Data.Text.Text,
                                     _CondContextDef'predName :: !Data.Text.Text,
                                     _CondContextDef'pivotName :: !Data.Text.Text,
                                     _CondContextDef'branch :: !Data.Int.Int32,
                                     _CondContextDef'valuesDef :: !(Prelude.Maybe ValuesDef),
                                     _CondContextDef'nestedContexts :: ![ControlFlowContextDef]}
                    deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "contextName" f CondContextDef CondContextDef a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _CondContextDef'contextName
                 (\ x__ y__ -> x__{_CondContextDef'contextName = y__}))
              Prelude.id

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "predName" f CondContextDef CondContextDef a b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _CondContextDef'predName
                 (\ x__ y__ -> x__{_CondContextDef'predName = y__}))
              Prelude.id

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "pivotName" f CondContextDef CondContextDef a b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _CondContextDef'pivotName
                 (\ x__ y__ -> x__{_CondContextDef'pivotName = y__}))
              Prelude.id

instance (a ~ Data.Int.Int32, b ~ Data.Int.Int32,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "branch" f CondContextDef CondContextDef a b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _CondContextDef'branch
                 (\ x__ y__ -> x__{_CondContextDef'branch = y__}))
              Prelude.id

instance (a ~ ValuesDef, b ~ ValuesDef, Prelude.Functor f) =>
         Lens.Labels.HasLens "valuesDef" f CondContextDef CondContextDef a b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _CondContextDef'valuesDef
                 (\ x__ y__ -> x__{_CondContextDef'valuesDef = y__}))
              (Data.ProtoLens.maybeLens Data.Default.Class.def)

instance (a ~ Prelude.Maybe ValuesDef, b ~ Prelude.Maybe ValuesDef,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "maybe'valuesDef" f CondContextDef
           CondContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _CondContextDef'valuesDef
                 (\ x__ y__ -> x__{_CondContextDef'valuesDef = y__}))
              Prelude.id

instance (a ~ [ControlFlowContextDef], b ~ [ControlFlowContextDef],
          Prelude.Functor f) =>
         Lens.Labels.HasLens "nestedContexts" f CondContextDef
           CondContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _CondContextDef'nestedContexts
                 (\ x__ y__ -> x__{_CondContextDef'nestedContexts = y__}))
              Prelude.id

instance Data.Default.Class.Default CondContextDef where
        def
          = CondContextDef{_CondContextDef'contextName =
                             Data.ProtoLens.fieldDefault,
                           _CondContextDef'predName = Data.ProtoLens.fieldDefault,
                           _CondContextDef'pivotName = Data.ProtoLens.fieldDefault,
                           _CondContextDef'branch = Data.ProtoLens.fieldDefault,
                           _CondContextDef'valuesDef = Prelude.Nothing,
                           _CondContextDef'nestedContexts = []}

instance Data.ProtoLens.Message CondContextDef where
        descriptor
          = let contextName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "context_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional contextName)
                      :: Data.ProtoLens.FieldDescriptor CondContextDef
                predName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "pred_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional predName)
                      :: Data.ProtoLens.FieldDescriptor CondContextDef
                pivotName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "pivot_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional pivotName)
                      :: Data.ProtoLens.FieldDescriptor CondContextDef
                branch__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "branch"
                      (Data.ProtoLens.Int32Field ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Int.Int32)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional branch)
                      :: Data.ProtoLens.FieldDescriptor CondContextDef
                valuesDef__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "values_def"
                      (Data.ProtoLens.MessageField ::
                         Data.ProtoLens.FieldTypeDescriptor ValuesDef)
                      (Data.ProtoLens.OptionalField maybe'valuesDef)
                      :: Data.ProtoLens.FieldDescriptor CondContextDef
                nestedContexts__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "nested_contexts"
                      (Data.ProtoLens.MessageField ::
                         Data.ProtoLens.FieldTypeDescriptor ControlFlowContextDef)
                      (Data.ProtoLens.RepeatedField Data.ProtoLens.Unpacked
                         nestedContexts)
                      :: Data.ProtoLens.FieldDescriptor CondContextDef
              in
              Data.ProtoLens.MessageDescriptor
                (Data.Text.pack "tensorflow.CondContextDef")
                (Data.Map.fromList
                   [(Data.ProtoLens.Tag 1, contextName__field_descriptor),
                    (Data.ProtoLens.Tag 2, predName__field_descriptor),
                    (Data.ProtoLens.Tag 3, pivotName__field_descriptor),
                    (Data.ProtoLens.Tag 4, branch__field_descriptor),
                    (Data.ProtoLens.Tag 5, valuesDef__field_descriptor),
                    (Data.ProtoLens.Tag 6, nestedContexts__field_descriptor)])
                (Data.Map.fromList
                   [("context_name", contextName__field_descriptor),
                    ("pred_name", predName__field_descriptor),
                    ("pivot_name", pivotName__field_descriptor),
                    ("branch", branch__field_descriptor),
                    ("values_def", valuesDef__field_descriptor),
                    ("nested_contexts", nestedContexts__field_descriptor)])

data ControlFlowContextDef = ControlFlowContextDef{_ControlFlowContextDef'ctxt
                                                   :: !(Prelude.Maybe ControlFlowContextDef'Ctxt)}
                           deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)

data ControlFlowContextDef'Ctxt = ControlFlowContextDef'CondCtxt !CondContextDef
                                | ControlFlowContextDef'WhileCtxt !WhileContextDef
                                deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)

instance (a ~ Prelude.Maybe ControlFlowContextDef'Ctxt,
          b ~ Prelude.Maybe ControlFlowContextDef'Ctxt, Prelude.Functor f) =>
         Lens.Labels.HasLens "maybe'ctxt" f ControlFlowContextDef
           ControlFlowContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ControlFlowContextDef'ctxt
                 (\ x__ y__ -> x__{_ControlFlowContextDef'ctxt = y__}))
              Prelude.id

instance (a ~ Prelude.Maybe CondContextDef,
          b ~ Prelude.Maybe CondContextDef, Prelude.Functor f) =>
         Lens.Labels.HasLens "maybe'condCtxt" f ControlFlowContextDef
           ControlFlowContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ControlFlowContextDef'ctxt
                 (\ x__ y__ -> x__{_ControlFlowContextDef'ctxt = y__}))
              (Lens.Family2.Unchecked.lens
                 (\ x__ ->
                    case x__ of
                        Prelude.Just
                          (ControlFlowContextDef'CondCtxt x__val) -> Prelude.Just x__val
                        _otherwise -> Prelude.Nothing)
                 (\ _ y__ -> Prelude.fmap ControlFlowContextDef'CondCtxt y__))

instance (a ~ CondContextDef, b ~ CondContextDef,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "condCtxt" f ControlFlowContextDef
           ControlFlowContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ControlFlowContextDef'ctxt
                 (\ x__ y__ -> x__{_ControlFlowContextDef'ctxt = y__}))
              ((Prelude..)
                 (Lens.Family2.Unchecked.lens
                    (\ x__ ->
                       case x__ of
                           Prelude.Just
                             (ControlFlowContextDef'CondCtxt x__val) -> Prelude.Just x__val
                           _otherwise -> Prelude.Nothing)
                    (\ _ y__ -> Prelude.fmap ControlFlowContextDef'CondCtxt y__))
                 (Data.ProtoLens.maybeLens Data.Default.Class.def))

instance (a ~ Prelude.Maybe WhileContextDef,
          b ~ Prelude.Maybe WhileContextDef, Prelude.Functor f) =>
         Lens.Labels.HasLens "maybe'whileCtxt" f ControlFlowContextDef
           ControlFlowContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ControlFlowContextDef'ctxt
                 (\ x__ y__ -> x__{_ControlFlowContextDef'ctxt = y__}))
              (Lens.Family2.Unchecked.lens
                 (\ x__ ->
                    case x__ of
                        Prelude.Just
                          (ControlFlowContextDef'WhileCtxt x__val) -> Prelude.Just x__val
                        _otherwise -> Prelude.Nothing)
                 (\ _ y__ -> Prelude.fmap ControlFlowContextDef'WhileCtxt y__))

instance (a ~ WhileContextDef, b ~ WhileContextDef,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "whileCtxt" f ControlFlowContextDef
           ControlFlowContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ControlFlowContextDef'ctxt
                 (\ x__ y__ -> x__{_ControlFlowContextDef'ctxt = y__}))
              ((Prelude..)
                 (Lens.Family2.Unchecked.lens
                    (\ x__ ->
                       case x__ of
                           Prelude.Just
                             (ControlFlowContextDef'WhileCtxt x__val) -> Prelude.Just x__val
                           _otherwise -> Prelude.Nothing)
                    (\ _ y__ -> Prelude.fmap ControlFlowContextDef'WhileCtxt y__))
                 (Data.ProtoLens.maybeLens Data.Default.Class.def))

instance Data.Default.Class.Default ControlFlowContextDef where
        def
          = ControlFlowContextDef{_ControlFlowContextDef'ctxt =
                                    Prelude.Nothing}

instance Data.ProtoLens.Message ControlFlowContextDef where
        descriptor
          = let condCtxt__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "cond_ctxt"
                      (Data.ProtoLens.MessageField ::
                         Data.ProtoLens.FieldTypeDescriptor CondContextDef)
                      (Data.ProtoLens.OptionalField maybe'condCtxt)
                      :: Data.ProtoLens.FieldDescriptor ControlFlowContextDef
                whileCtxt__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "while_ctxt"
                      (Data.ProtoLens.MessageField ::
                         Data.ProtoLens.FieldTypeDescriptor WhileContextDef)
                      (Data.ProtoLens.OptionalField maybe'whileCtxt)
                      :: Data.ProtoLens.FieldDescriptor ControlFlowContextDef
              in
              Data.ProtoLens.MessageDescriptor
                (Data.Text.pack "tensorflow.ControlFlowContextDef")
                (Data.Map.fromList
                   [(Data.ProtoLens.Tag 1, condCtxt__field_descriptor),
                    (Data.ProtoLens.Tag 2, whileCtxt__field_descriptor)])
                (Data.Map.fromList
                   [("cond_ctxt", condCtxt__field_descriptor),
                    ("while_ctxt", whileCtxt__field_descriptor)])

data ValuesDef = ValuesDef{_ValuesDef'values :: ![Data.Text.Text],
                           _ValuesDef'externalValues ::
                           !(Data.Map.Map Data.Text.Text Data.Text.Text)}
               deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)

instance (a ~ [Data.Text.Text], b ~ [Data.Text.Text],
          Prelude.Functor f) =>
         Lens.Labels.HasLens "values" f ValuesDef ValuesDef a b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ValuesDef'values
                 (\ x__ y__ -> x__{_ValuesDef'values = y__}))
              Prelude.id

instance (a ~ Data.Map.Map Data.Text.Text Data.Text.Text,
          b ~ Data.Map.Map Data.Text.Text Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "externalValues" f ValuesDef ValuesDef a b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ValuesDef'externalValues
                 (\ x__ y__ -> x__{_ValuesDef'externalValues = y__}))
              Prelude.id

instance Data.Default.Class.Default ValuesDef where
        def
          = ValuesDef{_ValuesDef'values = [],
                      _ValuesDef'externalValues = Data.Map.empty}

instance Data.ProtoLens.Message ValuesDef where
        descriptor
          = let values__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "values"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.RepeatedField Data.ProtoLens.Unpacked values)
                      :: Data.ProtoLens.FieldDescriptor ValuesDef
                externalValues__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "external_values"
                      (Data.ProtoLens.MessageField ::
                         Data.ProtoLens.FieldTypeDescriptor ValuesDef'ExternalValuesEntry)
                      (Data.ProtoLens.MapField key value externalValues)
                      :: Data.ProtoLens.FieldDescriptor ValuesDef
              in
              Data.ProtoLens.MessageDescriptor
                (Data.Text.pack "tensorflow.ValuesDef")
                (Data.Map.fromList
                   [(Data.ProtoLens.Tag 1, values__field_descriptor),
                    (Data.ProtoLens.Tag 2, externalValues__field_descriptor)])
                (Data.Map.fromList
                   [("values", values__field_descriptor),
                    ("external_values", externalValues__field_descriptor)])

data ValuesDef'ExternalValuesEntry = ValuesDef'ExternalValuesEntry{_ValuesDef'ExternalValuesEntry'key
                                                                   :: !Data.Text.Text,
                                                                   _ValuesDef'ExternalValuesEntry'value
                                                                   :: !Data.Text.Text}
                                   deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "key" f ValuesDef'ExternalValuesEntry
           ValuesDef'ExternalValuesEntry
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ValuesDef'ExternalValuesEntry'key
                 (\ x__ y__ -> x__{_ValuesDef'ExternalValuesEntry'key = y__}))
              Prelude.id

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "value" f ValuesDef'ExternalValuesEntry
           ValuesDef'ExternalValuesEntry
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _ValuesDef'ExternalValuesEntry'value
                 (\ x__ y__ -> x__{_ValuesDef'ExternalValuesEntry'value = y__}))
              Prelude.id

instance Data.Default.Class.Default ValuesDef'ExternalValuesEntry
         where
        def
          = ValuesDef'ExternalValuesEntry{_ValuesDef'ExternalValuesEntry'key
                                            = Data.ProtoLens.fieldDefault,
                                          _ValuesDef'ExternalValuesEntry'value =
                                            Data.ProtoLens.fieldDefault}

instance Data.ProtoLens.Message ValuesDef'ExternalValuesEntry where
        descriptor
          = let key__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "key"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional key)
                      :: Data.ProtoLens.FieldDescriptor ValuesDef'ExternalValuesEntry
                value__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "value"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional value)
                      :: Data.ProtoLens.FieldDescriptor ValuesDef'ExternalValuesEntry
              in
              Data.ProtoLens.MessageDescriptor
                (Data.Text.pack "tensorflow.ValuesDef.ExternalValuesEntry")
                (Data.Map.fromList
                   [(Data.ProtoLens.Tag 1, key__field_descriptor),
                    (Data.ProtoLens.Tag 2, value__field_descriptor)])
                (Data.Map.fromList
                   [("key", key__field_descriptor),
                    ("value", value__field_descriptor)])

data WhileContextDef = WhileContextDef{_WhileContextDef'contextName
                                       :: !Data.Text.Text,
                                       _WhileContextDef'parallelIterations :: !Data.Int.Int32,
                                       _WhileContextDef'backProp :: !Prelude.Bool,
                                       _WhileContextDef'swapMemory :: !Prelude.Bool,
                                       _WhileContextDef'pivotName :: !Data.Text.Text,
                                       _WhileContextDef'pivotForPredName :: !Data.Text.Text,
                                       _WhileContextDef'pivotForBodyName :: !Data.Text.Text,
                                       _WhileContextDef'loopExitNames :: ![Data.Text.Text],
                                       _WhileContextDef'loopEnterNames :: ![Data.Text.Text],
                                       _WhileContextDef'valuesDef :: !(Prelude.Maybe ValuesDef),
                                       _WhileContextDef'maximumIterationsName :: !Data.Text.Text,
                                       _WhileContextDef'nestedContexts :: ![ControlFlowContextDef]}
                     deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "contextName" f WhileContextDef WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'contextName
                 (\ x__ y__ -> x__{_WhileContextDef'contextName = y__}))
              Prelude.id

instance (a ~ Data.Int.Int32, b ~ Data.Int.Int32,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "parallelIterations" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'parallelIterations
                 (\ x__ y__ -> x__{_WhileContextDef'parallelIterations = y__}))
              Prelude.id

instance (a ~ Prelude.Bool, b ~ Prelude.Bool, Prelude.Functor f) =>
         Lens.Labels.HasLens "backProp" f WhileContextDef WhileContextDef a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'backProp
                 (\ x__ y__ -> x__{_WhileContextDef'backProp = y__}))
              Prelude.id

instance (a ~ Prelude.Bool, b ~ Prelude.Bool, Prelude.Functor f) =>
         Lens.Labels.HasLens "swapMemory" f WhileContextDef WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'swapMemory
                 (\ x__ y__ -> x__{_WhileContextDef'swapMemory = y__}))
              Prelude.id

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "pivotName" f WhileContextDef WhileContextDef a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'pivotName
                 (\ x__ y__ -> x__{_WhileContextDef'pivotName = y__}))
              Prelude.id

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "pivotForPredName" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'pivotForPredName
                 (\ x__ y__ -> x__{_WhileContextDef'pivotForPredName = y__}))
              Prelude.id

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "pivotForBodyName" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'pivotForBodyName
                 (\ x__ y__ -> x__{_WhileContextDef'pivotForBodyName = y__}))
              Prelude.id

instance (a ~ [Data.Text.Text], b ~ [Data.Text.Text],
          Prelude.Functor f) =>
         Lens.Labels.HasLens "loopExitNames" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'loopExitNames
                 (\ x__ y__ -> x__{_WhileContextDef'loopExitNames = y__}))
              Prelude.id

instance (a ~ [Data.Text.Text], b ~ [Data.Text.Text],
          Prelude.Functor f) =>
         Lens.Labels.HasLens "loopEnterNames" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'loopEnterNames
                 (\ x__ y__ -> x__{_WhileContextDef'loopEnterNames = y__}))
              Prelude.id

instance (a ~ ValuesDef, b ~ ValuesDef, Prelude.Functor f) =>
         Lens.Labels.HasLens "valuesDef" f WhileContextDef WhileContextDef a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'valuesDef
                 (\ x__ y__ -> x__{_WhileContextDef'valuesDef = y__}))
              (Data.ProtoLens.maybeLens Data.Default.Class.def)

instance (a ~ Prelude.Maybe ValuesDef, b ~ Prelude.Maybe ValuesDef,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "maybe'valuesDef" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'valuesDef
                 (\ x__ y__ -> x__{_WhileContextDef'valuesDef = y__}))
              Prelude.id

instance (a ~ Data.Text.Text, b ~ Data.Text.Text,
          Prelude.Functor f) =>
         Lens.Labels.HasLens "maximumIterationsName" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'maximumIterationsName
                 (\ x__ y__ -> x__{_WhileContextDef'maximumIterationsName = y__}))
              Prelude.id

instance (a ~ [ControlFlowContextDef], b ~ [ControlFlowContextDef],
          Prelude.Functor f) =>
         Lens.Labels.HasLens "nestedContexts" f WhileContextDef
           WhileContextDef
           a
           b
         where
        lensOf _
          = (Prelude..)
              (Lens.Family2.Unchecked.lens _WhileContextDef'nestedContexts
                 (\ x__ y__ -> x__{_WhileContextDef'nestedContexts = y__}))
              Prelude.id

instance Data.Default.Class.Default WhileContextDef where
        def
          = WhileContextDef{_WhileContextDef'contextName =
                              Data.ProtoLens.fieldDefault,
                            _WhileContextDef'parallelIterations = Data.ProtoLens.fieldDefault,
                            _WhileContextDef'backProp = Data.ProtoLens.fieldDefault,
                            _WhileContextDef'swapMemory = Data.ProtoLens.fieldDefault,
                            _WhileContextDef'pivotName = Data.ProtoLens.fieldDefault,
                            _WhileContextDef'pivotForPredName = Data.ProtoLens.fieldDefault,
                            _WhileContextDef'pivotForBodyName = Data.ProtoLens.fieldDefault,
                            _WhileContextDef'loopExitNames = [],
                            _WhileContextDef'loopEnterNames = [],
                            _WhileContextDef'valuesDef = Prelude.Nothing,
                            _WhileContextDef'maximumIterationsName =
                              Data.ProtoLens.fieldDefault,
                            _WhileContextDef'nestedContexts = []}

instance Data.ProtoLens.Message WhileContextDef where
        descriptor
          = let contextName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "context_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional contextName)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                parallelIterations__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "parallel_iterations"
                      (Data.ProtoLens.Int32Field ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Int.Int32)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
                         parallelIterations)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                backProp__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "back_prop"
                      (Data.ProtoLens.BoolField ::
                         Data.ProtoLens.FieldTypeDescriptor Prelude.Bool)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional backProp)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                swapMemory__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "swap_memory"
                      (Data.ProtoLens.BoolField ::
                         Data.ProtoLens.FieldTypeDescriptor Prelude.Bool)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional swapMemory)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                pivotName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "pivot_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional pivotName)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                pivotForPredName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "pivot_for_pred_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
                         pivotForPredName)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                pivotForBodyName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "pivot_for_body_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
                         pivotForBodyName)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                loopExitNames__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "loop_exit_names"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.RepeatedField Data.ProtoLens.Unpacked
                         loopExitNames)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                loopEnterNames__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "loop_enter_names"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.RepeatedField Data.ProtoLens.Unpacked
                         loopEnterNames)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                valuesDef__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "values_def"
                      (Data.ProtoLens.MessageField ::
                         Data.ProtoLens.FieldTypeDescriptor ValuesDef)
                      (Data.ProtoLens.OptionalField maybe'valuesDef)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                maximumIterationsName__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "maximum_iterations_name"
                      (Data.ProtoLens.StringField ::
                         Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
                         maximumIterationsName)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
                nestedContexts__field_descriptor
                  = Data.ProtoLens.FieldDescriptor "nested_contexts"
                      (Data.ProtoLens.MessageField ::
                         Data.ProtoLens.FieldTypeDescriptor ControlFlowContextDef)
                      (Data.ProtoLens.RepeatedField Data.ProtoLens.Unpacked
                         nestedContexts)
                      :: Data.ProtoLens.FieldDescriptor WhileContextDef
              in
              Data.ProtoLens.MessageDescriptor
                (Data.Text.pack "tensorflow.WhileContextDef")
                (Data.Map.fromList
                   [(Data.ProtoLens.Tag 1, contextName__field_descriptor),
                    (Data.ProtoLens.Tag 2, parallelIterations__field_descriptor),
                    (Data.ProtoLens.Tag 3, backProp__field_descriptor),
                    (Data.ProtoLens.Tag 4, swapMemory__field_descriptor),
                    (Data.ProtoLens.Tag 5, pivotName__field_descriptor),
                    (Data.ProtoLens.Tag 6, pivotForPredName__field_descriptor),
                    (Data.ProtoLens.Tag 7, pivotForBodyName__field_descriptor),
                    (Data.ProtoLens.Tag 8, loopExitNames__field_descriptor),
                    (Data.ProtoLens.Tag 10, loopEnterNames__field_descriptor),
                    (Data.ProtoLens.Tag 9, valuesDef__field_descriptor),
                    (Data.ProtoLens.Tag 11, maximumIterationsName__field_descriptor),
                    (Data.ProtoLens.Tag 12, nestedContexts__field_descriptor)])
                (Data.Map.fromList
                   [("context_name", contextName__field_descriptor),
                    ("parallel_iterations", parallelIterations__field_descriptor),
                    ("back_prop", backProp__field_descriptor),
                    ("swap_memory", swapMemory__field_descriptor),
                    ("pivot_name", pivotName__field_descriptor),
                    ("pivot_for_pred_name", pivotForPredName__field_descriptor),
                    ("pivot_for_body_name", pivotForBodyName__field_descriptor),
                    ("loop_exit_names", loopExitNames__field_descriptor),
                    ("loop_enter_names", loopEnterNames__field_descriptor),
                    ("values_def", valuesDef__field_descriptor),
                    ("maximum_iterations_name",
                     maximumIterationsName__field_descriptor),
                    ("nested_contexts", nestedContexts__field_descriptor)])

backProp ::
         forall f s t a b . (Lens.Labels.HasLens "backProp" f s t a b) =>
           Lens.Family2.LensLike f s t a b
backProp
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "backProp")

branch ::
       forall f s t a b . (Lens.Labels.HasLens "branch" f s t a b) =>
         Lens.Family2.LensLike f s t a b
branch
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "branch")

condCtxt ::
         forall f s t a b . (Lens.Labels.HasLens "condCtxt" f s t a b) =>
           Lens.Family2.LensLike f s t a b
condCtxt
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "condCtxt")

contextName ::
            forall f s t a b . (Lens.Labels.HasLens "contextName" f s t a b) =>
              Lens.Family2.LensLike f s t a b
contextName
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "contextName")

externalValues ::
               forall f s t a b .
                 (Lens.Labels.HasLens "externalValues" f s t a b) =>
                 Lens.Family2.LensLike f s t a b
externalValues
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "externalValues")

key ::
    forall f s t a b . (Lens.Labels.HasLens "key" f s t a b) =>
      Lens.Family2.LensLike f s t a b
key
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "key")

loopEnterNames ::
               forall f s t a b .
                 (Lens.Labels.HasLens "loopEnterNames" f s t a b) =>
                 Lens.Family2.LensLike f s t a b
loopEnterNames
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "loopEnterNames")

loopExitNames ::
              forall f s t a b .
                (Lens.Labels.HasLens "loopExitNames" f s t a b) =>
                Lens.Family2.LensLike f s t a b
loopExitNames
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "loopExitNames")

maximumIterationsName ::
                      forall f s t a b .
                        (Lens.Labels.HasLens "maximumIterationsName" f s t a b) =>
                        Lens.Family2.LensLike f s t a b
maximumIterationsName
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) ::
         (Lens.Labels.Proxy#) "maximumIterationsName")

maybe'condCtxt ::
               forall f s t a b .
                 (Lens.Labels.HasLens "maybe'condCtxt" f s t a b) =>
                 Lens.Family2.LensLike f s t a b
maybe'condCtxt
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'condCtxt")

maybe'ctxt ::
           forall f s t a b . (Lens.Labels.HasLens "maybe'ctxt" f s t a b) =>
             Lens.Family2.LensLike f s t a b
maybe'ctxt
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'ctxt")

maybe'valuesDef ::
                forall f s t a b .
                  (Lens.Labels.HasLens "maybe'valuesDef" f s t a b) =>
                  Lens.Family2.LensLike f s t a b
maybe'valuesDef
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'valuesDef")

maybe'whileCtxt ::
                forall f s t a b .
                  (Lens.Labels.HasLens "maybe'whileCtxt" f s t a b) =>
                  Lens.Family2.LensLike f s t a b
maybe'whileCtxt
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'whileCtxt")

nestedContexts ::
               forall f s t a b .
                 (Lens.Labels.HasLens "nestedContexts" f s t a b) =>
                 Lens.Family2.LensLike f s t a b
nestedContexts
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "nestedContexts")

parallelIterations ::
                   forall f s t a b .
                     (Lens.Labels.HasLens "parallelIterations" f s t a b) =>
                     Lens.Family2.LensLike f s t a b
parallelIterations
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "parallelIterations")

pivotForBodyName ::
                 forall f s t a b .
                   (Lens.Labels.HasLens "pivotForBodyName" f s t a b) =>
                   Lens.Family2.LensLike f s t a b
pivotForBodyName
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "pivotForBodyName")

pivotForPredName ::
                 forall f s t a b .
                   (Lens.Labels.HasLens "pivotForPredName" f s t a b) =>
                   Lens.Family2.LensLike f s t a b
pivotForPredName
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "pivotForPredName")

pivotName ::
          forall f s t a b . (Lens.Labels.HasLens "pivotName" f s t a b) =>
            Lens.Family2.LensLike f s t a b
pivotName
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "pivotName")

predName ::
         forall f s t a b . (Lens.Labels.HasLens "predName" f s t a b) =>
           Lens.Family2.LensLike f s t a b
predName
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "predName")

swapMemory ::
           forall f s t a b . (Lens.Labels.HasLens "swapMemory" f s t a b) =>
             Lens.Family2.LensLike f s t a b
swapMemory
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "swapMemory")

value ::
      forall f s t a b . (Lens.Labels.HasLens "value" f s t a b) =>
        Lens.Family2.LensLike f s t a b
value
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "value")

values ::
       forall f s t a b . (Lens.Labels.HasLens "values" f s t a b) =>
         Lens.Family2.LensLike f s t a b
values
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "values")

valuesDef ::
          forall f s t a b . (Lens.Labels.HasLens "valuesDef" f s t a b) =>
            Lens.Family2.LensLike f s t a b
valuesDef
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "valuesDef")

whileCtxt ::
          forall f s t a b . (Lens.Labels.HasLens "whileCtxt" f s t a b) =>
            Lens.Family2.LensLike f s t a b
whileCtxt
  = Lens.Labels.lensOf
      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "whileCtxt")