{- This file was auto-generated from tensorflow/core/protobuf/control_flow.proto by the proto-lens-protoc program. -}
{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies, UndecidableInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds, BangPatterns, TypeApplications, OverloadedStrings, DerivingStrategies#-}
{-# OPTIONS_GHC -Wno-unused-imports#-}
{-# OPTIONS_GHC -Wno-duplicate-exports#-}
{-# OPTIONS_GHC -Wno-dodgy-exports#-}
module Proto.Tensorflow.Core.Protobuf.ControlFlow (
        CondContextDef(), ControlFlowContextDef(),
        ControlFlowContextDef'Ctxt(..), _ControlFlowContextDef'CondCtxt,
        _ControlFlowContextDef'WhileCtxt, ValuesDef(),
        ValuesDef'ExternalValuesEntry(), WhileContextDef()
    ) where
import qualified Data.ProtoLens.Runtime.Control.DeepSeq as Control.DeepSeq
import qualified Data.ProtoLens.Runtime.Data.ProtoLens.Prism as Data.ProtoLens.Prism
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 Data.ProtoLens.Runtime.Data.ProtoLens.Service.Types as Data.ProtoLens.Service.Types
import qualified Data.ProtoLens.Runtime.Lens.Family2 as Lens.Family2
import qualified Data.ProtoLens.Runtime.Lens.Family2.Unchecked as Lens.Family2.Unchecked
import qualified Data.ProtoLens.Runtime.Data.Text as Data.Text
import qualified Data.ProtoLens.Runtime.Data.Map as Data.Map
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.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
{- | Fields :
     
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.contextName' @:: Lens' CondContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.predName' @:: Lens' CondContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.pivotName' @:: Lens' CondContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.branch' @:: Lens' CondContextDef Data.Int.Int32@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.valuesDef' @:: Lens' CondContextDef ValuesDef@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.maybe'valuesDef' @:: Lens' CondContextDef (Prelude.Maybe ValuesDef)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.nestedContexts' @:: Lens' CondContextDef [ControlFlowContextDef]@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.vec'nestedContexts' @:: Lens' CondContextDef (Data.Vector.Vector ControlFlowContextDef)@ -}
data CondContextDef
  = CondContextDef'_constructor {CondContextDef -> Text
_CondContextDef'contextName :: !Data.Text.Text,
                                 CondContextDef -> Text
_CondContextDef'predName :: !Data.Text.Text,
                                 CondContextDef -> Text
_CondContextDef'pivotName :: !Data.Text.Text,
                                 CondContextDef -> Int32
_CondContextDef'branch :: !Data.Int.Int32,
                                 CondContextDef -> Maybe ValuesDef
_CondContextDef'valuesDef :: !(Prelude.Maybe ValuesDef),
                                 CondContextDef -> Vector ControlFlowContextDef
_CondContextDef'nestedContexts :: !(Data.Vector.Vector ControlFlowContextDef),
                                 CondContextDef -> FieldSet
_CondContextDef'_unknownFields :: !Data.ProtoLens.FieldSet}
  deriving stock (CondContextDef -> CondContextDef -> Bool
(CondContextDef -> CondContextDef -> Bool)
-> (CondContextDef -> CondContextDef -> Bool) -> Eq CondContextDef
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CondContextDef -> CondContextDef -> Bool
$c/= :: CondContextDef -> CondContextDef -> Bool
== :: CondContextDef -> CondContextDef -> Bool
$c== :: CondContextDef -> CondContextDef -> Bool
Prelude.Eq, Eq CondContextDef
Eq CondContextDef =>
(CondContextDef -> CondContextDef -> Ordering)
-> (CondContextDef -> CondContextDef -> Bool)
-> (CondContextDef -> CondContextDef -> Bool)
-> (CondContextDef -> CondContextDef -> Bool)
-> (CondContextDef -> CondContextDef -> Bool)
-> (CondContextDef -> CondContextDef -> CondContextDef)
-> (CondContextDef -> CondContextDef -> CondContextDef)
-> Ord CondContextDef
CondContextDef -> CondContextDef -> Bool
CondContextDef -> CondContextDef -> Ordering
CondContextDef -> CondContextDef -> CondContextDef
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: CondContextDef -> CondContextDef -> CondContextDef
$cmin :: CondContextDef -> CondContextDef -> CondContextDef
max :: CondContextDef -> CondContextDef -> CondContextDef
$cmax :: CondContextDef -> CondContextDef -> CondContextDef
>= :: CondContextDef -> CondContextDef -> Bool
$c>= :: CondContextDef -> CondContextDef -> Bool
> :: CondContextDef -> CondContextDef -> Bool
$c> :: CondContextDef -> CondContextDef -> Bool
<= :: CondContextDef -> CondContextDef -> Bool
$c<= :: CondContextDef -> CondContextDef -> Bool
< :: CondContextDef -> CondContextDef -> Bool
$c< :: CondContextDef -> CondContextDef -> Bool
compare :: CondContextDef -> CondContextDef -> Ordering
$ccompare :: CondContextDef -> CondContextDef -> Ordering
$cp1Ord :: Eq CondContextDef
Prelude.Ord)
instance Prelude.Show CondContextDef where
  showsPrec :: Int -> CondContextDef -> ShowS
showsPrec _ __x :: CondContextDef
__x __s :: String
__s
    = Char -> ShowS
Prelude.showChar
        '{'
        (String -> ShowS
Prelude.showString
           (CondContextDef -> String
forall msg. Message msg => msg -> String
Data.ProtoLens.showMessageShort CondContextDef
__x) (Char -> ShowS
Prelude.showChar '}' String
__s))
instance Data.ProtoLens.Field.HasField CondContextDef "contextName" Data.Text.Text where
  fieldOf :: Proxy# "contextName"
-> (Text -> f Text) -> CondContextDef -> f CondContextDef
fieldOf _
    = ((Text -> f Text) -> CondContextDef -> f CondContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Text)
-> (CondContextDef -> Text -> CondContextDef)
-> Lens CondContextDef CondContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Text
_CondContextDef'contextName
           (\ x__ :: CondContextDef
x__ y__ :: Text
y__ -> CondContextDef
x__ {_CondContextDef'contextName :: Text
_CondContextDef'contextName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField CondContextDef "predName" Data.Text.Text where
  fieldOf :: Proxy# "predName"
-> (Text -> f Text) -> CondContextDef -> f CondContextDef
fieldOf _
    = ((Text -> f Text) -> CondContextDef -> f CondContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Text)
-> (CondContextDef -> Text -> CondContextDef)
-> Lens CondContextDef CondContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Text
_CondContextDef'predName
           (\ x__ :: CondContextDef
x__ y__ :: Text
y__ -> CondContextDef
x__ {_CondContextDef'predName :: Text
_CondContextDef'predName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField CondContextDef "pivotName" Data.Text.Text where
  fieldOf :: Proxy# "pivotName"
-> (Text -> f Text) -> CondContextDef -> f CondContextDef
fieldOf _
    = ((Text -> f Text) -> CondContextDef -> f CondContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Text)
-> (CondContextDef -> Text -> CondContextDef)
-> Lens CondContextDef CondContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Text
_CondContextDef'pivotName
           (\ x__ :: CondContextDef
x__ y__ :: Text
y__ -> CondContextDef
x__ {_CondContextDef'pivotName :: Text
_CondContextDef'pivotName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField CondContextDef "branch" Data.Int.Int32 where
  fieldOf :: Proxy# "branch"
-> (Int32 -> f Int32) -> CondContextDef -> f CondContextDef
fieldOf _
    = ((Int32 -> f Int32) -> CondContextDef -> f CondContextDef)
-> ((Int32 -> f Int32) -> Int32 -> f Int32)
-> (Int32 -> f Int32)
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Int32)
-> (CondContextDef -> Int32 -> CondContextDef)
-> Lens CondContextDef CondContextDef Int32 Int32
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Int32
_CondContextDef'branch
           (\ x__ :: CondContextDef
x__ y__ :: Int32
y__ -> CondContextDef
x__ {_CondContextDef'branch :: Int32
_CondContextDef'branch = Int32
y__}))
        (Int32 -> f Int32) -> Int32 -> f Int32
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField CondContextDef "valuesDef" ValuesDef where
  fieldOf :: Proxy# "valuesDef"
-> (ValuesDef -> f ValuesDef) -> CondContextDef -> f CondContextDef
fieldOf _
    = ((Maybe ValuesDef -> f (Maybe ValuesDef))
 -> CondContextDef -> f CondContextDef)
-> ((ValuesDef -> f ValuesDef)
    -> Maybe ValuesDef -> f (Maybe ValuesDef))
-> (ValuesDef -> f ValuesDef)
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Maybe ValuesDef)
-> (CondContextDef -> Maybe ValuesDef -> CondContextDef)
-> Lens
     CondContextDef CondContextDef (Maybe ValuesDef) (Maybe ValuesDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Maybe ValuesDef
_CondContextDef'valuesDef
           (\ x__ :: CondContextDef
x__ y__ :: Maybe ValuesDef
y__ -> CondContextDef
x__ {_CondContextDef'valuesDef :: Maybe ValuesDef
_CondContextDef'valuesDef = Maybe ValuesDef
y__}))
        (ValuesDef -> Lens' (Maybe ValuesDef) ValuesDef
forall b. b -> Lens' (Maybe b) b
Data.ProtoLens.maybeLens ValuesDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage)
instance Data.ProtoLens.Field.HasField CondContextDef "maybe'valuesDef" (Prelude.Maybe ValuesDef) where
  fieldOf :: Proxy# "maybe'valuesDef"
-> (Maybe ValuesDef -> f (Maybe ValuesDef))
-> CondContextDef
-> f CondContextDef
fieldOf _
    = ((Maybe ValuesDef -> f (Maybe ValuesDef))
 -> CondContextDef -> f CondContextDef)
-> ((Maybe ValuesDef -> f (Maybe ValuesDef))
    -> Maybe ValuesDef -> f (Maybe ValuesDef))
-> (Maybe ValuesDef -> f (Maybe ValuesDef))
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Maybe ValuesDef)
-> (CondContextDef -> Maybe ValuesDef -> CondContextDef)
-> Lens
     CondContextDef CondContextDef (Maybe ValuesDef) (Maybe ValuesDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Maybe ValuesDef
_CondContextDef'valuesDef
           (\ x__ :: CondContextDef
x__ y__ :: Maybe ValuesDef
y__ -> CondContextDef
x__ {_CondContextDef'valuesDef :: Maybe ValuesDef
_CondContextDef'valuesDef = Maybe ValuesDef
y__}))
        (Maybe ValuesDef -> f (Maybe ValuesDef))
-> Maybe ValuesDef -> f (Maybe ValuesDef)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField CondContextDef "nestedContexts" [ControlFlowContextDef] where
  fieldOf :: Proxy# "nestedContexts"
-> ([ControlFlowContextDef] -> f [ControlFlowContextDef])
-> CondContextDef
-> f CondContextDef
fieldOf _
    = ((Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef))
 -> CondContextDef -> f CondContextDef)
-> (([ControlFlowContextDef] -> f [ControlFlowContextDef])
    -> Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> ([ControlFlowContextDef] -> f [ControlFlowContextDef])
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Vector ControlFlowContextDef)
-> (CondContextDef
    -> Vector ControlFlowContextDef -> CondContextDef)
-> Lens
     CondContextDef
     CondContextDef
     (Vector ControlFlowContextDef)
     (Vector ControlFlowContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Vector ControlFlowContextDef
_CondContextDef'nestedContexts
           (\ x__ :: CondContextDef
x__ y__ :: Vector ControlFlowContextDef
y__ -> CondContextDef
x__ {_CondContextDef'nestedContexts :: Vector ControlFlowContextDef
_CondContextDef'nestedContexts = Vector ControlFlowContextDef
y__}))
        ((Vector ControlFlowContextDef -> [ControlFlowContextDef])
-> (Vector ControlFlowContextDef
    -> [ControlFlowContextDef] -> Vector ControlFlowContextDef)
-> Lens
     (Vector ControlFlowContextDef)
     (Vector ControlFlowContextDef)
     [ControlFlowContextDef]
     [ControlFlowContextDef]
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           Vector ControlFlowContextDef -> [ControlFlowContextDef]
forall (v :: * -> *) a. Vector v a => v a -> [a]
Data.Vector.Generic.toList
           (\ _ y__ :: [ControlFlowContextDef]
y__ -> [ControlFlowContextDef] -> Vector ControlFlowContextDef
forall (v :: * -> *) a. Vector v a => [a] -> v a
Data.Vector.Generic.fromList [ControlFlowContextDef]
y__))
instance Data.ProtoLens.Field.HasField CondContextDef "vec'nestedContexts" (Data.Vector.Vector ControlFlowContextDef) where
  fieldOf :: Proxy# "vec'nestedContexts"
-> (Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> CondContextDef
-> f CondContextDef
fieldOf _
    = ((Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef))
 -> CondContextDef -> f CondContextDef)
-> ((Vector ControlFlowContextDef
     -> f (Vector ControlFlowContextDef))
    -> Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> (Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> CondContextDef
-> f CondContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((CondContextDef -> Vector ControlFlowContextDef)
-> (CondContextDef
    -> Vector ControlFlowContextDef -> CondContextDef)
-> Lens
     CondContextDef
     CondContextDef
     (Vector ControlFlowContextDef)
     (Vector ControlFlowContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           CondContextDef -> Vector ControlFlowContextDef
_CondContextDef'nestedContexts
           (\ x__ :: CondContextDef
x__ y__ :: Vector ControlFlowContextDef
y__ -> CondContextDef
x__ {_CondContextDef'nestedContexts :: Vector ControlFlowContextDef
_CondContextDef'nestedContexts = Vector ControlFlowContextDef
y__}))
        (Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef))
-> Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Message CondContextDef where
  messageName :: Proxy CondContextDef -> Text
messageName _ = String -> Text
Data.Text.pack "tensorflow.CondContextDef"
  packedMessageDescriptor :: Proxy CondContextDef -> ByteString
packedMessageDescriptor _
    = "\n\
      \\SOCondContextDef\DC2!\n\
      \\fcontext_name\CAN\SOH \SOH(\tR\vcontextName\DC2\ESC\n\
      \\tpred_name\CAN\STX \SOH(\tR\bpredName\DC2\GS\n\
      \\n\
      \pivot_name\CAN\ETX \SOH(\tR\tpivotName\DC2\SYN\n\
      \\ACKbranch\CAN\EOT \SOH(\ENQR\ACKbranch\DC24\n\
      \\n\
      \values_def\CAN\ENQ \SOH(\v2\NAK.tensorflow.ValuesDefR\tvaluesDef\DC2J\n\
      \\SInested_contexts\CAN\ACK \ETX(\v2!.tensorflow.ControlFlowContextDefR\SOnestedContexts"
  packedFileDescriptor :: Proxy CondContextDef -> ByteString
packedFileDescriptor _ = ByteString
packedFileDescriptor
  fieldsByTag :: Map Tag (FieldDescriptor CondContextDef)
fieldsByTag
    = let
        contextName__field_descriptor :: FieldDescriptor CondContextDef
contextName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor CondContextDef Text
-> FieldDescriptor CondContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "context_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens CondContextDef CondContextDef Text Text
-> FieldAccessor CondContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "contextName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"contextName")) ::
              Data.ProtoLens.FieldDescriptor CondContextDef
        predName__field_descriptor :: FieldDescriptor CondContextDef
predName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor CondContextDef Text
-> FieldDescriptor CondContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "pred_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens CondContextDef CondContextDef Text Text
-> FieldAccessor CondContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "predName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"predName")) ::
              Data.ProtoLens.FieldDescriptor CondContextDef
        pivotName__field_descriptor :: FieldDescriptor CondContextDef
pivotName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor CondContextDef Text
-> FieldDescriptor CondContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "pivot_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens CondContextDef CondContextDef Text Text
-> FieldAccessor CondContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "pivotName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotName")) ::
              Data.ProtoLens.FieldDescriptor CondContextDef
        branch__field_descriptor :: FieldDescriptor CondContextDef
branch__field_descriptor
          = String
-> FieldTypeDescriptor Int32
-> FieldAccessor CondContextDef Int32
-> FieldDescriptor CondContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "branch"
              (ScalarField Int32 -> FieldTypeDescriptor Int32
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Int32
Data.ProtoLens.Int32Field ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Int.Int32)
              (WireDefault Int32
-> Lens CondContextDef CondContextDef Int32 Int32
-> FieldAccessor CondContextDef Int32
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Int32
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional (forall s a (f :: * -> *).
(HasField s "branch" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"branch")) ::
              Data.ProtoLens.FieldDescriptor CondContextDef
        valuesDef__field_descriptor :: FieldDescriptor CondContextDef
valuesDef__field_descriptor
          = String
-> FieldTypeDescriptor ValuesDef
-> FieldAccessor CondContextDef ValuesDef
-> FieldDescriptor CondContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "values_def"
              (MessageOrGroup -> FieldTypeDescriptor ValuesDef
forall value.
Message value =>
MessageOrGroup -> FieldTypeDescriptor value
Data.ProtoLens.MessageField MessageOrGroup
Data.ProtoLens.MessageType ::
                 Data.ProtoLens.FieldTypeDescriptor ValuesDef)
              (Lens
  CondContextDef CondContextDef (Maybe ValuesDef) (Maybe ValuesDef)
-> FieldAccessor CondContextDef ValuesDef
forall msg value.
Lens' msg (Maybe value) -> FieldAccessor msg value
Data.ProtoLens.OptionalField
                 (forall s a (f :: * -> *).
(HasField s "maybe'valuesDef" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'valuesDef")) ::
              Data.ProtoLens.FieldDescriptor CondContextDef
        nestedContexts__field_descriptor :: FieldDescriptor CondContextDef
nestedContexts__field_descriptor
          = String
-> FieldTypeDescriptor ControlFlowContextDef
-> FieldAccessor CondContextDef ControlFlowContextDef
-> FieldDescriptor CondContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "nested_contexts"
              (MessageOrGroup -> FieldTypeDescriptor ControlFlowContextDef
forall value.
Message value =>
MessageOrGroup -> FieldTypeDescriptor value
Data.ProtoLens.MessageField MessageOrGroup
Data.ProtoLens.MessageType ::
                 Data.ProtoLens.FieldTypeDescriptor ControlFlowContextDef)
              (Packing
-> Lens' CondContextDef [ControlFlowContextDef]
-> FieldAccessor CondContextDef ControlFlowContextDef
forall msg value.
Packing -> Lens' msg [value] -> FieldAccessor msg value
Data.ProtoLens.RepeatedField
                 Packing
Data.ProtoLens.Unpacked
                 (forall s a (f :: * -> *).
(HasField s "nestedContexts" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"nestedContexts")) ::
              Data.ProtoLens.FieldDescriptor CondContextDef
      in
        [(Tag, FieldDescriptor CondContextDef)]
-> Map Tag (FieldDescriptor CondContextDef)
forall k a. Ord k => [(k, a)] -> Map k a
Data.Map.fromList
          [(Int -> Tag
Data.ProtoLens.Tag 1, FieldDescriptor CondContextDef
contextName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 2, FieldDescriptor CondContextDef
predName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 3, FieldDescriptor CondContextDef
pivotName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 4, FieldDescriptor CondContextDef
branch__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 5, FieldDescriptor CondContextDef
valuesDef__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 6, FieldDescriptor CondContextDef
nestedContexts__field_descriptor)]
  unknownFields :: LensLike' f CondContextDef FieldSet
unknownFields
    = (CondContextDef -> FieldSet)
-> (CondContextDef -> FieldSet -> CondContextDef)
-> Lens' CondContextDef FieldSet
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
        CondContextDef -> FieldSet
_CondContextDef'_unknownFields
        (\ x__ :: CondContextDef
x__ y__ :: FieldSet
y__ -> CondContextDef
x__ {_CondContextDef'_unknownFields :: FieldSet
_CondContextDef'_unknownFields = FieldSet
y__})
  defMessage :: CondContextDef
defMessage
    = $WCondContextDef'_constructor :: Text
-> Text
-> Text
-> Int32
-> Maybe ValuesDef
-> Vector ControlFlowContextDef
-> FieldSet
-> CondContextDef
CondContextDef'_constructor
        {_CondContextDef'contextName :: Text
_CondContextDef'contextName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _CondContextDef'predName :: Text
_CondContextDef'predName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _CondContextDef'pivotName :: Text
_CondContextDef'pivotName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _CondContextDef'branch :: Int32
_CondContextDef'branch = Int32
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _CondContextDef'valuesDef :: Maybe ValuesDef
_CondContextDef'valuesDef = Maybe ValuesDef
forall a. Maybe a
Prelude.Nothing,
         _CondContextDef'nestedContexts :: Vector ControlFlowContextDef
_CondContextDef'nestedContexts = Vector ControlFlowContextDef
forall (v :: * -> *) a. Vector v a => v a
Data.Vector.Generic.empty,
         _CondContextDef'_unknownFields :: FieldSet
_CondContextDef'_unknownFields = []}
  parseMessage :: Parser CondContextDef
parseMessage
    = let
        loop ::
          CondContextDef
          -> Data.ProtoLens.Encoding.Growing.Growing Data.Vector.Vector Data.ProtoLens.Encoding.Growing.RealWorld ControlFlowContextDef
             -> Data.ProtoLens.Encoding.Bytes.Parser CondContextDef
        loop :: CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop x :: CondContextDef
x mutable'nestedContexts :: Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
          = do Bool
end <- Parser Bool
Data.ProtoLens.Encoding.Bytes.atEnd
               if Bool
end then
                   do Vector ControlFlowContextDef
frozen'nestedContexts <- IO (Vector ControlFlowContextDef)
-> Parser (Vector ControlFlowContextDef)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                                 (Growing Vector (PrimState IO) ControlFlowContextDef
-> IO (Vector ControlFlowContextDef)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> m (v a)
Data.ProtoLens.Encoding.Growing.unsafeFreeze
                                                    Growing Vector RealWorld ControlFlowContextDef
Growing Vector (PrimState IO) ControlFlowContextDef
mutable'nestedContexts)
                      (let missing :: [a]
missing = []
                       in
                         if [Any] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
Prelude.null [Any]
forall a. [a]
missing then
                             () -> Parser ()
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return ()
                         else
                             String -> Parser ()
forall (m :: * -> *) a. MonadFail m => String -> m a
Prelude.fail
                               (String -> ShowS
forall a. [a] -> [a] -> [a]
(Prelude.++)
                                  "Missing required fields: "
                                  ([String] -> String
forall a. Show a => a -> String
Prelude.show ([String]
forall a. [a]
missing :: [Prelude.String]))))
                      CondContextDef -> Parser CondContextDef
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return
                        (Setter CondContextDef CondContextDef FieldSet FieldSet
-> (FieldSet -> FieldSet) -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                           forall msg. Message msg => Lens' msg FieldSet
Setter CondContextDef CondContextDef FieldSet FieldSet
Data.ProtoLens.unknownFields
                           (\ !FieldSet
t -> FieldSet -> FieldSet
forall a. [a] -> [a]
Prelude.reverse FieldSet
t)
                           (Setter
  CondContextDef
  CondContextDef
  (Vector ControlFlowContextDef)
  (Vector ControlFlowContextDef)
-> Vector ControlFlowContextDef -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                              (forall s a (f :: * -> *).
(HasField s "vec'nestedContexts" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'nestedContexts")
                              Vector ControlFlowContextDef
frozen'nestedContexts
                              CondContextDef
x))
               else
                   do Word64
tag <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                      case Word64
tag of
                        10
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "context_name"
                                CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop
                                  (Setter CondContextDef CondContextDef Text Text
-> Text -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "contextName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"contextName") Text
y CondContextDef
x)
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        18
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "pred_name"
                                CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop
                                  (Setter CondContextDef CondContextDef Text Text
-> Text -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "predName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"predName") Text
y CondContextDef
x)
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        26
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "pivot_name"
                                CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop
                                  (Setter CondContextDef CondContextDef Text Text
-> Text -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "pivotName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotName") Text
y CondContextDef
x)
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        32
                          -> do Int32
y <- Parser Int32 -> String -> Parser Int32
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       ((Word64 -> Int32) -> Parser Word64 -> Parser Int32
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap
                                          Word64 -> Int32
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                          Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt)
                                       "branch"
                                CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop
                                  (Setter CondContextDef CondContextDef Int32 Int32
-> Int32 -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "branch" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"branch") Int32
y CondContextDef
x)
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        42
                          -> do ValuesDef
y <- Parser ValuesDef -> String -> Parser ValuesDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                           Int -> Parser ValuesDef -> Parser ValuesDef
forall a. Int -> Parser a -> Parser a
Data.ProtoLens.Encoding.Bytes.isolate
                                             (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len) Parser ValuesDef
forall msg. Message msg => Parser msg
Data.ProtoLens.parseMessage)
                                       "values_def"
                                CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop
                                  (Setter CondContextDef CondContextDef ValuesDef ValuesDef
-> ValuesDef -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "valuesDef" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"valuesDef") ValuesDef
y CondContextDef
x)
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        50
                          -> do !ControlFlowContextDef
y <- Parser ControlFlowContextDef
-> String -> Parser ControlFlowContextDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                        (do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                            Int -> Parser ControlFlowContextDef -> Parser ControlFlowContextDef
forall a. Int -> Parser a -> Parser a
Data.ProtoLens.Encoding.Bytes.isolate
                                              (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                              Parser ControlFlowContextDef
forall msg. Message msg => Parser msg
Data.ProtoLens.parseMessage)
                                        "nested_contexts"
                                Growing Vector RealWorld ControlFlowContextDef
v <- IO (Growing Vector RealWorld ControlFlowContextDef)
-> Parser (Growing Vector RealWorld ControlFlowContextDef)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                       (Growing Vector (PrimState IO) ControlFlowContextDef
-> ControlFlowContextDef
-> IO (Growing Vector (PrimState IO) ControlFlowContextDef)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> a -> m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.append
                                          Growing Vector RealWorld ControlFlowContextDef
Growing Vector (PrimState IO) ControlFlowContextDef
mutable'nestedContexts ControlFlowContextDef
y)
                                CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop CondContextDef
x Growing Vector RealWorld ControlFlowContextDef
v
                        wire :: Word64
wire
                          -> do !TaggedValue
y <- Word64 -> Parser TaggedValue
Data.ProtoLens.Encoding.Wire.parseTaggedValueFromWire
                                        Word64
wire
                                CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop
                                  (Setter CondContextDef CondContextDef FieldSet FieldSet
-> (FieldSet -> FieldSet) -> CondContextDef -> CondContextDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                                     forall msg. Message msg => Lens' msg FieldSet
Setter CondContextDef CondContextDef FieldSet FieldSet
Data.ProtoLens.unknownFields (\ !FieldSet
t -> (:) TaggedValue
y FieldSet
t) CondContextDef
x)
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
      in
        Parser CondContextDef -> String -> Parser CondContextDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
          (do Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts <- IO (Growing Vector RealWorld ControlFlowContextDef)
-> Parser (Growing Vector RealWorld ControlFlowContextDef)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                          IO (Growing Vector RealWorld ControlFlowContextDef)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.new
              CondContextDef
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser CondContextDef
loop CondContextDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts)
          "CondContextDef"
  buildMessage :: CondContextDef -> Builder
buildMessage
    = \ _x :: CondContextDef
_x
        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
             (let
                _v :: Text
_v
                  = FoldLike Text CondContextDef CondContextDef Text Text
-> CondContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "contextName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"contextName") CondContextDef
_x
              in
                if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                    Builder
forall a. Monoid a => a
Data.Monoid.mempty
                else
                    Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                      (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 10)
                      ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                         (\ bs :: ByteString
bs
                            -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                 (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                    (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                 (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                         Text -> ByteString
Data.Text.Encoding.encodeUtf8
                         Text
_v))
             (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                (let
                   _v :: Text
_v = FoldLike Text CondContextDef CondContextDef Text Text
-> CondContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "predName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"predName") CondContextDef
_x
                 in
                   if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                       Builder
forall a. Monoid a => a
Data.Monoid.mempty
                   else
                       Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                         (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 18)
                         ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                            (\ bs :: ByteString
bs
                               -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                    (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                       (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                    (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                            Text -> ByteString
Data.Text.Encoding.encodeUtf8
                            Text
_v))
                (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                   (let
                      _v :: Text
_v = FoldLike Text CondContextDef CondContextDef Text Text
-> CondContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "pivotName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotName") CondContextDef
_x
                    in
                      if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                          Builder
forall a. Monoid a => a
Data.Monoid.mempty
                      else
                          Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                            (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 26)
                            ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                               (\ bs :: ByteString
bs
                                  -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                       (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                          (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                       (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                               Text -> ByteString
Data.Text.Encoding.encodeUtf8
                               Text
_v))
                   (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                      (let
                         _v :: Int32
_v = FoldLike Int32 CondContextDef CondContextDef Int32 Int32
-> CondContextDef -> Int32
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "branch" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"branch") CondContextDef
_x
                       in
                         if Int32 -> Int32 -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Int32
_v Int32
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                             Builder
forall a. Monoid a => a
Data.Monoid.mempty
                         else
                             Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                               (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 32)
                               ((Word64 -> Builder) -> (Int32 -> Word64) -> Int32 -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                  Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt Int32 -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Int32
_v))
                      (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                         (case
                              FoldLike
  (Maybe ValuesDef)
  CondContextDef
  CondContextDef
  (Maybe ValuesDef)
  (Maybe ValuesDef)
-> CondContextDef -> Maybe ValuesDef
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                (forall s a (f :: * -> *).
(HasField s "maybe'valuesDef" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'valuesDef") CondContextDef
_x
                          of
                            Prelude.Nothing -> Builder
forall a. Monoid a => a
Data.Monoid.mempty
                            (Prelude.Just _v :: ValuesDef
_v)
                              -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                   (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 42)
                                   ((ByteString -> Builder)
-> (ValuesDef -> ByteString) -> ValuesDef -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                      (\ bs :: ByteString
bs
                                         -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                              (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                 (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                              (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                                      ValuesDef -> ByteString
forall msg. Message msg => msg -> ByteString
Data.ProtoLens.encodeMessage
                                      ValuesDef
_v))
                         (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                            ((ControlFlowContextDef -> Builder)
-> Vector ControlFlowContextDef -> Builder
forall (v :: * -> *) a.
Vector v a =>
(a -> Builder) -> v a -> Builder
Data.ProtoLens.Encoding.Bytes.foldMapBuilder
                               (\ _v :: ControlFlowContextDef
_v
                                  -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                       (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 50)
                                       ((ByteString -> Builder)
-> (ControlFlowContextDef -> ByteString)
-> ControlFlowContextDef
-> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                          (\ bs :: ByteString
bs
                                             -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                  (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                     (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                        (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                                  (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                                          ControlFlowContextDef -> ByteString
forall msg. Message msg => msg -> ByteString
Data.ProtoLens.encodeMessage
                                          ControlFlowContextDef
_v))
                               (FoldLike
  (Vector ControlFlowContextDef)
  CondContextDef
  CondContextDef
  (Vector ControlFlowContextDef)
  (Vector ControlFlowContextDef)
-> CondContextDef -> Vector ControlFlowContextDef
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                  (forall s a (f :: * -> *).
(HasField s "vec'nestedContexts" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'nestedContexts") CondContextDef
_x))
                            (FieldSet -> Builder
Data.ProtoLens.Encoding.Wire.buildFieldSet
                               (FoldLike FieldSet CondContextDef CondContextDef FieldSet FieldSet
-> CondContextDef -> FieldSet
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view FoldLike FieldSet CondContextDef CondContextDef FieldSet FieldSet
forall msg. Message msg => Lens' msg FieldSet
Data.ProtoLens.unknownFields CondContextDef
_x)))))))
instance Control.DeepSeq.NFData CondContextDef where
  rnf :: CondContextDef -> ()
rnf
    = \ x__ :: CondContextDef
x__
        -> FieldSet -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
             (CondContextDef -> FieldSet
_CondContextDef'_unknownFields CondContextDef
x__)
             (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                (CondContextDef -> Text
_CondContextDef'contextName CondContextDef
x__)
                (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                   (CondContextDef -> Text
_CondContextDef'predName CondContextDef
x__)
                   (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                      (CondContextDef -> Text
_CondContextDef'pivotName CondContextDef
x__)
                      (Int32 -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                         (CondContextDef -> Int32
_CondContextDef'branch CondContextDef
x__)
                         (Maybe ValuesDef -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                            (CondContextDef -> Maybe ValuesDef
_CondContextDef'valuesDef CondContextDef
x__)
                            (Vector ControlFlowContextDef -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                               (CondContextDef -> Vector ControlFlowContextDef
_CondContextDef'nestedContexts CondContextDef
x__) ()))))))
{- | Fields :
     
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.maybe'ctxt' @:: Lens' ControlFlowContextDef (Prelude.Maybe ControlFlowContextDef'Ctxt)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.maybe'condCtxt' @:: Lens' ControlFlowContextDef (Prelude.Maybe CondContextDef)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.condCtxt' @:: Lens' ControlFlowContextDef CondContextDef@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.maybe'whileCtxt' @:: Lens' ControlFlowContextDef (Prelude.Maybe WhileContextDef)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.whileCtxt' @:: Lens' ControlFlowContextDef WhileContextDef@ -}
data ControlFlowContextDef
  = ControlFlowContextDef'_constructor {ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt :: !(Prelude.Maybe ControlFlowContextDef'Ctxt),
                                        ControlFlowContextDef -> FieldSet
_ControlFlowContextDef'_unknownFields :: !Data.ProtoLens.FieldSet}
  deriving stock (ControlFlowContextDef -> ControlFlowContextDef -> Bool
(ControlFlowContextDef -> ControlFlowContextDef -> Bool)
-> (ControlFlowContextDef -> ControlFlowContextDef -> Bool)
-> Eq ControlFlowContextDef
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
$c/= :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
== :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
$c== :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
Prelude.Eq, Eq ControlFlowContextDef
Eq ControlFlowContextDef =>
(ControlFlowContextDef -> ControlFlowContextDef -> Ordering)
-> (ControlFlowContextDef -> ControlFlowContextDef -> Bool)
-> (ControlFlowContextDef -> ControlFlowContextDef -> Bool)
-> (ControlFlowContextDef -> ControlFlowContextDef -> Bool)
-> (ControlFlowContextDef -> ControlFlowContextDef -> Bool)
-> (ControlFlowContextDef
    -> ControlFlowContextDef -> ControlFlowContextDef)
-> (ControlFlowContextDef
    -> ControlFlowContextDef -> ControlFlowContextDef)
-> Ord ControlFlowContextDef
ControlFlowContextDef -> ControlFlowContextDef -> Bool
ControlFlowContextDef -> ControlFlowContextDef -> Ordering
ControlFlowContextDef
-> ControlFlowContextDef -> ControlFlowContextDef
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: ControlFlowContextDef
-> ControlFlowContextDef -> ControlFlowContextDef
$cmin :: ControlFlowContextDef
-> ControlFlowContextDef -> ControlFlowContextDef
max :: ControlFlowContextDef
-> ControlFlowContextDef -> ControlFlowContextDef
$cmax :: ControlFlowContextDef
-> ControlFlowContextDef -> ControlFlowContextDef
>= :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
$c>= :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
> :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
$c> :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
<= :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
$c<= :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
< :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
$c< :: ControlFlowContextDef -> ControlFlowContextDef -> Bool
compare :: ControlFlowContextDef -> ControlFlowContextDef -> Ordering
$ccompare :: ControlFlowContextDef -> ControlFlowContextDef -> Ordering
$cp1Ord :: Eq ControlFlowContextDef
Prelude.Ord)
instance Prelude.Show ControlFlowContextDef where
  showsPrec :: Int -> ControlFlowContextDef -> ShowS
showsPrec _ __x :: ControlFlowContextDef
__x __s :: String
__s
    = Char -> ShowS
Prelude.showChar
        '{'
        (String -> ShowS
Prelude.showString
           (ControlFlowContextDef -> String
forall msg. Message msg => msg -> String
Data.ProtoLens.showMessageShort ControlFlowContextDef
__x) (Char -> ShowS
Prelude.showChar '}' String
__s))
data ControlFlowContextDef'Ctxt
  = ControlFlowContextDef'CondCtxt !CondContextDef |
    ControlFlowContextDef'WhileCtxt !WhileContextDef
  deriving stock (Int -> ControlFlowContextDef'Ctxt -> ShowS
[ControlFlowContextDef'Ctxt] -> ShowS
ControlFlowContextDef'Ctxt -> String
(Int -> ControlFlowContextDef'Ctxt -> ShowS)
-> (ControlFlowContextDef'Ctxt -> String)
-> ([ControlFlowContextDef'Ctxt] -> ShowS)
-> Show ControlFlowContextDef'Ctxt
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ControlFlowContextDef'Ctxt] -> ShowS
$cshowList :: [ControlFlowContextDef'Ctxt] -> ShowS
show :: ControlFlowContextDef'Ctxt -> String
$cshow :: ControlFlowContextDef'Ctxt -> String
showsPrec :: Int -> ControlFlowContextDef'Ctxt -> ShowS
$cshowsPrec :: Int -> ControlFlowContextDef'Ctxt -> ShowS
Prelude.Show, ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
(ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool)
-> (ControlFlowContextDef'Ctxt
    -> ControlFlowContextDef'Ctxt -> Bool)
-> Eq ControlFlowContextDef'Ctxt
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
$c/= :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
== :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
$c== :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
Prelude.Eq, Eq ControlFlowContextDef'Ctxt
Eq ControlFlowContextDef'Ctxt =>
(ControlFlowContextDef'Ctxt
 -> ControlFlowContextDef'Ctxt -> Ordering)
-> (ControlFlowContextDef'Ctxt
    -> ControlFlowContextDef'Ctxt -> Bool)
-> (ControlFlowContextDef'Ctxt
    -> ControlFlowContextDef'Ctxt -> Bool)
-> (ControlFlowContextDef'Ctxt
    -> ControlFlowContextDef'Ctxt -> Bool)
-> (ControlFlowContextDef'Ctxt
    -> ControlFlowContextDef'Ctxt -> Bool)
-> (ControlFlowContextDef'Ctxt
    -> ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef'Ctxt
    -> ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt)
-> Ord ControlFlowContextDef'Ctxt
ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> Ordering
ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt
$cmin :: ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt
max :: ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt
$cmax :: ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt
>= :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
$c>= :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
> :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
$c> :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
<= :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
$c<= :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
< :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
$c< :: ControlFlowContextDef'Ctxt -> ControlFlowContextDef'Ctxt -> Bool
compare :: ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> Ordering
$ccompare :: ControlFlowContextDef'Ctxt
-> ControlFlowContextDef'Ctxt -> Ordering
$cp1Ord :: Eq ControlFlowContextDef'Ctxt
Prelude.Ord)
instance Data.ProtoLens.Field.HasField ControlFlowContextDef "maybe'ctxt" (Prelude.Maybe ControlFlowContextDef'Ctxt) where
  fieldOf :: Proxy# "maybe'ctxt"
-> (Maybe ControlFlowContextDef'Ctxt
    -> f (Maybe ControlFlowContextDef'Ctxt))
-> ControlFlowContextDef
-> f ControlFlowContextDef
fieldOf _
    = ((Maybe ControlFlowContextDef'Ctxt
  -> f (Maybe ControlFlowContextDef'Ctxt))
 -> ControlFlowContextDef -> f ControlFlowContextDef)
-> ((Maybe ControlFlowContextDef'Ctxt
     -> f (Maybe ControlFlowContextDef'Ctxt))
    -> Maybe ControlFlowContextDef'Ctxt
    -> f (Maybe ControlFlowContextDef'Ctxt))
-> (Maybe ControlFlowContextDef'Ctxt
    -> f (Maybe ControlFlowContextDef'Ctxt))
-> ControlFlowContextDef
-> f ControlFlowContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef
    -> Maybe ControlFlowContextDef'Ctxt -> ControlFlowContextDef)
-> Lens
     ControlFlowContextDef
     ControlFlowContextDef
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt
           (\ x__ :: ControlFlowContextDef
x__ y__ :: Maybe ControlFlowContextDef'Ctxt
y__ -> ControlFlowContextDef
x__ {_ControlFlowContextDef'ctxt :: Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt = Maybe ControlFlowContextDef'Ctxt
y__}))
        (Maybe ControlFlowContextDef'Ctxt
 -> f (Maybe ControlFlowContextDef'Ctxt))
-> Maybe ControlFlowContextDef'Ctxt
-> f (Maybe ControlFlowContextDef'Ctxt)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField ControlFlowContextDef "maybe'condCtxt" (Prelude.Maybe CondContextDef) where
  fieldOf :: Proxy# "maybe'condCtxt"
-> (Maybe CondContextDef -> f (Maybe CondContextDef))
-> ControlFlowContextDef
-> f ControlFlowContextDef
fieldOf _
    = ((Maybe ControlFlowContextDef'Ctxt
  -> f (Maybe ControlFlowContextDef'Ctxt))
 -> ControlFlowContextDef -> f ControlFlowContextDef)
-> ((Maybe CondContextDef -> f (Maybe CondContextDef))
    -> Maybe ControlFlowContextDef'Ctxt
    -> f (Maybe ControlFlowContextDef'Ctxt))
-> (Maybe CondContextDef -> f (Maybe CondContextDef))
-> ControlFlowContextDef
-> f ControlFlowContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef
    -> Maybe ControlFlowContextDef'Ctxt -> ControlFlowContextDef)
-> Lens
     ControlFlowContextDef
     ControlFlowContextDef
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt
           (\ x__ :: ControlFlowContextDef
x__ y__ :: Maybe ControlFlowContextDef'Ctxt
y__ -> ControlFlowContextDef
x__ {_ControlFlowContextDef'ctxt :: Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt = Maybe ControlFlowContextDef'Ctxt
y__}))
        ((Maybe ControlFlowContextDef'Ctxt -> Maybe CondContextDef)
-> (Maybe ControlFlowContextDef'Ctxt
    -> Maybe CondContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> Lens
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe CondContextDef)
     (Maybe CondContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           (\ x__ :: Maybe ControlFlowContextDef'Ctxt
x__
              -> case Maybe ControlFlowContextDef'Ctxt
x__ of
                   (Prelude.Just (ControlFlowContextDef'CondCtxt x__val :: CondContextDef
x__val))
                     -> CondContextDef -> Maybe CondContextDef
forall a. a -> Maybe a
Prelude.Just CondContextDef
x__val
                   _otherwise :: Maybe ControlFlowContextDef'Ctxt
_otherwise -> Maybe CondContextDef
forall a. Maybe a
Prelude.Nothing)
           (\ _ y__ :: Maybe CondContextDef
y__ -> (CondContextDef -> ControlFlowContextDef'Ctxt)
-> Maybe CondContextDef -> Maybe ControlFlowContextDef'Ctxt
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap CondContextDef -> ControlFlowContextDef'Ctxt
ControlFlowContextDef'CondCtxt Maybe CondContextDef
y__))
instance Data.ProtoLens.Field.HasField ControlFlowContextDef "condCtxt" CondContextDef where
  fieldOf :: Proxy# "condCtxt"
-> (CondContextDef -> f CondContextDef)
-> ControlFlowContextDef
-> f ControlFlowContextDef
fieldOf _
    = ((Maybe ControlFlowContextDef'Ctxt
  -> f (Maybe ControlFlowContextDef'Ctxt))
 -> ControlFlowContextDef -> f ControlFlowContextDef)
-> ((CondContextDef -> f CondContextDef)
    -> Maybe ControlFlowContextDef'Ctxt
    -> f (Maybe ControlFlowContextDef'Ctxt))
-> (CondContextDef -> f CondContextDef)
-> ControlFlowContextDef
-> f ControlFlowContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef
    -> Maybe ControlFlowContextDef'Ctxt -> ControlFlowContextDef)
-> Lens
     ControlFlowContextDef
     ControlFlowContextDef
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt
           (\ x__ :: ControlFlowContextDef
x__ y__ :: Maybe ControlFlowContextDef'Ctxt
y__ -> ControlFlowContextDef
x__ {_ControlFlowContextDef'ctxt :: Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt = Maybe ControlFlowContextDef'Ctxt
y__}))
        (((Maybe CondContextDef -> f (Maybe CondContextDef))
 -> Maybe ControlFlowContextDef'Ctxt
 -> f (Maybe ControlFlowContextDef'Ctxt))
-> ((CondContextDef -> f CondContextDef)
    -> Maybe CondContextDef -> f (Maybe CondContextDef))
-> (CondContextDef -> f CondContextDef)
-> Maybe ControlFlowContextDef'Ctxt
-> f (Maybe ControlFlowContextDef'Ctxt)
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
           ((Maybe ControlFlowContextDef'Ctxt -> Maybe CondContextDef)
-> (Maybe ControlFlowContextDef'Ctxt
    -> Maybe CondContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> Lens
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe CondContextDef)
     (Maybe CondContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
              (\ x__ :: Maybe ControlFlowContextDef'Ctxt
x__
                 -> case Maybe ControlFlowContextDef'Ctxt
x__ of
                      (Prelude.Just (ControlFlowContextDef'CondCtxt x__val :: CondContextDef
x__val))
                        -> CondContextDef -> Maybe CondContextDef
forall a. a -> Maybe a
Prelude.Just CondContextDef
x__val
                      _otherwise :: Maybe ControlFlowContextDef'Ctxt
_otherwise -> Maybe CondContextDef
forall a. Maybe a
Prelude.Nothing)
              (\ _ y__ :: Maybe CondContextDef
y__ -> (CondContextDef -> ControlFlowContextDef'Ctxt)
-> Maybe CondContextDef -> Maybe ControlFlowContextDef'Ctxt
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap CondContextDef -> ControlFlowContextDef'Ctxt
ControlFlowContextDef'CondCtxt Maybe CondContextDef
y__))
           (CondContextDef -> Lens' (Maybe CondContextDef) CondContextDef
forall b. b -> Lens' (Maybe b) b
Data.ProtoLens.maybeLens CondContextDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage))
instance Data.ProtoLens.Field.HasField ControlFlowContextDef "maybe'whileCtxt" (Prelude.Maybe WhileContextDef) where
  fieldOf :: Proxy# "maybe'whileCtxt"
-> (Maybe WhileContextDef -> f (Maybe WhileContextDef))
-> ControlFlowContextDef
-> f ControlFlowContextDef
fieldOf _
    = ((Maybe ControlFlowContextDef'Ctxt
  -> f (Maybe ControlFlowContextDef'Ctxt))
 -> ControlFlowContextDef -> f ControlFlowContextDef)
-> ((Maybe WhileContextDef -> f (Maybe WhileContextDef))
    -> Maybe ControlFlowContextDef'Ctxt
    -> f (Maybe ControlFlowContextDef'Ctxt))
-> (Maybe WhileContextDef -> f (Maybe WhileContextDef))
-> ControlFlowContextDef
-> f ControlFlowContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef
    -> Maybe ControlFlowContextDef'Ctxt -> ControlFlowContextDef)
-> Lens
     ControlFlowContextDef
     ControlFlowContextDef
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt
           (\ x__ :: ControlFlowContextDef
x__ y__ :: Maybe ControlFlowContextDef'Ctxt
y__ -> ControlFlowContextDef
x__ {_ControlFlowContextDef'ctxt :: Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt = Maybe ControlFlowContextDef'Ctxt
y__}))
        ((Maybe ControlFlowContextDef'Ctxt -> Maybe WhileContextDef)
-> (Maybe ControlFlowContextDef'Ctxt
    -> Maybe WhileContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> Lens
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe WhileContextDef)
     (Maybe WhileContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           (\ x__ :: Maybe ControlFlowContextDef'Ctxt
x__
              -> case Maybe ControlFlowContextDef'Ctxt
x__ of
                   (Prelude.Just (ControlFlowContextDef'WhileCtxt x__val :: WhileContextDef
x__val))
                     -> WhileContextDef -> Maybe WhileContextDef
forall a. a -> Maybe a
Prelude.Just WhileContextDef
x__val
                   _otherwise :: Maybe ControlFlowContextDef'Ctxt
_otherwise -> Maybe WhileContextDef
forall a. Maybe a
Prelude.Nothing)
           (\ _ y__ :: Maybe WhileContextDef
y__ -> (WhileContextDef -> ControlFlowContextDef'Ctxt)
-> Maybe WhileContextDef -> Maybe ControlFlowContextDef'Ctxt
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap WhileContextDef -> ControlFlowContextDef'Ctxt
ControlFlowContextDef'WhileCtxt Maybe WhileContextDef
y__))
instance Data.ProtoLens.Field.HasField ControlFlowContextDef "whileCtxt" WhileContextDef where
  fieldOf :: Proxy# "whileCtxt"
-> (WhileContextDef -> f WhileContextDef)
-> ControlFlowContextDef
-> f ControlFlowContextDef
fieldOf _
    = ((Maybe ControlFlowContextDef'Ctxt
  -> f (Maybe ControlFlowContextDef'Ctxt))
 -> ControlFlowContextDef -> f ControlFlowContextDef)
-> ((WhileContextDef -> f WhileContextDef)
    -> Maybe ControlFlowContextDef'Ctxt
    -> f (Maybe ControlFlowContextDef'Ctxt))
-> (WhileContextDef -> f WhileContextDef)
-> ControlFlowContextDef
-> f ControlFlowContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef
    -> Maybe ControlFlowContextDef'Ctxt -> ControlFlowContextDef)
-> Lens
     ControlFlowContextDef
     ControlFlowContextDef
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt
           (\ x__ :: ControlFlowContextDef
x__ y__ :: Maybe ControlFlowContextDef'Ctxt
y__ -> ControlFlowContextDef
x__ {_ControlFlowContextDef'ctxt :: Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt = Maybe ControlFlowContextDef'Ctxt
y__}))
        (((Maybe WhileContextDef -> f (Maybe WhileContextDef))
 -> Maybe ControlFlowContextDef'Ctxt
 -> f (Maybe ControlFlowContextDef'Ctxt))
-> ((WhileContextDef -> f WhileContextDef)
    -> Maybe WhileContextDef -> f (Maybe WhileContextDef))
-> (WhileContextDef -> f WhileContextDef)
-> Maybe ControlFlowContextDef'Ctxt
-> f (Maybe ControlFlowContextDef'Ctxt)
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
           ((Maybe ControlFlowContextDef'Ctxt -> Maybe WhileContextDef)
-> (Maybe ControlFlowContextDef'Ctxt
    -> Maybe WhileContextDef -> Maybe ControlFlowContextDef'Ctxt)
-> Lens
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe ControlFlowContextDef'Ctxt)
     (Maybe WhileContextDef)
     (Maybe WhileContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
              (\ x__ :: Maybe ControlFlowContextDef'Ctxt
x__
                 -> case Maybe ControlFlowContextDef'Ctxt
x__ of
                      (Prelude.Just (ControlFlowContextDef'WhileCtxt x__val :: WhileContextDef
x__val))
                        -> WhileContextDef -> Maybe WhileContextDef
forall a. a -> Maybe a
Prelude.Just WhileContextDef
x__val
                      _otherwise :: Maybe ControlFlowContextDef'Ctxt
_otherwise -> Maybe WhileContextDef
forall a. Maybe a
Prelude.Nothing)
              (\ _ y__ :: Maybe WhileContextDef
y__ -> (WhileContextDef -> ControlFlowContextDef'Ctxt)
-> Maybe WhileContextDef -> Maybe ControlFlowContextDef'Ctxt
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap WhileContextDef -> ControlFlowContextDef'Ctxt
ControlFlowContextDef'WhileCtxt Maybe WhileContextDef
y__))
           (WhileContextDef -> Lens' (Maybe WhileContextDef) WhileContextDef
forall b. b -> Lens' (Maybe b) b
Data.ProtoLens.maybeLens WhileContextDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage))
instance Data.ProtoLens.Message ControlFlowContextDef where
  messageName :: Proxy ControlFlowContextDef -> Text
messageName _ = String -> Text
Data.Text.pack "tensorflow.ControlFlowContextDef"
  packedMessageDescriptor :: Proxy ControlFlowContextDef -> ByteString
packedMessageDescriptor _
    = "\n\
      \\NAKControlFlowContextDef\DC29\n\
      \\tcond_ctxt\CAN\SOH \SOH(\v2\SUB.tensorflow.CondContextDefH\NULR\bcondCtxt\DC2<\n\
      \\n\
      \while_ctxt\CAN\STX \SOH(\v2\ESC.tensorflow.WhileContextDefH\NULR\twhileCtxtB\ACK\n\
      \\EOTctxt"
  packedFileDescriptor :: Proxy ControlFlowContextDef -> ByteString
packedFileDescriptor _ = ByteString
packedFileDescriptor
  fieldsByTag :: Map Tag (FieldDescriptor ControlFlowContextDef)
fieldsByTag
    = let
        condCtxt__field_descriptor :: FieldDescriptor ControlFlowContextDef
condCtxt__field_descriptor
          = String
-> FieldTypeDescriptor CondContextDef
-> FieldAccessor ControlFlowContextDef CondContextDef
-> FieldDescriptor ControlFlowContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "cond_ctxt"
              (MessageOrGroup -> FieldTypeDescriptor CondContextDef
forall value.
Message value =>
MessageOrGroup -> FieldTypeDescriptor value
Data.ProtoLens.MessageField MessageOrGroup
Data.ProtoLens.MessageType ::
                 Data.ProtoLens.FieldTypeDescriptor CondContextDef)
              (Lens' ControlFlowContextDef (Maybe CondContextDef)
-> FieldAccessor ControlFlowContextDef CondContextDef
forall msg value.
Lens' msg (Maybe value) -> FieldAccessor msg value
Data.ProtoLens.OptionalField
                 (forall s a (f :: * -> *).
(HasField s "maybe'condCtxt" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'condCtxt")) ::
              Data.ProtoLens.FieldDescriptor ControlFlowContextDef
        whileCtxt__field_descriptor :: FieldDescriptor ControlFlowContextDef
whileCtxt__field_descriptor
          = String
-> FieldTypeDescriptor WhileContextDef
-> FieldAccessor ControlFlowContextDef WhileContextDef
-> FieldDescriptor ControlFlowContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "while_ctxt"
              (MessageOrGroup -> FieldTypeDescriptor WhileContextDef
forall value.
Message value =>
MessageOrGroup -> FieldTypeDescriptor value
Data.ProtoLens.MessageField MessageOrGroup
Data.ProtoLens.MessageType ::
                 Data.ProtoLens.FieldTypeDescriptor WhileContextDef)
              (Lens' ControlFlowContextDef (Maybe WhileContextDef)
-> FieldAccessor ControlFlowContextDef WhileContextDef
forall msg value.
Lens' msg (Maybe value) -> FieldAccessor msg value
Data.ProtoLens.OptionalField
                 (forall s a (f :: * -> *).
(HasField s "maybe'whileCtxt" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'whileCtxt")) ::
              Data.ProtoLens.FieldDescriptor ControlFlowContextDef
      in
        [(Tag, FieldDescriptor ControlFlowContextDef)]
-> Map Tag (FieldDescriptor ControlFlowContextDef)
forall k a. Ord k => [(k, a)] -> Map k a
Data.Map.fromList
          [(Int -> Tag
Data.ProtoLens.Tag 1, FieldDescriptor ControlFlowContextDef
condCtxt__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 2, FieldDescriptor ControlFlowContextDef
whileCtxt__field_descriptor)]
  unknownFields :: LensLike' f ControlFlowContextDef FieldSet
unknownFields
    = (ControlFlowContextDef -> FieldSet)
-> (ControlFlowContextDef -> FieldSet -> ControlFlowContextDef)
-> Lens' ControlFlowContextDef FieldSet
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
        ControlFlowContextDef -> FieldSet
_ControlFlowContextDef'_unknownFields
        (\ x__ :: ControlFlowContextDef
x__ y__ :: FieldSet
y__ -> ControlFlowContextDef
x__ {_ControlFlowContextDef'_unknownFields :: FieldSet
_ControlFlowContextDef'_unknownFields = FieldSet
y__})
  defMessage :: ControlFlowContextDef
defMessage
    = $WControlFlowContextDef'_constructor :: Maybe ControlFlowContextDef'Ctxt
-> FieldSet -> ControlFlowContextDef
ControlFlowContextDef'_constructor
        {_ControlFlowContextDef'ctxt :: Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt = Maybe ControlFlowContextDef'Ctxt
forall a. Maybe a
Prelude.Nothing,
         _ControlFlowContextDef'_unknownFields :: FieldSet
_ControlFlowContextDef'_unknownFields = []}
  parseMessage :: Parser ControlFlowContextDef
parseMessage
    = let
        loop ::
          ControlFlowContextDef
          -> Data.ProtoLens.Encoding.Bytes.Parser ControlFlowContextDef
        loop :: ControlFlowContextDef -> Parser ControlFlowContextDef
loop x :: ControlFlowContextDef
x
          = do Bool
end <- Parser Bool
Data.ProtoLens.Encoding.Bytes.atEnd
               if Bool
end then
                   do (let missing :: [a]
missing = []
                       in
                         if [Any] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
Prelude.null [Any]
forall a. [a]
missing then
                             () -> Parser ()
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return ()
                         else
                             String -> Parser ()
forall (m :: * -> *) a. MonadFail m => String -> m a
Prelude.fail
                               (String -> ShowS
forall a. [a] -> [a] -> [a]
(Prelude.++)
                                  "Missing required fields: "
                                  ([String] -> String
forall a. Show a => a -> String
Prelude.show ([String]
forall a. [a]
missing :: [Prelude.String]))))
                      ControlFlowContextDef -> Parser ControlFlowContextDef
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return
                        (Setter
  ControlFlowContextDef ControlFlowContextDef FieldSet FieldSet
-> (FieldSet -> FieldSet)
-> ControlFlowContextDef
-> ControlFlowContextDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                           forall msg. Message msg => Lens' msg FieldSet
Setter
  ControlFlowContextDef ControlFlowContextDef FieldSet FieldSet
Data.ProtoLens.unknownFields (\ !FieldSet
t -> FieldSet -> FieldSet
forall a. [a] -> [a]
Prelude.reverse FieldSet
t) ControlFlowContextDef
x)
               else
                   do Word64
tag <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                      case Word64
tag of
                        10
                          -> do CondContextDef
y <- Parser CondContextDef -> String -> Parser CondContextDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                           Int -> Parser CondContextDef -> Parser CondContextDef
forall a. Int -> Parser a -> Parser a
Data.ProtoLens.Encoding.Bytes.isolate
                                             (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len) Parser CondContextDef
forall msg. Message msg => Parser msg
Data.ProtoLens.parseMessage)
                                       "cond_ctxt"
                                ControlFlowContextDef -> Parser ControlFlowContextDef
loop
                                  (Setter
  ControlFlowContextDef
  ControlFlowContextDef
  CondContextDef
  CondContextDef
-> CondContextDef -> ControlFlowContextDef -> ControlFlowContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "condCtxt" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"condCtxt") CondContextDef
y ControlFlowContextDef
x)
                        18
                          -> do WhileContextDef
y <- Parser WhileContextDef -> String -> Parser WhileContextDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                           Int -> Parser WhileContextDef -> Parser WhileContextDef
forall a. Int -> Parser a -> Parser a
Data.ProtoLens.Encoding.Bytes.isolate
                                             (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len) Parser WhileContextDef
forall msg. Message msg => Parser msg
Data.ProtoLens.parseMessage)
                                       "while_ctxt"
                                ControlFlowContextDef -> Parser ControlFlowContextDef
loop
                                  (Setter
  ControlFlowContextDef
  ControlFlowContextDef
  WhileContextDef
  WhileContextDef
-> WhileContextDef
-> ControlFlowContextDef
-> ControlFlowContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "whileCtxt" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"whileCtxt") WhileContextDef
y ControlFlowContextDef
x)
                        wire :: Word64
wire
                          -> do !TaggedValue
y <- Word64 -> Parser TaggedValue
Data.ProtoLens.Encoding.Wire.parseTaggedValueFromWire
                                        Word64
wire
                                ControlFlowContextDef -> Parser ControlFlowContextDef
loop
                                  (Setter
  ControlFlowContextDef ControlFlowContextDef FieldSet FieldSet
-> (FieldSet -> FieldSet)
-> ControlFlowContextDef
-> ControlFlowContextDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                                     forall msg. Message msg => Lens' msg FieldSet
Setter
  ControlFlowContextDef ControlFlowContextDef FieldSet FieldSet
Data.ProtoLens.unknownFields (\ !FieldSet
t -> (:) TaggedValue
y FieldSet
t) ControlFlowContextDef
x)
      in
        Parser ControlFlowContextDef
-> String -> Parser ControlFlowContextDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
          (do ControlFlowContextDef -> Parser ControlFlowContextDef
loop ControlFlowContextDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage) "ControlFlowContextDef"
  buildMessage :: ControlFlowContextDef -> Builder
buildMessage
    = \ _x :: ControlFlowContextDef
_x
        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
             (case
                  FoldLike
  (Maybe ControlFlowContextDef'Ctxt)
  ControlFlowContextDef
  ControlFlowContextDef
  (Maybe ControlFlowContextDef'Ctxt)
  (Maybe ControlFlowContextDef'Ctxt)
-> ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "maybe'ctxt" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'ctxt") ControlFlowContextDef
_x
              of
                Prelude.Nothing -> Builder
forall a. Monoid a => a
Data.Monoid.mempty
                (Prelude.Just (ControlFlowContextDef'CondCtxt v :: CondContextDef
v))
                  -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                       (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 10)
                       ((ByteString -> Builder)
-> (CondContextDef -> ByteString) -> CondContextDef -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                          (\ bs :: ByteString
bs
                             -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                  (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                     (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                  (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                          CondContextDef -> ByteString
forall msg. Message msg => msg -> ByteString
Data.ProtoLens.encodeMessage
                          CondContextDef
v)
                (Prelude.Just (ControlFlowContextDef'WhileCtxt v :: WhileContextDef
v))
                  -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                       (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 18)
                       ((ByteString -> Builder)
-> (WhileContextDef -> ByteString) -> WhileContextDef -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                          (\ bs :: ByteString
bs
                             -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                  (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                     (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                  (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                          WhileContextDef -> ByteString
forall msg. Message msg => msg -> ByteString
Data.ProtoLens.encodeMessage
                          WhileContextDef
v))
             (FieldSet -> Builder
Data.ProtoLens.Encoding.Wire.buildFieldSet
                (FoldLike
  FieldSet
  ControlFlowContextDef
  ControlFlowContextDef
  FieldSet
  FieldSet
-> ControlFlowContextDef -> FieldSet
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view FoldLike
  FieldSet
  ControlFlowContextDef
  ControlFlowContextDef
  FieldSet
  FieldSet
forall msg. Message msg => Lens' msg FieldSet
Data.ProtoLens.unknownFields ControlFlowContextDef
_x))
instance Control.DeepSeq.NFData ControlFlowContextDef where
  rnf :: ControlFlowContextDef -> ()
rnf
    = \ x__ :: ControlFlowContextDef
x__
        -> FieldSet -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
             (ControlFlowContextDef -> FieldSet
_ControlFlowContextDef'_unknownFields ControlFlowContextDef
x__)
             (Maybe ControlFlowContextDef'Ctxt -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq (ControlFlowContextDef -> Maybe ControlFlowContextDef'Ctxt
_ControlFlowContextDef'ctxt ControlFlowContextDef
x__) ())
instance Control.DeepSeq.NFData ControlFlowContextDef'Ctxt where
  rnf :: ControlFlowContextDef'Ctxt -> ()
rnf (ControlFlowContextDef'CondCtxt x__ :: CondContextDef
x__) = CondContextDef -> ()
forall a. NFData a => a -> ()
Control.DeepSeq.rnf CondContextDef
x__
  rnf (ControlFlowContextDef'WhileCtxt x__ :: WhileContextDef
x__) = WhileContextDef -> ()
forall a. NFData a => a -> ()
Control.DeepSeq.rnf WhileContextDef
x__
_ControlFlowContextDef'CondCtxt ::
  Data.ProtoLens.Prism.Prism' ControlFlowContextDef'Ctxt CondContextDef
_ControlFlowContextDef'CondCtxt :: p CondContextDef (f CondContextDef)
-> p ControlFlowContextDef'Ctxt (f ControlFlowContextDef'Ctxt)
_ControlFlowContextDef'CondCtxt
  = (CondContextDef -> ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef'Ctxt -> Maybe CondContextDef)
-> Prism
     ControlFlowContextDef'Ctxt
     ControlFlowContextDef'Ctxt
     CondContextDef
     CondContextDef
forall b s a. (b -> s) -> (s -> Maybe a) -> Prism s s a b
Data.ProtoLens.Prism.prism'
      CondContextDef -> ControlFlowContextDef'Ctxt
ControlFlowContextDef'CondCtxt
      (\ p__ :: ControlFlowContextDef'Ctxt
p__
         -> case ControlFlowContextDef'Ctxt
p__ of
              (ControlFlowContextDef'CondCtxt p__val :: CondContextDef
p__val) -> CondContextDef -> Maybe CondContextDef
forall a. a -> Maybe a
Prelude.Just CondContextDef
p__val
              _otherwise :: ControlFlowContextDef'Ctxt
_otherwise -> Maybe CondContextDef
forall a. Maybe a
Prelude.Nothing)
_ControlFlowContextDef'WhileCtxt ::
  Data.ProtoLens.Prism.Prism' ControlFlowContextDef'Ctxt WhileContextDef
_ControlFlowContextDef'WhileCtxt :: p WhileContextDef (f WhileContextDef)
-> p ControlFlowContextDef'Ctxt (f ControlFlowContextDef'Ctxt)
_ControlFlowContextDef'WhileCtxt
  = (WhileContextDef -> ControlFlowContextDef'Ctxt)
-> (ControlFlowContextDef'Ctxt -> Maybe WhileContextDef)
-> Prism
     ControlFlowContextDef'Ctxt
     ControlFlowContextDef'Ctxt
     WhileContextDef
     WhileContextDef
forall b s a. (b -> s) -> (s -> Maybe a) -> Prism s s a b
Data.ProtoLens.Prism.prism'
      WhileContextDef -> ControlFlowContextDef'Ctxt
ControlFlowContextDef'WhileCtxt
      (\ p__ :: ControlFlowContextDef'Ctxt
p__
         -> case ControlFlowContextDef'Ctxt
p__ of
              (ControlFlowContextDef'WhileCtxt p__val :: WhileContextDef
p__val) -> WhileContextDef -> Maybe WhileContextDef
forall a. a -> Maybe a
Prelude.Just WhileContextDef
p__val
              _otherwise :: ControlFlowContextDef'Ctxt
_otherwise -> Maybe WhileContextDef
forall a. Maybe a
Prelude.Nothing)
{- | Fields :
     
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.values' @:: Lens' ValuesDef [Data.Text.Text]@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.vec'values' @:: Lens' ValuesDef (Data.Vector.Vector Data.Text.Text)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.externalValues' @:: Lens' ValuesDef (Data.Map.Map Data.Text.Text Data.Text.Text)@ -}
data ValuesDef
  = ValuesDef'_constructor {ValuesDef -> Vector Text
_ValuesDef'values :: !(Data.Vector.Vector Data.Text.Text),
                            ValuesDef -> Map Text Text
_ValuesDef'externalValues :: !(Data.Map.Map Data.Text.Text Data.Text.Text),
                            ValuesDef -> FieldSet
_ValuesDef'_unknownFields :: !Data.ProtoLens.FieldSet}
  deriving stock (ValuesDef -> ValuesDef -> Bool
(ValuesDef -> ValuesDef -> Bool)
-> (ValuesDef -> ValuesDef -> Bool) -> Eq ValuesDef
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ValuesDef -> ValuesDef -> Bool
$c/= :: ValuesDef -> ValuesDef -> Bool
== :: ValuesDef -> ValuesDef -> Bool
$c== :: ValuesDef -> ValuesDef -> Bool
Prelude.Eq, Eq ValuesDef
Eq ValuesDef =>
(ValuesDef -> ValuesDef -> Ordering)
-> (ValuesDef -> ValuesDef -> Bool)
-> (ValuesDef -> ValuesDef -> Bool)
-> (ValuesDef -> ValuesDef -> Bool)
-> (ValuesDef -> ValuesDef -> Bool)
-> (ValuesDef -> ValuesDef -> ValuesDef)
-> (ValuesDef -> ValuesDef -> ValuesDef)
-> Ord ValuesDef
ValuesDef -> ValuesDef -> Bool
ValuesDef -> ValuesDef -> Ordering
ValuesDef -> ValuesDef -> ValuesDef
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: ValuesDef -> ValuesDef -> ValuesDef
$cmin :: ValuesDef -> ValuesDef -> ValuesDef
max :: ValuesDef -> ValuesDef -> ValuesDef
$cmax :: ValuesDef -> ValuesDef -> ValuesDef
>= :: ValuesDef -> ValuesDef -> Bool
$c>= :: ValuesDef -> ValuesDef -> Bool
> :: ValuesDef -> ValuesDef -> Bool
$c> :: ValuesDef -> ValuesDef -> Bool
<= :: ValuesDef -> ValuesDef -> Bool
$c<= :: ValuesDef -> ValuesDef -> Bool
< :: ValuesDef -> ValuesDef -> Bool
$c< :: ValuesDef -> ValuesDef -> Bool
compare :: ValuesDef -> ValuesDef -> Ordering
$ccompare :: ValuesDef -> ValuesDef -> Ordering
$cp1Ord :: Eq ValuesDef
Prelude.Ord)
instance Prelude.Show ValuesDef where
  showsPrec :: Int -> ValuesDef -> ShowS
showsPrec _ __x :: ValuesDef
__x __s :: String
__s
    = Char -> ShowS
Prelude.showChar
        '{'
        (String -> ShowS
Prelude.showString
           (ValuesDef -> String
forall msg. Message msg => msg -> String
Data.ProtoLens.showMessageShort ValuesDef
__x) (Char -> ShowS
Prelude.showChar '}' String
__s))
instance Data.ProtoLens.Field.HasField ValuesDef "values" [Data.Text.Text] where
  fieldOf :: Proxy# "values" -> ([Text] -> f [Text]) -> ValuesDef -> f ValuesDef
fieldOf _
    = ((Vector Text -> f (Vector Text)) -> ValuesDef -> f ValuesDef)
-> (([Text] -> f [Text]) -> Vector Text -> f (Vector Text))
-> ([Text] -> f [Text])
-> ValuesDef
-> f ValuesDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ValuesDef -> Vector Text)
-> (ValuesDef -> Vector Text -> ValuesDef)
-> Lens ValuesDef ValuesDef (Vector Text) (Vector Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ValuesDef -> Vector Text
_ValuesDef'values (\ x__ :: ValuesDef
x__ y__ :: Vector Text
y__ -> ValuesDef
x__ {_ValuesDef'values :: Vector Text
_ValuesDef'values = Vector Text
y__}))
        ((Vector Text -> [Text])
-> (Vector Text -> [Text] -> Vector Text)
-> Lens (Vector Text) (Vector Text) [Text] [Text]
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           Vector Text -> [Text]
forall (v :: * -> *) a. Vector v a => v a -> [a]
Data.Vector.Generic.toList
           (\ _ y__ :: [Text]
y__ -> [Text] -> Vector Text
forall (v :: * -> *) a. Vector v a => [a] -> v a
Data.Vector.Generic.fromList [Text]
y__))
instance Data.ProtoLens.Field.HasField ValuesDef "vec'values" (Data.Vector.Vector Data.Text.Text) where
  fieldOf :: Proxy# "vec'values"
-> (Vector Text -> f (Vector Text)) -> ValuesDef -> f ValuesDef
fieldOf _
    = ((Vector Text -> f (Vector Text)) -> ValuesDef -> f ValuesDef)
-> ((Vector Text -> f (Vector Text))
    -> Vector Text -> f (Vector Text))
-> (Vector Text -> f (Vector Text))
-> ValuesDef
-> f ValuesDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ValuesDef -> Vector Text)
-> (ValuesDef -> Vector Text -> ValuesDef)
-> Lens ValuesDef ValuesDef (Vector Text) (Vector Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ValuesDef -> Vector Text
_ValuesDef'values (\ x__ :: ValuesDef
x__ y__ :: Vector Text
y__ -> ValuesDef
x__ {_ValuesDef'values :: Vector Text
_ValuesDef'values = Vector Text
y__}))
        (Vector Text -> f (Vector Text)) -> Vector Text -> f (Vector Text)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField ValuesDef "externalValues" (Data.Map.Map Data.Text.Text Data.Text.Text) where
  fieldOf :: Proxy# "externalValues"
-> (Map Text Text -> f (Map Text Text)) -> ValuesDef -> f ValuesDef
fieldOf _
    = ((Map Text Text -> f (Map Text Text)) -> ValuesDef -> f ValuesDef)
-> ((Map Text Text -> f (Map Text Text))
    -> Map Text Text -> f (Map Text Text))
-> (Map Text Text -> f (Map Text Text))
-> ValuesDef
-> f ValuesDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ValuesDef -> Map Text Text)
-> (ValuesDef -> Map Text Text -> ValuesDef)
-> Lens ValuesDef ValuesDef (Map Text Text) (Map Text Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ValuesDef -> Map Text Text
_ValuesDef'externalValues
           (\ x__ :: ValuesDef
x__ y__ :: Map Text Text
y__ -> ValuesDef
x__ {_ValuesDef'externalValues :: Map Text Text
_ValuesDef'externalValues = Map Text Text
y__}))
        (Map Text Text -> f (Map Text Text))
-> Map Text Text -> f (Map Text Text)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Message ValuesDef where
  messageName :: Proxy ValuesDef -> Text
messageName _ = String -> Text
Data.Text.pack "tensorflow.ValuesDef"
  packedMessageDescriptor :: Proxy ValuesDef -> ByteString
packedMessageDescriptor _
    = "\n\
      \\tValuesDef\DC2\SYN\n\
      \\ACKvalues\CAN\SOH \ETX(\tR\ACKvalues\DC2R\n\
      \\SIexternal_values\CAN\STX \ETX(\v2).tensorflow.ValuesDef.ExternalValuesEntryR\SOexternalValues\SUBA\n\
      \\DC3ExternalValuesEntry\DC2\DLE\n\
      \\ETXkey\CAN\SOH \SOH(\tR\ETXkey\DC2\DC4\n\
      \\ENQvalue\CAN\STX \SOH(\tR\ENQvalue:\STX8\SOH"
  packedFileDescriptor :: Proxy ValuesDef -> ByteString
packedFileDescriptor _ = ByteString
packedFileDescriptor
  fieldsByTag :: Map Tag (FieldDescriptor ValuesDef)
fieldsByTag
    = let
        values__field_descriptor :: FieldDescriptor ValuesDef
values__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor ValuesDef Text
-> FieldDescriptor ValuesDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "values"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (Packing -> Lens' ValuesDef [Text] -> FieldAccessor ValuesDef Text
forall msg value.
Packing -> Lens' msg [value] -> FieldAccessor msg value
Data.ProtoLens.RepeatedField
                 Packing
Data.ProtoLens.Unpacked (forall s a (f :: * -> *).
(HasField s "values" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"values")) ::
              Data.ProtoLens.FieldDescriptor ValuesDef
        externalValues__field_descriptor :: FieldDescriptor ValuesDef
externalValues__field_descriptor
          = String
-> FieldTypeDescriptor ValuesDef'ExternalValuesEntry
-> FieldAccessor ValuesDef ValuesDef'ExternalValuesEntry
-> FieldDescriptor ValuesDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "external_values"
              (MessageOrGroup -> FieldTypeDescriptor ValuesDef'ExternalValuesEntry
forall value.
Message value =>
MessageOrGroup -> FieldTypeDescriptor value
Data.ProtoLens.MessageField MessageOrGroup
Data.ProtoLens.MessageType ::
                 Data.ProtoLens.FieldTypeDescriptor ValuesDef'ExternalValuesEntry)
              (Lens' ValuesDef'ExternalValuesEntry Text
-> Lens' ValuesDef'ExternalValuesEntry Text
-> Lens ValuesDef ValuesDef (Map Text Text) (Map Text Text)
-> FieldAccessor ValuesDef ValuesDef'ExternalValuesEntry
forall key value value1 msg.
(Ord key, Message value) =>
Lens' value key
-> Lens' value value1
-> Lens' msg (Map key value1)
-> FieldAccessor msg value
Data.ProtoLens.MapField
                 (forall s a (f :: * -> *).
(HasField s "key" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"key")
                 (forall s a (f :: * -> *).
(HasField s "value" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"value")
                 (forall s a (f :: * -> *).
(HasField s "externalValues" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"externalValues")) ::
              Data.ProtoLens.FieldDescriptor ValuesDef
      in
        [(Tag, FieldDescriptor ValuesDef)]
-> Map Tag (FieldDescriptor ValuesDef)
forall k a. Ord k => [(k, a)] -> Map k a
Data.Map.fromList
          [(Int -> Tag
Data.ProtoLens.Tag 1, FieldDescriptor ValuesDef
values__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 2, FieldDescriptor ValuesDef
externalValues__field_descriptor)]
  unknownFields :: LensLike' f ValuesDef FieldSet
unknownFields
    = (ValuesDef -> FieldSet)
-> (ValuesDef -> FieldSet -> ValuesDef) -> Lens' ValuesDef FieldSet
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
        ValuesDef -> FieldSet
_ValuesDef'_unknownFields
        (\ x__ :: ValuesDef
x__ y__ :: FieldSet
y__ -> ValuesDef
x__ {_ValuesDef'_unknownFields :: FieldSet
_ValuesDef'_unknownFields = FieldSet
y__})
  defMessage :: ValuesDef
defMessage
    = $WValuesDef'_constructor :: Vector Text -> Map Text Text -> FieldSet -> ValuesDef
ValuesDef'_constructor
        {_ValuesDef'values :: Vector Text
_ValuesDef'values = Vector Text
forall (v :: * -> *) a. Vector v a => v a
Data.Vector.Generic.empty,
         _ValuesDef'externalValues :: Map Text Text
_ValuesDef'externalValues = Map Text Text
forall k a. Map k a
Data.Map.empty,
         _ValuesDef'_unknownFields :: FieldSet
_ValuesDef'_unknownFields = []}
  parseMessage :: Parser ValuesDef
parseMessage
    = let
        loop ::
          ValuesDef
          -> Data.ProtoLens.Encoding.Growing.Growing Data.Vector.Vector Data.ProtoLens.Encoding.Growing.RealWorld Data.Text.Text
             -> Data.ProtoLens.Encoding.Bytes.Parser ValuesDef
        loop :: ValuesDef -> Growing Vector RealWorld Text -> Parser ValuesDef
loop x :: ValuesDef
x mutable'values :: Growing Vector RealWorld Text
mutable'values
          = do Bool
end <- Parser Bool
Data.ProtoLens.Encoding.Bytes.atEnd
               if Bool
end then
                   do Vector Text
frozen'values <- IO (Vector Text) -> Parser (Vector Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                         (Growing Vector (PrimState IO) Text -> IO (Vector Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> m (v a)
Data.ProtoLens.Encoding.Growing.unsafeFreeze
                                            Growing Vector RealWorld Text
Growing Vector (PrimState IO) Text
mutable'values)
                      (let missing :: [a]
missing = []
                       in
                         if [Any] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
Prelude.null [Any]
forall a. [a]
missing then
                             () -> Parser ()
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return ()
                         else
                             String -> Parser ()
forall (m :: * -> *) a. MonadFail m => String -> m a
Prelude.fail
                               (String -> ShowS
forall a. [a] -> [a] -> [a]
(Prelude.++)
                                  "Missing required fields: "
                                  ([String] -> String
forall a. Show a => a -> String
Prelude.show ([String]
forall a. [a]
missing :: [Prelude.String]))))
                      ValuesDef -> Parser ValuesDef
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return
                        (Setter ValuesDef ValuesDef FieldSet FieldSet
-> (FieldSet -> FieldSet) -> ValuesDef -> ValuesDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                           forall msg. Message msg => Lens' msg FieldSet
Setter ValuesDef ValuesDef FieldSet FieldSet
Data.ProtoLens.unknownFields
                           (\ !FieldSet
t -> FieldSet -> FieldSet
forall a. [a] -> [a]
Prelude.reverse FieldSet
t)
                           (Setter ValuesDef ValuesDef (Vector Text) (Vector Text)
-> Vector Text -> ValuesDef -> ValuesDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                              (forall s a (f :: * -> *).
(HasField s "vec'values" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'values") Vector Text
frozen'values ValuesDef
x))
               else
                   do Word64
tag <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                      case Word64
tag of
                        10
                          -> do !Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                        (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                        Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                          (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                            Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                              (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                 (Prelude.Left err :: UnicodeException
err)
                                                   -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                 (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                        "values"
                                Growing Vector RealWorld Text
v <- IO (Growing Vector RealWorld Text)
-> Parser (Growing Vector RealWorld Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                       (Growing Vector (PrimState IO) Text
-> Text -> IO (Growing Vector (PrimState IO) Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> a -> m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.append Growing Vector RealWorld Text
Growing Vector (PrimState IO) Text
mutable'values Text
y)
                                ValuesDef -> Growing Vector RealWorld Text -> Parser ValuesDef
loop ValuesDef
x Growing Vector RealWorld Text
v
                        18
                          -> do !(ValuesDef'ExternalValuesEntry
entry :: ValuesDef'ExternalValuesEntry) <- Parser ValuesDef'ExternalValuesEntry
-> String -> Parser ValuesDef'ExternalValuesEntry
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                                                               (do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                                                   Int
-> Parser ValuesDef'ExternalValuesEntry
-> Parser ValuesDef'ExternalValuesEntry
forall a. Int -> Parser a -> Parser a
Data.ProtoLens.Encoding.Bytes.isolate
                                                                                     (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                                                        Word64
len)
                                                                                     Parser ValuesDef'ExternalValuesEntry
forall msg. Message msg => Parser msg
Data.ProtoLens.parseMessage)
                                                                               "external_values"
                                (let
                                   key :: Text
key = FoldLike
  Text
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> ValuesDef'ExternalValuesEntry -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "key" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"key") ValuesDef'ExternalValuesEntry
entry
                                   value :: Text
value
                                     = FoldLike
  Text
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> ValuesDef'ExternalValuesEntry -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "value" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"value") ValuesDef'ExternalValuesEntry
entry
                                 in
                                   ValuesDef -> Growing Vector RealWorld Text -> Parser ValuesDef
loop
                                     (Setter ValuesDef ValuesDef (Map Text Text) (Map Text Text)
-> (Map Text Text -> Map Text Text) -> ValuesDef -> ValuesDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                                        (forall s a (f :: * -> *).
(HasField s "externalValues" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"externalValues")
                                        (\ !Map Text Text
t -> Text -> Text -> Map Text Text -> Map Text Text
forall k a. Ord k => k -> a -> Map k a -> Map k a
Data.Map.insert Text
key Text
value Map Text Text
t)
                                        ValuesDef
x)
                                     Growing Vector RealWorld Text
mutable'values)
                        wire :: Word64
wire
                          -> do !TaggedValue
y <- Word64 -> Parser TaggedValue
Data.ProtoLens.Encoding.Wire.parseTaggedValueFromWire
                                        Word64
wire
                                ValuesDef -> Growing Vector RealWorld Text -> Parser ValuesDef
loop
                                  (Setter ValuesDef ValuesDef FieldSet FieldSet
-> (FieldSet -> FieldSet) -> ValuesDef -> ValuesDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                                     forall msg. Message msg => Lens' msg FieldSet
Setter ValuesDef ValuesDef FieldSet FieldSet
Data.ProtoLens.unknownFields (\ !FieldSet
t -> (:) TaggedValue
y FieldSet
t) ValuesDef
x)
                                  Growing Vector RealWorld Text
mutable'values
      in
        Parser ValuesDef -> String -> Parser ValuesDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
          (do Growing Vector RealWorld Text
mutable'values <- IO (Growing Vector RealWorld Text)
-> Parser (Growing Vector RealWorld Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                  IO (Growing Vector RealWorld Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.new
              ValuesDef -> Growing Vector RealWorld Text -> Parser ValuesDef
loop ValuesDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage Growing Vector RealWorld Text
mutable'values)
          "ValuesDef"
  buildMessage :: ValuesDef -> Builder
buildMessage
    = \ _x :: ValuesDef
_x
        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
             ((Text -> Builder) -> Vector Text -> Builder
forall (v :: * -> *) a.
Vector v a =>
(a -> Builder) -> v a -> Builder
Data.ProtoLens.Encoding.Bytes.foldMapBuilder
                (\ _v :: Text
_v
                   -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                        (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 10)
                        ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                           (\ bs :: ByteString
bs
                              -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                   (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                      (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                   (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                           Text -> ByteString
Data.Text.Encoding.encodeUtf8
                           Text
_v))
                (FoldLike
  (Vector Text) ValuesDef ValuesDef (Vector Text) (Vector Text)
-> ValuesDef -> Vector Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "vec'values" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'values") ValuesDef
_x))
             (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                ([Builder] -> Builder
forall a. Monoid a => [a] -> a
Data.Monoid.mconcat
                   (((Text, Text) -> Builder) -> [(Text, Text)] -> [Builder]
forall a b. (a -> b) -> [a] -> [b]
Prelude.map
                      (\ _v :: (Text, Text)
_v
                         -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                              (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 18)
                              ((ByteString -> Builder)
-> (ValuesDef'ExternalValuesEntry -> ByteString)
-> ValuesDef'ExternalValuesEntry
-> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                 (\ bs :: ByteString
bs
                                    -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                         (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                            (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                         (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                                 ValuesDef'ExternalValuesEntry -> ByteString
forall msg. Message msg => msg -> ByteString
Data.ProtoLens.encodeMessage
                                 (Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> Text
-> ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                    (forall s a (f :: * -> *).
(HasField s "key" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"key")
                                    ((Text, Text) -> Text
forall a b. (a, b) -> a
Prelude.fst (Text, Text)
_v)
                                    (Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> Text
-> ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                       (forall s a (f :: * -> *).
(HasField s "value" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"value")
                                       ((Text, Text) -> Text
forall a b. (a, b) -> b
Prelude.snd (Text, Text)
_v)
                                       (ValuesDef'ExternalValuesEntry
forall msg. Message msg => msg
Data.ProtoLens.defMessage ::
                                          ValuesDef'ExternalValuesEntry)))))
                      (Map Text Text -> [(Text, Text)]
forall k a. Map k a -> [(k, a)]
Data.Map.toList
                         (FoldLike
  (Map Text Text) ValuesDef ValuesDef (Map Text Text) (Map Text Text)
-> ValuesDef -> Map Text Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                            (forall s a (f :: * -> *).
(HasField s "externalValues" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"externalValues") ValuesDef
_x))))
                (FieldSet -> Builder
Data.ProtoLens.Encoding.Wire.buildFieldSet
                   (FoldLike FieldSet ValuesDef ValuesDef FieldSet FieldSet
-> ValuesDef -> FieldSet
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view FoldLike FieldSet ValuesDef ValuesDef FieldSet FieldSet
forall msg. Message msg => Lens' msg FieldSet
Data.ProtoLens.unknownFields ValuesDef
_x)))
instance Control.DeepSeq.NFData ValuesDef where
  rnf :: ValuesDef -> ()
rnf
    = \ x__ :: ValuesDef
x__
        -> FieldSet -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
             (ValuesDef -> FieldSet
_ValuesDef'_unknownFields ValuesDef
x__)
             (Vector Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                (ValuesDef -> Vector Text
_ValuesDef'values ValuesDef
x__)
                (Map Text Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq (ValuesDef -> Map Text Text
_ValuesDef'externalValues ValuesDef
x__) ()))
{- | Fields :
     
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.key' @:: Lens' ValuesDef'ExternalValuesEntry Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.value' @:: Lens' ValuesDef'ExternalValuesEntry Data.Text.Text@ -}
data ValuesDef'ExternalValuesEntry
  = ValuesDef'ExternalValuesEntry'_constructor {ValuesDef'ExternalValuesEntry -> Text
_ValuesDef'ExternalValuesEntry'key :: !Data.Text.Text,
                                                ValuesDef'ExternalValuesEntry -> Text
_ValuesDef'ExternalValuesEntry'value :: !Data.Text.Text,
                                                ValuesDef'ExternalValuesEntry -> FieldSet
_ValuesDef'ExternalValuesEntry'_unknownFields :: !Data.ProtoLens.FieldSet}
  deriving stock (ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
(ValuesDef'ExternalValuesEntry
 -> ValuesDef'ExternalValuesEntry -> Bool)
-> (ValuesDef'ExternalValuesEntry
    -> ValuesDef'ExternalValuesEntry -> Bool)
-> Eq ValuesDef'ExternalValuesEntry
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
$c/= :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
== :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
$c== :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
Prelude.Eq, Eq ValuesDef'ExternalValuesEntry
Eq ValuesDef'ExternalValuesEntry =>
(ValuesDef'ExternalValuesEntry
 -> ValuesDef'ExternalValuesEntry -> Ordering)
-> (ValuesDef'ExternalValuesEntry
    -> ValuesDef'ExternalValuesEntry -> Bool)
-> (ValuesDef'ExternalValuesEntry
    -> ValuesDef'ExternalValuesEntry -> Bool)
-> (ValuesDef'ExternalValuesEntry
    -> ValuesDef'ExternalValuesEntry -> Bool)
-> (ValuesDef'ExternalValuesEntry
    -> ValuesDef'ExternalValuesEntry -> Bool)
-> (ValuesDef'ExternalValuesEntry
    -> ValuesDef'ExternalValuesEntry -> ValuesDef'ExternalValuesEntry)
-> (ValuesDef'ExternalValuesEntry
    -> ValuesDef'ExternalValuesEntry -> ValuesDef'ExternalValuesEntry)
-> Ord ValuesDef'ExternalValuesEntry
ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Ordering
ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> ValuesDef'ExternalValuesEntry
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> ValuesDef'ExternalValuesEntry
$cmin :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> ValuesDef'ExternalValuesEntry
max :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> ValuesDef'ExternalValuesEntry
$cmax :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> ValuesDef'ExternalValuesEntry
>= :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
$c>= :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
> :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
$c> :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
<= :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
$c<= :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
< :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
$c< :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Bool
compare :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Ordering
$ccompare :: ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry -> Ordering
$cp1Ord :: Eq ValuesDef'ExternalValuesEntry
Prelude.Ord)
instance Prelude.Show ValuesDef'ExternalValuesEntry where
  showsPrec :: Int -> ValuesDef'ExternalValuesEntry -> ShowS
showsPrec _ __x :: ValuesDef'ExternalValuesEntry
__x __s :: String
__s
    = Char -> ShowS
Prelude.showChar
        '{'
        (String -> ShowS
Prelude.showString
           (ValuesDef'ExternalValuesEntry -> String
forall msg. Message msg => msg -> String
Data.ProtoLens.showMessageShort ValuesDef'ExternalValuesEntry
__x) (Char -> ShowS
Prelude.showChar '}' String
__s))
instance Data.ProtoLens.Field.HasField ValuesDef'ExternalValuesEntry "key" Data.Text.Text where
  fieldOf :: Proxy# "key"
-> (Text -> f Text)
-> ValuesDef'ExternalValuesEntry
-> f ValuesDef'ExternalValuesEntry
fieldOf _
    = ((Text -> f Text)
 -> ValuesDef'ExternalValuesEntry
 -> f ValuesDef'ExternalValuesEntry)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> ValuesDef'ExternalValuesEntry
-> f ValuesDef'ExternalValuesEntry
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ValuesDef'ExternalValuesEntry -> Text)
-> (ValuesDef'ExternalValuesEntry
    -> Text -> ValuesDef'ExternalValuesEntry)
-> Lens' ValuesDef'ExternalValuesEntry Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ValuesDef'ExternalValuesEntry -> Text
_ValuesDef'ExternalValuesEntry'key
           (\ x__ :: ValuesDef'ExternalValuesEntry
x__ y__ :: Text
y__ -> ValuesDef'ExternalValuesEntry
x__ {_ValuesDef'ExternalValuesEntry'key :: Text
_ValuesDef'ExternalValuesEntry'key = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField ValuesDef'ExternalValuesEntry "value" Data.Text.Text where
  fieldOf :: Proxy# "value"
-> (Text -> f Text)
-> ValuesDef'ExternalValuesEntry
-> f ValuesDef'ExternalValuesEntry
fieldOf _
    = ((Text -> f Text)
 -> ValuesDef'ExternalValuesEntry
 -> f ValuesDef'ExternalValuesEntry)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> ValuesDef'ExternalValuesEntry
-> f ValuesDef'ExternalValuesEntry
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((ValuesDef'ExternalValuesEntry -> Text)
-> (ValuesDef'ExternalValuesEntry
    -> Text -> ValuesDef'ExternalValuesEntry)
-> Lens' ValuesDef'ExternalValuesEntry Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           ValuesDef'ExternalValuesEntry -> Text
_ValuesDef'ExternalValuesEntry'value
           (\ x__ :: ValuesDef'ExternalValuesEntry
x__ y__ :: Text
y__ -> ValuesDef'ExternalValuesEntry
x__ {_ValuesDef'ExternalValuesEntry'value :: Text
_ValuesDef'ExternalValuesEntry'value = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Message ValuesDef'ExternalValuesEntry where
  messageName :: Proxy ValuesDef'ExternalValuesEntry -> Text
messageName _
    = String -> Text
Data.Text.pack "tensorflow.ValuesDef.ExternalValuesEntry"
  packedMessageDescriptor :: Proxy ValuesDef'ExternalValuesEntry -> ByteString
packedMessageDescriptor _
    = "\n\
      \\DC3ExternalValuesEntry\DC2\DLE\n\
      \\ETXkey\CAN\SOH \SOH(\tR\ETXkey\DC2\DC4\n\
      \\ENQvalue\CAN\STX \SOH(\tR\ENQvalue:\STX8\SOH"
  packedFileDescriptor :: Proxy ValuesDef'ExternalValuesEntry -> ByteString
packedFileDescriptor _ = ByteString
packedFileDescriptor
  fieldsByTag :: Map Tag (FieldDescriptor ValuesDef'ExternalValuesEntry)
fieldsByTag
    = let
        key__field_descriptor :: FieldDescriptor ValuesDef'ExternalValuesEntry
key__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor ValuesDef'ExternalValuesEntry Text
-> FieldDescriptor ValuesDef'ExternalValuesEntry
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "key"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens' ValuesDef'ExternalValuesEntry Text
-> FieldAccessor ValuesDef'ExternalValuesEntry Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional (forall s a (f :: * -> *).
(HasField s "key" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"key")) ::
              Data.ProtoLens.FieldDescriptor ValuesDef'ExternalValuesEntry
        value__field_descriptor :: FieldDescriptor ValuesDef'ExternalValuesEntry
value__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor ValuesDef'ExternalValuesEntry Text
-> FieldDescriptor ValuesDef'ExternalValuesEntry
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "value"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens' ValuesDef'ExternalValuesEntry Text
-> FieldAccessor ValuesDef'ExternalValuesEntry Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional (forall s a (f :: * -> *).
(HasField s "value" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"value")) ::
              Data.ProtoLens.FieldDescriptor ValuesDef'ExternalValuesEntry
      in
        [(Tag, FieldDescriptor ValuesDef'ExternalValuesEntry)]
-> Map Tag (FieldDescriptor ValuesDef'ExternalValuesEntry)
forall k a. Ord k => [(k, a)] -> Map k a
Data.Map.fromList
          [(Int -> Tag
Data.ProtoLens.Tag 1, FieldDescriptor ValuesDef'ExternalValuesEntry
key__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 2, FieldDescriptor ValuesDef'ExternalValuesEntry
value__field_descriptor)]
  unknownFields :: LensLike' f ValuesDef'ExternalValuesEntry FieldSet
unknownFields
    = (ValuesDef'ExternalValuesEntry -> FieldSet)
-> (ValuesDef'ExternalValuesEntry
    -> FieldSet -> ValuesDef'ExternalValuesEntry)
-> Lens' ValuesDef'ExternalValuesEntry FieldSet
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
        ValuesDef'ExternalValuesEntry -> FieldSet
_ValuesDef'ExternalValuesEntry'_unknownFields
        (\ x__ :: ValuesDef'ExternalValuesEntry
x__ y__ :: FieldSet
y__
           -> ValuesDef'ExternalValuesEntry
x__ {_ValuesDef'ExternalValuesEntry'_unknownFields :: FieldSet
_ValuesDef'ExternalValuesEntry'_unknownFields = FieldSet
y__})
  defMessage :: ValuesDef'ExternalValuesEntry
defMessage
    = $WValuesDef'ExternalValuesEntry'_constructor :: Text -> Text -> FieldSet -> ValuesDef'ExternalValuesEntry
ValuesDef'ExternalValuesEntry'_constructor
        {_ValuesDef'ExternalValuesEntry'key :: Text
_ValuesDef'ExternalValuesEntry'key = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _ValuesDef'ExternalValuesEntry'value :: Text
_ValuesDef'ExternalValuesEntry'value = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _ValuesDef'ExternalValuesEntry'_unknownFields :: FieldSet
_ValuesDef'ExternalValuesEntry'_unknownFields = []}
  parseMessage :: Parser ValuesDef'ExternalValuesEntry
parseMessage
    = let
        loop ::
          ValuesDef'ExternalValuesEntry
          -> Data.ProtoLens.Encoding.Bytes.Parser ValuesDef'ExternalValuesEntry
        loop :: ValuesDef'ExternalValuesEntry
-> Parser ValuesDef'ExternalValuesEntry
loop x :: ValuesDef'ExternalValuesEntry
x
          = do Bool
end <- Parser Bool
Data.ProtoLens.Encoding.Bytes.atEnd
               if Bool
end then
                   do (let missing :: [a]
missing = []
                       in
                         if [Any] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
Prelude.null [Any]
forall a. [a]
missing then
                             () -> Parser ()
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return ()
                         else
                             String -> Parser ()
forall (m :: * -> *) a. MonadFail m => String -> m a
Prelude.fail
                               (String -> ShowS
forall a. [a] -> [a] -> [a]
(Prelude.++)
                                  "Missing required fields: "
                                  ([String] -> String
forall a. Show a => a -> String
Prelude.show ([String]
forall a. [a]
missing :: [Prelude.String]))))
                      ValuesDef'ExternalValuesEntry
-> Parser ValuesDef'ExternalValuesEntry
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return
                        (Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  FieldSet
  FieldSet
-> (FieldSet -> FieldSet)
-> ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                           forall msg. Message msg => Lens' msg FieldSet
Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  FieldSet
  FieldSet
Data.ProtoLens.unknownFields (\ !FieldSet
t -> FieldSet -> FieldSet
forall a. [a] -> [a]
Prelude.reverse FieldSet
t) ValuesDef'ExternalValuesEntry
x)
               else
                   do Word64
tag <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                      case Word64
tag of
                        10
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "key"
                                ValuesDef'ExternalValuesEntry
-> Parser ValuesDef'ExternalValuesEntry
loop (Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> Text
-> ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "key" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"key") Text
y ValuesDef'ExternalValuesEntry
x)
                        18
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "value"
                                ValuesDef'ExternalValuesEntry
-> Parser ValuesDef'ExternalValuesEntry
loop (Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> Text
-> ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "value" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"value") Text
y ValuesDef'ExternalValuesEntry
x)
                        wire :: Word64
wire
                          -> do !TaggedValue
y <- Word64 -> Parser TaggedValue
Data.ProtoLens.Encoding.Wire.parseTaggedValueFromWire
                                        Word64
wire
                                ValuesDef'ExternalValuesEntry
-> Parser ValuesDef'ExternalValuesEntry
loop
                                  (Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  FieldSet
  FieldSet
-> (FieldSet -> FieldSet)
-> ValuesDef'ExternalValuesEntry
-> ValuesDef'ExternalValuesEntry
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                                     forall msg. Message msg => Lens' msg FieldSet
Setter
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  FieldSet
  FieldSet
Data.ProtoLens.unknownFields (\ !FieldSet
t -> (:) TaggedValue
y FieldSet
t) ValuesDef'ExternalValuesEntry
x)
      in
        Parser ValuesDef'ExternalValuesEntry
-> String -> Parser ValuesDef'ExternalValuesEntry
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
          (do ValuesDef'ExternalValuesEntry
-> Parser ValuesDef'ExternalValuesEntry
loop ValuesDef'ExternalValuesEntry
forall msg. Message msg => msg
Data.ProtoLens.defMessage) "ExternalValuesEntry"
  buildMessage :: ValuesDef'ExternalValuesEntry -> Builder
buildMessage
    = \ _x :: ValuesDef'ExternalValuesEntry
_x
        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
             (let _v :: Text
_v = FoldLike
  Text
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> ValuesDef'ExternalValuesEntry -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "key" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"key") ValuesDef'ExternalValuesEntry
_x
              in
                if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                    Builder
forall a. Monoid a => a
Data.Monoid.mempty
                else
                    Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                      (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 10)
                      ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                         (\ bs :: ByteString
bs
                            -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                 (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                    (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                 (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                         Text -> ByteString
Data.Text.Encoding.encodeUtf8
                         Text
_v))
             (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                (let
                   _v :: Text
_v = FoldLike
  Text
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  Text
  Text
-> ValuesDef'ExternalValuesEntry -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "value" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"value") ValuesDef'ExternalValuesEntry
_x
                 in
                   if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                       Builder
forall a. Monoid a => a
Data.Monoid.mempty
                   else
                       Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                         (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 18)
                         ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                            (\ bs :: ByteString
bs
                               -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                    (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                       (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                    (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                            Text -> ByteString
Data.Text.Encoding.encodeUtf8
                            Text
_v))
                (FieldSet -> Builder
Data.ProtoLens.Encoding.Wire.buildFieldSet
                   (FoldLike
  FieldSet
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  FieldSet
  FieldSet
-> ValuesDef'ExternalValuesEntry -> FieldSet
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view FoldLike
  FieldSet
  ValuesDef'ExternalValuesEntry
  ValuesDef'ExternalValuesEntry
  FieldSet
  FieldSet
forall msg. Message msg => Lens' msg FieldSet
Data.ProtoLens.unknownFields ValuesDef'ExternalValuesEntry
_x)))
instance Control.DeepSeq.NFData ValuesDef'ExternalValuesEntry where
  rnf :: ValuesDef'ExternalValuesEntry -> ()
rnf
    = \ x__ :: ValuesDef'ExternalValuesEntry
x__
        -> FieldSet -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
             (ValuesDef'ExternalValuesEntry -> FieldSet
_ValuesDef'ExternalValuesEntry'_unknownFields ValuesDef'ExternalValuesEntry
x__)
             (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                (ValuesDef'ExternalValuesEntry -> Text
_ValuesDef'ExternalValuesEntry'key ValuesDef'ExternalValuesEntry
x__)
                (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                   (ValuesDef'ExternalValuesEntry -> Text
_ValuesDef'ExternalValuesEntry'value ValuesDef'ExternalValuesEntry
x__) ()))
{- | Fields :
     
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.contextName' @:: Lens' WhileContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.parallelIterations' @:: Lens' WhileContextDef Data.Int.Int32@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.backProp' @:: Lens' WhileContextDef Prelude.Bool@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.swapMemory' @:: Lens' WhileContextDef Prelude.Bool@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.pivotName' @:: Lens' WhileContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.pivotForPredName' @:: Lens' WhileContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.pivotForBodyName' @:: Lens' WhileContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.loopExitNames' @:: Lens' WhileContextDef [Data.Text.Text]@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.vec'loopExitNames' @:: Lens' WhileContextDef (Data.Vector.Vector Data.Text.Text)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.loopEnterNames' @:: Lens' WhileContextDef [Data.Text.Text]@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.vec'loopEnterNames' @:: Lens' WhileContextDef (Data.Vector.Vector Data.Text.Text)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.valuesDef' @:: Lens' WhileContextDef ValuesDef@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.maybe'valuesDef' @:: Lens' WhileContextDef (Prelude.Maybe ValuesDef)@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.maximumIterationsName' @:: Lens' WhileContextDef Data.Text.Text@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.nestedContexts' @:: Lens' WhileContextDef [ControlFlowContextDef]@
         * 'Proto.Tensorflow.Core.Protobuf.ControlFlow_Fields.vec'nestedContexts' @:: Lens' WhileContextDef (Data.Vector.Vector ControlFlowContextDef)@ -}
data WhileContextDef
  = WhileContextDef'_constructor {WhileContextDef -> Text
_WhileContextDef'contextName :: !Data.Text.Text,
                                  WhileContextDef -> Int32
_WhileContextDef'parallelIterations :: !Data.Int.Int32,
                                  WhileContextDef -> Bool
_WhileContextDef'backProp :: !Prelude.Bool,
                                  WhileContextDef -> Bool
_WhileContextDef'swapMemory :: !Prelude.Bool,
                                  WhileContextDef -> Text
_WhileContextDef'pivotName :: !Data.Text.Text,
                                  WhileContextDef -> Text
_WhileContextDef'pivotForPredName :: !Data.Text.Text,
                                  WhileContextDef -> Text
_WhileContextDef'pivotForBodyName :: !Data.Text.Text,
                                  WhileContextDef -> Vector Text
_WhileContextDef'loopExitNames :: !(Data.Vector.Vector Data.Text.Text),
                                  WhileContextDef -> Vector Text
_WhileContextDef'loopEnterNames :: !(Data.Vector.Vector Data.Text.Text),
                                  WhileContextDef -> Maybe ValuesDef
_WhileContextDef'valuesDef :: !(Prelude.Maybe ValuesDef),
                                  WhileContextDef -> Text
_WhileContextDef'maximumIterationsName :: !Data.Text.Text,
                                  WhileContextDef -> Vector ControlFlowContextDef
_WhileContextDef'nestedContexts :: !(Data.Vector.Vector ControlFlowContextDef),
                                  WhileContextDef -> FieldSet
_WhileContextDef'_unknownFields :: !Data.ProtoLens.FieldSet}
  deriving stock (WhileContextDef -> WhileContextDef -> Bool
(WhileContextDef -> WhileContextDef -> Bool)
-> (WhileContextDef -> WhileContextDef -> Bool)
-> Eq WhileContextDef
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: WhileContextDef -> WhileContextDef -> Bool
$c/= :: WhileContextDef -> WhileContextDef -> Bool
== :: WhileContextDef -> WhileContextDef -> Bool
$c== :: WhileContextDef -> WhileContextDef -> Bool
Prelude.Eq, Eq WhileContextDef
Eq WhileContextDef =>
(WhileContextDef -> WhileContextDef -> Ordering)
-> (WhileContextDef -> WhileContextDef -> Bool)
-> (WhileContextDef -> WhileContextDef -> Bool)
-> (WhileContextDef -> WhileContextDef -> Bool)
-> (WhileContextDef -> WhileContextDef -> Bool)
-> (WhileContextDef -> WhileContextDef -> WhileContextDef)
-> (WhileContextDef -> WhileContextDef -> WhileContextDef)
-> Ord WhileContextDef
WhileContextDef -> WhileContextDef -> Bool
WhileContextDef -> WhileContextDef -> Ordering
WhileContextDef -> WhileContextDef -> WhileContextDef
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: WhileContextDef -> WhileContextDef -> WhileContextDef
$cmin :: WhileContextDef -> WhileContextDef -> WhileContextDef
max :: WhileContextDef -> WhileContextDef -> WhileContextDef
$cmax :: WhileContextDef -> WhileContextDef -> WhileContextDef
>= :: WhileContextDef -> WhileContextDef -> Bool
$c>= :: WhileContextDef -> WhileContextDef -> Bool
> :: WhileContextDef -> WhileContextDef -> Bool
$c> :: WhileContextDef -> WhileContextDef -> Bool
<= :: WhileContextDef -> WhileContextDef -> Bool
$c<= :: WhileContextDef -> WhileContextDef -> Bool
< :: WhileContextDef -> WhileContextDef -> Bool
$c< :: WhileContextDef -> WhileContextDef -> Bool
compare :: WhileContextDef -> WhileContextDef -> Ordering
$ccompare :: WhileContextDef -> WhileContextDef -> Ordering
$cp1Ord :: Eq WhileContextDef
Prelude.Ord)
instance Prelude.Show WhileContextDef where
  showsPrec :: Int -> WhileContextDef -> ShowS
showsPrec _ __x :: WhileContextDef
__x __s :: String
__s
    = Char -> ShowS
Prelude.showChar
        '{'
        (String -> ShowS
Prelude.showString
           (WhileContextDef -> String
forall msg. Message msg => msg -> String
Data.ProtoLens.showMessageShort WhileContextDef
__x) (Char -> ShowS
Prelude.showChar '}' String
__s))
instance Data.ProtoLens.Field.HasField WhileContextDef "contextName" Data.Text.Text where
  fieldOf :: Proxy# "contextName"
-> (Text -> f Text) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Text -> f Text) -> WhileContextDef -> f WhileContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Text)
-> (WhileContextDef -> Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Text
_WhileContextDef'contextName
           (\ x__ :: WhileContextDef
x__ y__ :: Text
y__ -> WhileContextDef
x__ {_WhileContextDef'contextName :: Text
_WhileContextDef'contextName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "parallelIterations" Data.Int.Int32 where
  fieldOf :: Proxy# "parallelIterations"
-> (Int32 -> f Int32) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Int32 -> f Int32) -> WhileContextDef -> f WhileContextDef)
-> ((Int32 -> f Int32) -> Int32 -> f Int32)
-> (Int32 -> f Int32)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Int32)
-> (WhileContextDef -> Int32 -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Int32 Int32
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Int32
_WhileContextDef'parallelIterations
           (\ x__ :: WhileContextDef
x__ y__ :: Int32
y__ -> WhileContextDef
x__ {_WhileContextDef'parallelIterations :: Int32
_WhileContextDef'parallelIterations = Int32
y__}))
        (Int32 -> f Int32) -> Int32 -> f Int32
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "backProp" Prelude.Bool where
  fieldOf :: Proxy# "backProp"
-> (Bool -> f Bool) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Bool -> f Bool) -> WhileContextDef -> f WhileContextDef)
-> ((Bool -> f Bool) -> Bool -> f Bool)
-> (Bool -> f Bool)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Bool)
-> (WhileContextDef -> Bool -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Bool Bool
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Bool
_WhileContextDef'backProp
           (\ x__ :: WhileContextDef
x__ y__ :: Bool
y__ -> WhileContextDef
x__ {_WhileContextDef'backProp :: Bool
_WhileContextDef'backProp = Bool
y__}))
        (Bool -> f Bool) -> Bool -> f Bool
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "swapMemory" Prelude.Bool where
  fieldOf :: Proxy# "swapMemory"
-> (Bool -> f Bool) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Bool -> f Bool) -> WhileContextDef -> f WhileContextDef)
-> ((Bool -> f Bool) -> Bool -> f Bool)
-> (Bool -> f Bool)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Bool)
-> (WhileContextDef -> Bool -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Bool Bool
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Bool
_WhileContextDef'swapMemory
           (\ x__ :: WhileContextDef
x__ y__ :: Bool
y__ -> WhileContextDef
x__ {_WhileContextDef'swapMemory :: Bool
_WhileContextDef'swapMemory = Bool
y__}))
        (Bool -> f Bool) -> Bool -> f Bool
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "pivotName" Data.Text.Text where
  fieldOf :: Proxy# "pivotName"
-> (Text -> f Text) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Text -> f Text) -> WhileContextDef -> f WhileContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Text)
-> (WhileContextDef -> Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Text
_WhileContextDef'pivotName
           (\ x__ :: WhileContextDef
x__ y__ :: Text
y__ -> WhileContextDef
x__ {_WhileContextDef'pivotName :: Text
_WhileContextDef'pivotName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "pivotForPredName" Data.Text.Text where
  fieldOf :: Proxy# "pivotForPredName"
-> (Text -> f Text) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Text -> f Text) -> WhileContextDef -> f WhileContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Text)
-> (WhileContextDef -> Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Text
_WhileContextDef'pivotForPredName
           (\ x__ :: WhileContextDef
x__ y__ :: Text
y__ -> WhileContextDef
x__ {_WhileContextDef'pivotForPredName :: Text
_WhileContextDef'pivotForPredName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "pivotForBodyName" Data.Text.Text where
  fieldOf :: Proxy# "pivotForBodyName"
-> (Text -> f Text) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Text -> f Text) -> WhileContextDef -> f WhileContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Text)
-> (WhileContextDef -> Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Text
_WhileContextDef'pivotForBodyName
           (\ x__ :: WhileContextDef
x__ y__ :: Text
y__ -> WhileContextDef
x__ {_WhileContextDef'pivotForBodyName :: Text
_WhileContextDef'pivotForBodyName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "loopExitNames" [Data.Text.Text] where
  fieldOf :: Proxy# "loopExitNames"
-> ([Text] -> f [Text]) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Vector Text -> f (Vector Text))
 -> WhileContextDef -> f WhileContextDef)
-> (([Text] -> f [Text]) -> Vector Text -> f (Vector Text))
-> ([Text] -> f [Text])
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Vector Text)
-> (WhileContextDef -> Vector Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef (Vector Text) (Vector Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Vector Text
_WhileContextDef'loopExitNames
           (\ x__ :: WhileContextDef
x__ y__ :: Vector Text
y__ -> WhileContextDef
x__ {_WhileContextDef'loopExitNames :: Vector Text
_WhileContextDef'loopExitNames = Vector Text
y__}))
        ((Vector Text -> [Text])
-> (Vector Text -> [Text] -> Vector Text)
-> Lens (Vector Text) (Vector Text) [Text] [Text]
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           Vector Text -> [Text]
forall (v :: * -> *) a. Vector v a => v a -> [a]
Data.Vector.Generic.toList
           (\ _ y__ :: [Text]
y__ -> [Text] -> Vector Text
forall (v :: * -> *) a. Vector v a => [a] -> v a
Data.Vector.Generic.fromList [Text]
y__))
instance Data.ProtoLens.Field.HasField WhileContextDef "vec'loopExitNames" (Data.Vector.Vector Data.Text.Text) where
  fieldOf :: Proxy# "vec'loopExitNames"
-> (Vector Text -> f (Vector Text))
-> WhileContextDef
-> f WhileContextDef
fieldOf _
    = ((Vector Text -> f (Vector Text))
 -> WhileContextDef -> f WhileContextDef)
-> ((Vector Text -> f (Vector Text))
    -> Vector Text -> f (Vector Text))
-> (Vector Text -> f (Vector Text))
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Vector Text)
-> (WhileContextDef -> Vector Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef (Vector Text) (Vector Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Vector Text
_WhileContextDef'loopExitNames
           (\ x__ :: WhileContextDef
x__ y__ :: Vector Text
y__ -> WhileContextDef
x__ {_WhileContextDef'loopExitNames :: Vector Text
_WhileContextDef'loopExitNames = Vector Text
y__}))
        (Vector Text -> f (Vector Text)) -> Vector Text -> f (Vector Text)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "loopEnterNames" [Data.Text.Text] where
  fieldOf :: Proxy# "loopEnterNames"
-> ([Text] -> f [Text]) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Vector Text -> f (Vector Text))
 -> WhileContextDef -> f WhileContextDef)
-> (([Text] -> f [Text]) -> Vector Text -> f (Vector Text))
-> ([Text] -> f [Text])
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Vector Text)
-> (WhileContextDef -> Vector Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef (Vector Text) (Vector Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Vector Text
_WhileContextDef'loopEnterNames
           (\ x__ :: WhileContextDef
x__ y__ :: Vector Text
y__ -> WhileContextDef
x__ {_WhileContextDef'loopEnterNames :: Vector Text
_WhileContextDef'loopEnterNames = Vector Text
y__}))
        ((Vector Text -> [Text])
-> (Vector Text -> [Text] -> Vector Text)
-> Lens (Vector Text) (Vector Text) [Text] [Text]
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           Vector Text -> [Text]
forall (v :: * -> *) a. Vector v a => v a -> [a]
Data.Vector.Generic.toList
           (\ _ y__ :: [Text]
y__ -> [Text] -> Vector Text
forall (v :: * -> *) a. Vector v a => [a] -> v a
Data.Vector.Generic.fromList [Text]
y__))
instance Data.ProtoLens.Field.HasField WhileContextDef "vec'loopEnterNames" (Data.Vector.Vector Data.Text.Text) where
  fieldOf :: Proxy# "vec'loopEnterNames"
-> (Vector Text -> f (Vector Text))
-> WhileContextDef
-> f WhileContextDef
fieldOf _
    = ((Vector Text -> f (Vector Text))
 -> WhileContextDef -> f WhileContextDef)
-> ((Vector Text -> f (Vector Text))
    -> Vector Text -> f (Vector Text))
-> (Vector Text -> f (Vector Text))
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Vector Text)
-> (WhileContextDef -> Vector Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef (Vector Text) (Vector Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Vector Text
_WhileContextDef'loopEnterNames
           (\ x__ :: WhileContextDef
x__ y__ :: Vector Text
y__ -> WhileContextDef
x__ {_WhileContextDef'loopEnterNames :: Vector Text
_WhileContextDef'loopEnterNames = Vector Text
y__}))
        (Vector Text -> f (Vector Text)) -> Vector Text -> f (Vector Text)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "valuesDef" ValuesDef where
  fieldOf :: Proxy# "valuesDef"
-> (ValuesDef -> f ValuesDef)
-> WhileContextDef
-> f WhileContextDef
fieldOf _
    = ((Maybe ValuesDef -> f (Maybe ValuesDef))
 -> WhileContextDef -> f WhileContextDef)
-> ((ValuesDef -> f ValuesDef)
    -> Maybe ValuesDef -> f (Maybe ValuesDef))
-> (ValuesDef -> f ValuesDef)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Maybe ValuesDef)
-> (WhileContextDef -> Maybe ValuesDef -> WhileContextDef)
-> Lens
     WhileContextDef WhileContextDef (Maybe ValuesDef) (Maybe ValuesDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Maybe ValuesDef
_WhileContextDef'valuesDef
           (\ x__ :: WhileContextDef
x__ y__ :: Maybe ValuesDef
y__ -> WhileContextDef
x__ {_WhileContextDef'valuesDef :: Maybe ValuesDef
_WhileContextDef'valuesDef = Maybe ValuesDef
y__}))
        (ValuesDef -> Lens' (Maybe ValuesDef) ValuesDef
forall b. b -> Lens' (Maybe b) b
Data.ProtoLens.maybeLens ValuesDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage)
instance Data.ProtoLens.Field.HasField WhileContextDef "maybe'valuesDef" (Prelude.Maybe ValuesDef) where
  fieldOf :: Proxy# "maybe'valuesDef"
-> (Maybe ValuesDef -> f (Maybe ValuesDef))
-> WhileContextDef
-> f WhileContextDef
fieldOf _
    = ((Maybe ValuesDef -> f (Maybe ValuesDef))
 -> WhileContextDef -> f WhileContextDef)
-> ((Maybe ValuesDef -> f (Maybe ValuesDef))
    -> Maybe ValuesDef -> f (Maybe ValuesDef))
-> (Maybe ValuesDef -> f (Maybe ValuesDef))
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Maybe ValuesDef)
-> (WhileContextDef -> Maybe ValuesDef -> WhileContextDef)
-> Lens
     WhileContextDef WhileContextDef (Maybe ValuesDef) (Maybe ValuesDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Maybe ValuesDef
_WhileContextDef'valuesDef
           (\ x__ :: WhileContextDef
x__ y__ :: Maybe ValuesDef
y__ -> WhileContextDef
x__ {_WhileContextDef'valuesDef :: Maybe ValuesDef
_WhileContextDef'valuesDef = Maybe ValuesDef
y__}))
        (Maybe ValuesDef -> f (Maybe ValuesDef))
-> Maybe ValuesDef -> f (Maybe ValuesDef)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "maximumIterationsName" Data.Text.Text where
  fieldOf :: Proxy# "maximumIterationsName"
-> (Text -> f Text) -> WhileContextDef -> f WhileContextDef
fieldOf _
    = ((Text -> f Text) -> WhileContextDef -> f WhileContextDef)
-> ((Text -> f Text) -> Text -> f Text)
-> (Text -> f Text)
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Text)
-> (WhileContextDef -> Text -> WhileContextDef)
-> Lens WhileContextDef WhileContextDef Text Text
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Text
_WhileContextDef'maximumIterationsName
           (\ x__ :: WhileContextDef
x__ y__ :: Text
y__ -> WhileContextDef
x__ {_WhileContextDef'maximumIterationsName :: Text
_WhileContextDef'maximumIterationsName = Text
y__}))
        (Text -> f Text) -> Text -> f Text
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Field.HasField WhileContextDef "nestedContexts" [ControlFlowContextDef] where
  fieldOf :: Proxy# "nestedContexts"
-> ([ControlFlowContextDef] -> f [ControlFlowContextDef])
-> WhileContextDef
-> f WhileContextDef
fieldOf _
    = ((Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef))
 -> WhileContextDef -> f WhileContextDef)
-> (([ControlFlowContextDef] -> f [ControlFlowContextDef])
    -> Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> ([ControlFlowContextDef] -> f [ControlFlowContextDef])
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Vector ControlFlowContextDef)
-> (WhileContextDef
    -> Vector ControlFlowContextDef -> WhileContextDef)
-> Lens
     WhileContextDef
     WhileContextDef
     (Vector ControlFlowContextDef)
     (Vector ControlFlowContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Vector ControlFlowContextDef
_WhileContextDef'nestedContexts
           (\ x__ :: WhileContextDef
x__ y__ :: Vector ControlFlowContextDef
y__ -> WhileContextDef
x__ {_WhileContextDef'nestedContexts :: Vector ControlFlowContextDef
_WhileContextDef'nestedContexts = Vector ControlFlowContextDef
y__}))
        ((Vector ControlFlowContextDef -> [ControlFlowContextDef])
-> (Vector ControlFlowContextDef
    -> [ControlFlowContextDef] -> Vector ControlFlowContextDef)
-> Lens
     (Vector ControlFlowContextDef)
     (Vector ControlFlowContextDef)
     [ControlFlowContextDef]
     [ControlFlowContextDef]
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           Vector ControlFlowContextDef -> [ControlFlowContextDef]
forall (v :: * -> *) a. Vector v a => v a -> [a]
Data.Vector.Generic.toList
           (\ _ y__ :: [ControlFlowContextDef]
y__ -> [ControlFlowContextDef] -> Vector ControlFlowContextDef
forall (v :: * -> *) a. Vector v a => [a] -> v a
Data.Vector.Generic.fromList [ControlFlowContextDef]
y__))
instance Data.ProtoLens.Field.HasField WhileContextDef "vec'nestedContexts" (Data.Vector.Vector ControlFlowContextDef) where
  fieldOf :: Proxy# "vec'nestedContexts"
-> (Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> WhileContextDef
-> f WhileContextDef
fieldOf _
    = ((Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef))
 -> WhileContextDef -> f WhileContextDef)
-> ((Vector ControlFlowContextDef
     -> f (Vector ControlFlowContextDef))
    -> Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> (Vector ControlFlowContextDef
    -> f (Vector ControlFlowContextDef))
-> WhileContextDef
-> f WhileContextDef
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
        ((WhileContextDef -> Vector ControlFlowContextDef)
-> (WhileContextDef
    -> Vector ControlFlowContextDef -> WhileContextDef)
-> Lens
     WhileContextDef
     WhileContextDef
     (Vector ControlFlowContextDef)
     (Vector ControlFlowContextDef)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
           WhileContextDef -> Vector ControlFlowContextDef
_WhileContextDef'nestedContexts
           (\ x__ :: WhileContextDef
x__ y__ :: Vector ControlFlowContextDef
y__ -> WhileContextDef
x__ {_WhileContextDef'nestedContexts :: Vector ControlFlowContextDef
_WhileContextDef'nestedContexts = Vector ControlFlowContextDef
y__}))
        (Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef))
-> Vector ControlFlowContextDef -> f (Vector ControlFlowContextDef)
forall a. a -> a
Prelude.id
instance Data.ProtoLens.Message WhileContextDef where
  messageName :: Proxy WhileContextDef -> Text
messageName _ = String -> Text
Data.Text.pack "tensorflow.WhileContextDef"
  packedMessageDescriptor :: Proxy WhileContextDef -> ByteString
packedMessageDescriptor _
    = "\n\
      \\SIWhileContextDef\DC2!\n\
      \\fcontext_name\CAN\SOH \SOH(\tR\vcontextName\DC2/\n\
      \\DC3parallel_iterations\CAN\STX \SOH(\ENQR\DC2parallelIterations\DC2\ESC\n\
      \\tback_prop\CAN\ETX \SOH(\bR\bbackProp\DC2\US\n\
      \\vswap_memory\CAN\EOT \SOH(\bR\n\
      \swapMemory\DC2\GS\n\
      \\n\
      \pivot_name\CAN\ENQ \SOH(\tR\tpivotName\DC2-\n\
      \\DC3pivot_for_pred_name\CAN\ACK \SOH(\tR\DLEpivotForPredName\DC2-\n\
      \\DC3pivot_for_body_name\CAN\a \SOH(\tR\DLEpivotForBodyName\DC2&\n\
      \\SIloop_exit_names\CAN\b \ETX(\tR\rloopExitNames\DC2(\n\
      \\DLEloop_enter_names\CAN\n\
      \ \ETX(\tR\SOloopEnterNames\DC24\n\
      \\n\
      \values_def\CAN\t \SOH(\v2\NAK.tensorflow.ValuesDefR\tvaluesDef\DC26\n\
      \\ETBmaximum_iterations_name\CAN\v \SOH(\tR\NAKmaximumIterationsName\DC2J\n\
      \\SInested_contexts\CAN\f \ETX(\v2!.tensorflow.ControlFlowContextDefR\SOnestedContexts"
  packedFileDescriptor :: Proxy WhileContextDef -> ByteString
packedFileDescriptor _ = ByteString
packedFileDescriptor
  fieldsByTag :: Map Tag (FieldDescriptor WhileContextDef)
fieldsByTag
    = let
        contextName__field_descriptor :: FieldDescriptor WhileContextDef
contextName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor WhileContextDef Text
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "context_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens WhileContextDef WhileContextDef Text Text
-> FieldAccessor WhileContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "contextName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"contextName")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        parallelIterations__field_descriptor :: FieldDescriptor WhileContextDef
parallelIterations__field_descriptor
          = String
-> FieldTypeDescriptor Int32
-> FieldAccessor WhileContextDef Int32
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "parallel_iterations"
              (ScalarField Int32 -> FieldTypeDescriptor Int32
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Int32
Data.ProtoLens.Int32Field ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Int.Int32)
              (WireDefault Int32
-> Lens WhileContextDef WhileContextDef Int32 Int32
-> FieldAccessor WhileContextDef Int32
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Int32
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "parallelIterations" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"parallelIterations")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        backProp__field_descriptor :: FieldDescriptor WhileContextDef
backProp__field_descriptor
          = String
-> FieldTypeDescriptor Bool
-> FieldAccessor WhileContextDef Bool
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "back_prop"
              (ScalarField Bool -> FieldTypeDescriptor Bool
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Bool
Data.ProtoLens.BoolField ::
                 Data.ProtoLens.FieldTypeDescriptor Prelude.Bool)
              (WireDefault Bool
-> Lens WhileContextDef WhileContextDef Bool Bool
-> FieldAccessor WhileContextDef Bool
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Bool
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "backProp" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"backProp")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        swapMemory__field_descriptor :: FieldDescriptor WhileContextDef
swapMemory__field_descriptor
          = String
-> FieldTypeDescriptor Bool
-> FieldAccessor WhileContextDef Bool
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "swap_memory"
              (ScalarField Bool -> FieldTypeDescriptor Bool
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Bool
Data.ProtoLens.BoolField ::
                 Data.ProtoLens.FieldTypeDescriptor Prelude.Bool)
              (WireDefault Bool
-> Lens WhileContextDef WhileContextDef Bool Bool
-> FieldAccessor WhileContextDef Bool
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Bool
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "swapMemory" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"swapMemory")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        pivotName__field_descriptor :: FieldDescriptor WhileContextDef
pivotName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor WhileContextDef Text
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "pivot_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens WhileContextDef WhileContextDef Text Text
-> FieldAccessor WhileContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "pivotName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotName")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        pivotForPredName__field_descriptor :: FieldDescriptor WhileContextDef
pivotForPredName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor WhileContextDef Text
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "pivot_for_pred_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens WhileContextDef WhileContextDef Text Text
-> FieldAccessor WhileContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "pivotForPredName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotForPredName")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        pivotForBodyName__field_descriptor :: FieldDescriptor WhileContextDef
pivotForBodyName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor WhileContextDef Text
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "pivot_for_body_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens WhileContextDef WhileContextDef Text Text
-> FieldAccessor WhileContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "pivotForBodyName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotForBodyName")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        loopExitNames__field_descriptor :: FieldDescriptor WhileContextDef
loopExitNames__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor WhileContextDef Text
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "loop_exit_names"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (Packing
-> Lens' WhileContextDef [Text]
-> FieldAccessor WhileContextDef Text
forall msg value.
Packing -> Lens' msg [value] -> FieldAccessor msg value
Data.ProtoLens.RepeatedField
                 Packing
Data.ProtoLens.Unpacked
                 (forall s a (f :: * -> *).
(HasField s "loopExitNames" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"loopExitNames")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        loopEnterNames__field_descriptor :: FieldDescriptor WhileContextDef
loopEnterNames__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor WhileContextDef Text
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "loop_enter_names"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (Packing
-> Lens' WhileContextDef [Text]
-> FieldAccessor WhileContextDef Text
forall msg value.
Packing -> Lens' msg [value] -> FieldAccessor msg value
Data.ProtoLens.RepeatedField
                 Packing
Data.ProtoLens.Unpacked
                 (forall s a (f :: * -> *).
(HasField s "loopEnterNames" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"loopEnterNames")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        valuesDef__field_descriptor :: FieldDescriptor WhileContextDef
valuesDef__field_descriptor
          = String
-> FieldTypeDescriptor ValuesDef
-> FieldAccessor WhileContextDef ValuesDef
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "values_def"
              (MessageOrGroup -> FieldTypeDescriptor ValuesDef
forall value.
Message value =>
MessageOrGroup -> FieldTypeDescriptor value
Data.ProtoLens.MessageField MessageOrGroup
Data.ProtoLens.MessageType ::
                 Data.ProtoLens.FieldTypeDescriptor ValuesDef)
              (Lens
  WhileContextDef WhileContextDef (Maybe ValuesDef) (Maybe ValuesDef)
-> FieldAccessor WhileContextDef ValuesDef
forall msg value.
Lens' msg (Maybe value) -> FieldAccessor msg value
Data.ProtoLens.OptionalField
                 (forall s a (f :: * -> *).
(HasField s "maybe'valuesDef" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'valuesDef")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        maximumIterationsName__field_descriptor :: FieldDescriptor WhileContextDef
maximumIterationsName__field_descriptor
          = String
-> FieldTypeDescriptor Text
-> FieldAccessor WhileContextDef Text
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "maximum_iterations_name"
              (ScalarField Text -> FieldTypeDescriptor Text
forall value. ScalarField value -> FieldTypeDescriptor value
Data.ProtoLens.ScalarField ScalarField Text
Data.ProtoLens.StringField ::
                 Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
              (WireDefault Text
-> Lens WhileContextDef WhileContextDef Text Text
-> FieldAccessor WhileContextDef Text
forall value msg.
WireDefault value -> Lens' msg value -> FieldAccessor msg value
Data.ProtoLens.PlainField
                 WireDefault Text
forall value. (FieldDefault value, Eq value) => WireDefault value
Data.ProtoLens.Optional
                 (forall s a (f :: * -> *).
(HasField s "maximumIterationsName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maximumIterationsName")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
        nestedContexts__field_descriptor :: FieldDescriptor WhileContextDef
nestedContexts__field_descriptor
          = String
-> FieldTypeDescriptor ControlFlowContextDef
-> FieldAccessor WhileContextDef ControlFlowContextDef
-> FieldDescriptor WhileContextDef
forall value msg.
String
-> FieldTypeDescriptor value
-> FieldAccessor msg value
-> FieldDescriptor msg
Data.ProtoLens.FieldDescriptor
              "nested_contexts"
              (MessageOrGroup -> FieldTypeDescriptor ControlFlowContextDef
forall value.
Message value =>
MessageOrGroup -> FieldTypeDescriptor value
Data.ProtoLens.MessageField MessageOrGroup
Data.ProtoLens.MessageType ::
                 Data.ProtoLens.FieldTypeDescriptor ControlFlowContextDef)
              (Packing
-> Lens' WhileContextDef [ControlFlowContextDef]
-> FieldAccessor WhileContextDef ControlFlowContextDef
forall msg value.
Packing -> Lens' msg [value] -> FieldAccessor msg value
Data.ProtoLens.RepeatedField
                 Packing
Data.ProtoLens.Unpacked
                 (forall s a (f :: * -> *).
(HasField s "nestedContexts" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"nestedContexts")) ::
              Data.ProtoLens.FieldDescriptor WhileContextDef
      in
        [(Tag, FieldDescriptor WhileContextDef)]
-> Map Tag (FieldDescriptor WhileContextDef)
forall k a. Ord k => [(k, a)] -> Map k a
Data.Map.fromList
          [(Int -> Tag
Data.ProtoLens.Tag 1, FieldDescriptor WhileContextDef
contextName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 2, FieldDescriptor WhileContextDef
parallelIterations__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 3, FieldDescriptor WhileContextDef
backProp__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 4, FieldDescriptor WhileContextDef
swapMemory__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 5, FieldDescriptor WhileContextDef
pivotName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 6, FieldDescriptor WhileContextDef
pivotForPredName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 7, FieldDescriptor WhileContextDef
pivotForBodyName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 8, FieldDescriptor WhileContextDef
loopExitNames__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 10, FieldDescriptor WhileContextDef
loopEnterNames__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 9, FieldDescriptor WhileContextDef
valuesDef__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 11, FieldDescriptor WhileContextDef
maximumIterationsName__field_descriptor),
           (Int -> Tag
Data.ProtoLens.Tag 12, FieldDescriptor WhileContextDef
nestedContexts__field_descriptor)]
  unknownFields :: LensLike' f WhileContextDef FieldSet
unknownFields
    = (WhileContextDef -> FieldSet)
-> (WhileContextDef -> FieldSet -> WhileContextDef)
-> Lens' WhileContextDef FieldSet
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.Family2.Unchecked.lens
        WhileContextDef -> FieldSet
_WhileContextDef'_unknownFields
        (\ x__ :: WhileContextDef
x__ y__ :: FieldSet
y__ -> WhileContextDef
x__ {_WhileContextDef'_unknownFields :: FieldSet
_WhileContextDef'_unknownFields = FieldSet
y__})
  defMessage :: WhileContextDef
defMessage
    = $WWhileContextDef'_constructor :: Text
-> Int32
-> Bool
-> Bool
-> Text
-> Text
-> Text
-> Vector Text
-> Vector Text
-> Maybe ValuesDef
-> Text
-> Vector ControlFlowContextDef
-> FieldSet
-> WhileContextDef
WhileContextDef'_constructor
        {_WhileContextDef'contextName :: Text
_WhileContextDef'contextName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'parallelIterations :: Int32
_WhileContextDef'parallelIterations = Int32
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'backProp :: Bool
_WhileContextDef'backProp = Bool
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'swapMemory :: Bool
_WhileContextDef'swapMemory = Bool
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'pivotName :: Text
_WhileContextDef'pivotName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'pivotForPredName :: Text
_WhileContextDef'pivotForPredName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'pivotForBodyName :: Text
_WhileContextDef'pivotForBodyName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'loopExitNames :: Vector Text
_WhileContextDef'loopExitNames = Vector Text
forall (v :: * -> *) a. Vector v a => v a
Data.Vector.Generic.empty,
         _WhileContextDef'loopEnterNames :: Vector Text
_WhileContextDef'loopEnterNames = Vector Text
forall (v :: * -> *) a. Vector v a => v a
Data.Vector.Generic.empty,
         _WhileContextDef'valuesDef :: Maybe ValuesDef
_WhileContextDef'valuesDef = Maybe ValuesDef
forall a. Maybe a
Prelude.Nothing,
         _WhileContextDef'maximumIterationsName :: Text
_WhileContextDef'maximumIterationsName = Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault,
         _WhileContextDef'nestedContexts :: Vector ControlFlowContextDef
_WhileContextDef'nestedContexts = Vector ControlFlowContextDef
forall (v :: * -> *) a. Vector v a => v a
Data.Vector.Generic.empty,
         _WhileContextDef'_unknownFields :: FieldSet
_WhileContextDef'_unknownFields = []}
  parseMessage :: Parser WhileContextDef
parseMessage
    = let
        loop ::
          WhileContextDef
          -> Data.ProtoLens.Encoding.Growing.Growing Data.Vector.Vector Data.ProtoLens.Encoding.Growing.RealWorld Data.Text.Text
             -> Data.ProtoLens.Encoding.Growing.Growing Data.Vector.Vector Data.ProtoLens.Encoding.Growing.RealWorld Data.Text.Text
                -> Data.ProtoLens.Encoding.Growing.Growing Data.Vector.Vector Data.ProtoLens.Encoding.Growing.RealWorld ControlFlowContextDef
                   -> Data.ProtoLens.Encoding.Bytes.Parser WhileContextDef
        loop :: WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
          x :: WhileContextDef
x
          mutable'loopEnterNames :: Growing Vector RealWorld Text
mutable'loopEnterNames
          mutable'loopExitNames :: Growing Vector RealWorld Text
mutable'loopExitNames
          mutable'nestedContexts :: Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
          = do Bool
end <- Parser Bool
Data.ProtoLens.Encoding.Bytes.atEnd
               if Bool
end then
                   do Vector Text
frozen'loopEnterNames <- IO (Vector Text) -> Parser (Vector Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                                 (Growing Vector (PrimState IO) Text -> IO (Vector Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> m (v a)
Data.ProtoLens.Encoding.Growing.unsafeFreeze
                                                    Growing Vector RealWorld Text
Growing Vector (PrimState IO) Text
mutable'loopEnterNames)
                      Vector Text
frozen'loopExitNames <- IO (Vector Text) -> Parser (Vector Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                                (Growing Vector (PrimState IO) Text -> IO (Vector Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> m (v a)
Data.ProtoLens.Encoding.Growing.unsafeFreeze
                                                   Growing Vector RealWorld Text
Growing Vector (PrimState IO) Text
mutable'loopExitNames)
                      Vector ControlFlowContextDef
frozen'nestedContexts <- IO (Vector ControlFlowContextDef)
-> Parser (Vector ControlFlowContextDef)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                                 (Growing Vector (PrimState IO) ControlFlowContextDef
-> IO (Vector ControlFlowContextDef)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> m (v a)
Data.ProtoLens.Encoding.Growing.unsafeFreeze
                                                    Growing Vector RealWorld ControlFlowContextDef
Growing Vector (PrimState IO) ControlFlowContextDef
mutable'nestedContexts)
                      (let missing :: [a]
missing = []
                       in
                         if [Any] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
Prelude.null [Any]
forall a. [a]
missing then
                             () -> Parser ()
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return ()
                         else
                             String -> Parser ()
forall (m :: * -> *) a. MonadFail m => String -> m a
Prelude.fail
                               (String -> ShowS
forall a. [a] -> [a] -> [a]
(Prelude.++)
                                  "Missing required fields: "
                                  ([String] -> String
forall a. Show a => a -> String
Prelude.show ([String]
forall a. [a]
missing :: [Prelude.String]))))
                      WhileContextDef -> Parser WhileContextDef
forall (m :: * -> *) a. Monad m => a -> m a
Prelude.return
                        (Setter WhileContextDef WhileContextDef FieldSet FieldSet
-> (FieldSet -> FieldSet) -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                           forall msg. Message msg => Lens' msg FieldSet
Setter WhileContextDef WhileContextDef FieldSet FieldSet
Data.ProtoLens.unknownFields
                           (\ !FieldSet
t -> FieldSet -> FieldSet
forall a. [a] -> [a]
Prelude.reverse FieldSet
t)
                           (Setter WhileContextDef WhileContextDef (Vector Text) (Vector Text)
-> Vector Text -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                              (forall s a (f :: * -> *).
(HasField s "vec'loopEnterNames" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'loopEnterNames")
                              Vector Text
frozen'loopEnterNames
                              (Setter WhileContextDef WhileContextDef (Vector Text) (Vector Text)
-> Vector Text -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                 (forall s a (f :: * -> *).
(HasField s "vec'loopExitNames" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'loopExitNames")
                                 Vector Text
frozen'loopExitNames
                                 (Setter
  WhileContextDef
  WhileContextDef
  (Vector ControlFlowContextDef)
  (Vector ControlFlowContextDef)
-> Vector ControlFlowContextDef
-> WhileContextDef
-> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                    (forall s a (f :: * -> *).
(HasField s "vec'nestedContexts" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'nestedContexts")
                                    Vector ControlFlowContextDef
frozen'nestedContexts
                                    WhileContextDef
x))))
               else
                   do Word64
tag <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                      case Word64
tag of
                        10
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "context_name"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Text Text
-> Text -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "contextName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"contextName") Text
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        16
                          -> do Int32
y <- Parser Int32 -> String -> Parser Int32
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       ((Word64 -> Int32) -> Parser Word64 -> Parser Int32
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap
                                          Word64 -> Int32
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                          Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt)
                                       "parallel_iterations"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Int32 Int32
-> Int32 -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                     (forall s a (f :: * -> *).
(HasField s "parallelIterations" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"parallelIterations") Int32
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        24
                          -> do Bool
y <- Parser Bool -> String -> Parser Bool
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       ((Word64 -> Bool) -> Parser Word64 -> Parser Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap
                                          (Word64 -> Word64 -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude./=) 0) Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt)
                                       "back_prop"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Bool Bool
-> Bool -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "backProp" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"backProp") Bool
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        32
                          -> do Bool
y <- Parser Bool -> String -> Parser Bool
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       ((Word64 -> Bool) -> Parser Word64 -> Parser Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.fmap
                                          (Word64 -> Word64 -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude./=) 0) Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt)
                                       "swap_memory"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Bool Bool
-> Bool -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "swapMemory" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"swapMemory") Bool
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        42
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "pivot_name"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Text Text
-> Text -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "pivotName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotName") Text
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        50
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "pivot_for_pred_name"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Text Text
-> Text -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                     (forall s a (f :: * -> *).
(HasField s "pivotForPredName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotForPredName") Text
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        58
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "pivot_for_body_name"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Text Text
-> Text -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                     (forall s a (f :: * -> *).
(HasField s "pivotForBodyName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotForBodyName") Text
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        66
                          -> do !Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                        (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                        Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                          (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                            Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                              (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                 (Prelude.Left err :: UnicodeException
err)
                                                   -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                 (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                        "loop_exit_names"
                                Growing Vector RealWorld Text
v <- IO (Growing Vector RealWorld Text)
-> Parser (Growing Vector RealWorld Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                       (Growing Vector (PrimState IO) Text
-> Text -> IO (Growing Vector (PrimState IO) Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> a -> m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.append
                                          Growing Vector RealWorld Text
Growing Vector (PrimState IO) Text
mutable'loopExitNames Text
y)
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop WhileContextDef
x Growing Vector RealWorld Text
mutable'loopEnterNames Growing Vector RealWorld Text
v Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        82
                          -> do !Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                        (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                        Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                          (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                            Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                              (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                 (Prelude.Left err :: UnicodeException
err)
                                                   -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                 (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                        "loop_enter_names"
                                Growing Vector RealWorld Text
v <- IO (Growing Vector RealWorld Text)
-> Parser (Growing Vector RealWorld Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                       (Growing Vector (PrimState IO) Text
-> Text -> IO (Growing Vector (PrimState IO) Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> a -> m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.append
                                          Growing Vector RealWorld Text
Growing Vector (PrimState IO) Text
mutable'loopEnterNames Text
y)
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop WhileContextDef
x Growing Vector RealWorld Text
v Growing Vector RealWorld Text
mutable'loopExitNames Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        74
                          -> do ValuesDef
y <- Parser ValuesDef -> String -> Parser ValuesDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                           Int -> Parser ValuesDef -> Parser ValuesDef
forall a. Int -> Parser a -> Parser a
Data.ProtoLens.Encoding.Bytes.isolate
                                             (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len) Parser ValuesDef
forall msg. Message msg => Parser msg
Data.ProtoLens.parseMessage)
                                       "values_def"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef ValuesDef ValuesDef
-> ValuesDef -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set (forall s a (f :: * -> *).
(HasField s "valuesDef" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"valuesDef") ValuesDef
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        90
                          -> do Text
y <- Parser Text -> String -> Parser Text
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                       (do ByteString
value <- do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                                       Int -> Parser ByteString
Data.ProtoLens.Encoding.Bytes.getBytes
                                                         (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                           Either String Text -> Parser Text
forall a. Either String a -> Parser a
Data.ProtoLens.Encoding.Bytes.runEither
                                             (case ByteString -> Either UnicodeException Text
Data.Text.Encoding.decodeUtf8' ByteString
value of
                                                (Prelude.Left err :: UnicodeException
err)
                                                  -> String -> Either String Text
forall a b. a -> Either a b
Prelude.Left (UnicodeException -> String
forall a. Show a => a -> String
Prelude.show UnicodeException
err)
                                                (Prelude.Right r :: Text
r) -> Text -> Either String Text
forall a b. b -> Either a b
Prelude.Right Text
r))
                                       "maximum_iterations_name"
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef Text Text
-> Text -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> b -> s -> t
Lens.Family2.set
                                     (forall s a (f :: * -> *).
(HasField s "maximumIterationsName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maximumIterationsName") Text
y WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
                        98
                          -> do !ControlFlowContextDef
y <- Parser ControlFlowContextDef
-> String -> Parser ControlFlowContextDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
                                        (do Word64
len <- Parser Word64
Data.ProtoLens.Encoding.Bytes.getVarInt
                                            Int -> Parser ControlFlowContextDef -> Parser ControlFlowContextDef
forall a. Int -> Parser a -> Parser a
Data.ProtoLens.Encoding.Bytes.isolate
                                              (Word64 -> Int
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Word64
len)
                                              Parser ControlFlowContextDef
forall msg. Message msg => Parser msg
Data.ProtoLens.parseMessage)
                                        "nested_contexts"
                                Growing Vector RealWorld ControlFlowContextDef
v <- IO (Growing Vector RealWorld ControlFlowContextDef)
-> Parser (Growing Vector RealWorld ControlFlowContextDef)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                       (Growing Vector (PrimState IO) ControlFlowContextDef
-> ControlFlowContextDef
-> IO (Growing Vector (PrimState IO) ControlFlowContextDef)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
Growing v (PrimState m) a -> a -> m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.append
                                          Growing Vector RealWorld ControlFlowContextDef
Growing Vector (PrimState IO) ControlFlowContextDef
mutable'nestedContexts ControlFlowContextDef
y)
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop WhileContextDef
x Growing Vector RealWorld Text
mutable'loopEnterNames Growing Vector RealWorld Text
mutable'loopExitNames Growing Vector RealWorld ControlFlowContextDef
v
                        wire :: Word64
wire
                          -> do !TaggedValue
y <- Word64 -> Parser TaggedValue
Data.ProtoLens.Encoding.Wire.parseTaggedValueFromWire
                                        Word64
wire
                                WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                                  (Setter WhileContextDef WhileContextDef FieldSet FieldSet
-> (FieldSet -> FieldSet) -> WhileContextDef -> WhileContextDef
forall s t a b. Setter s t a b -> (a -> b) -> s -> t
Lens.Family2.over
                                     forall msg. Message msg => Lens' msg FieldSet
Setter WhileContextDef WhileContextDef FieldSet FieldSet
Data.ProtoLens.unknownFields (\ !FieldSet
t -> (:) TaggedValue
y FieldSet
t) WhileContextDef
x)
                                  Growing Vector RealWorld Text
mutable'loopEnterNames
                                  Growing Vector RealWorld Text
mutable'loopExitNames
                                  Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts
      in
        Parser WhileContextDef -> String -> Parser WhileContextDef
forall a. Parser a -> String -> Parser a
(Data.ProtoLens.Encoding.Bytes.<?>)
          (do Growing Vector RealWorld Text
mutable'loopEnterNames <- IO (Growing Vector RealWorld Text)
-> Parser (Growing Vector RealWorld Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                          IO (Growing Vector RealWorld Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.new
              Growing Vector RealWorld Text
mutable'loopExitNames <- IO (Growing Vector RealWorld Text)
-> Parser (Growing Vector RealWorld Text)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                         IO (Growing Vector RealWorld Text)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.new
              Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts <- IO (Growing Vector RealWorld ControlFlowContextDef)
-> Parser (Growing Vector RealWorld ControlFlowContextDef)
forall a. IO a -> Parser a
Data.ProtoLens.Encoding.Parser.Unsafe.unsafeLiftIO
                                          IO (Growing Vector RealWorld ControlFlowContextDef)
forall (m :: * -> *) (v :: * -> *) a.
(PrimMonad m, Vector v a) =>
m (Growing v (PrimState m) a)
Data.ProtoLens.Encoding.Growing.new
              WhileContextDef
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld Text
-> Growing Vector RealWorld ControlFlowContextDef
-> Parser WhileContextDef
loop
                WhileContextDef
forall msg. Message msg => msg
Data.ProtoLens.defMessage
                Growing Vector RealWorld Text
mutable'loopEnterNames
                Growing Vector RealWorld Text
mutable'loopExitNames
                Growing Vector RealWorld ControlFlowContextDef
mutable'nestedContexts)
          "WhileContextDef"
  buildMessage :: WhileContextDef -> Builder
buildMessage
    = \ _x :: WhileContextDef
_x
        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
             (let
                _v :: Text
_v
                  = FoldLike Text WhileContextDef WhileContextDef Text Text
-> WhileContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "contextName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"contextName") WhileContextDef
_x
              in
                if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                    Builder
forall a. Monoid a => a
Data.Monoid.mempty
                else
                    Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                      (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 10)
                      ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                         (\ bs :: ByteString
bs
                            -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                 (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                    (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                 (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                         Text -> ByteString
Data.Text.Encoding.encodeUtf8
                         Text
_v))
             (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                (let
                   _v :: Int32
_v
                     = FoldLike Int32 WhileContextDef WhileContextDef Int32 Int32
-> WhileContextDef -> Int32
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                         (forall s a (f :: * -> *).
(HasField s "parallelIterations" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"parallelIterations") WhileContextDef
_x
                 in
                   if Int32 -> Int32 -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Int32
_v Int32
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                       Builder
forall a. Monoid a => a
Data.Monoid.mempty
                   else
                       Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                         (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 16)
                         ((Word64 -> Builder) -> (Int32 -> Word64) -> Int32 -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                            Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt Int32 -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral Int32
_v))
                (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                   (let
                      _v :: Bool
_v = FoldLike Bool WhileContextDef WhileContextDef Bool Bool
-> WhileContextDef -> Bool
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "backProp" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"backProp") WhileContextDef
_x
                    in
                      if Bool -> Bool -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Bool
_v Bool
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                          Builder
forall a. Monoid a => a
Data.Monoid.mempty
                      else
                          Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                            (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 24)
                            ((Word64 -> Builder) -> (Bool -> Word64) -> Bool -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                               Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                               (\ b :: Bool
b -> if Bool
b then 1 else 0)
                               Bool
_v))
                   (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                      (let
                         _v :: Bool
_v
                           = FoldLike Bool WhileContextDef WhileContextDef Bool Bool
-> WhileContextDef -> Bool
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "swapMemory" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"swapMemory") WhileContextDef
_x
                       in
                         if Bool -> Bool -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Bool
_v Bool
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                             Builder
forall a. Monoid a => a
Data.Monoid.mempty
                         else
                             Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                               (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 32)
                               ((Word64 -> Builder) -> (Bool -> Word64) -> Bool -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                  Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                  (\ b :: Bool
b -> if Bool
b then 1 else 0)
                                  Bool
_v))
                      (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                         (let
                            _v :: Text
_v = FoldLike Text WhileContextDef WhileContextDef Text Text
-> WhileContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view (forall s a (f :: * -> *).
(HasField s "pivotName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotName") WhileContextDef
_x
                          in
                            if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                                Builder
forall a. Monoid a => a
Data.Monoid.mempty
                            else
                                Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                  (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 42)
                                  ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                     (\ bs :: ByteString
bs
                                        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                             (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                             (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                                     Text -> ByteString
Data.Text.Encoding.encodeUtf8
                                     Text
_v))
                         (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                            (let
                               _v :: Text
_v
                                 = FoldLike Text WhileContextDef WhileContextDef Text Text
-> WhileContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                     (forall s a (f :: * -> *).
(HasField s "pivotForPredName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotForPredName") WhileContextDef
_x
                             in
                               if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                                   Builder
forall a. Monoid a => a
Data.Monoid.mempty
                               else
                                   Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                     (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 50)
                                     ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                        (\ bs :: ByteString
bs
                                           -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                   (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                      (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                                (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                                        Text -> ByteString
Data.Text.Encoding.encodeUtf8
                                        Text
_v))
                            (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                               (let
                                  _v :: Text
_v
                                    = FoldLike Text WhileContextDef WhileContextDef Text Text
-> WhileContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                        (forall s a (f :: * -> *).
(HasField s "pivotForBodyName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pivotForBodyName") WhileContextDef
_x
                                in
                                  if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                                      Builder
forall a. Monoid a => a
Data.Monoid.mempty
                                  else
                                      Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                        (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 58)
                                        ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                           (\ bs :: ByteString
bs
                                              -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                   (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                      (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                         (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                                   (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                                           Text -> ByteString
Data.Text.Encoding.encodeUtf8
                                           Text
_v))
                               (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                  ((Text -> Builder) -> Vector Text -> Builder
forall (v :: * -> *) a.
Vector v a =>
(a -> Builder) -> v a -> Builder
Data.ProtoLens.Encoding.Bytes.foldMapBuilder
                                     (\ _v :: Text
_v
                                        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                             (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 66)
                                             ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                                (\ bs :: ByteString
bs
                                                   -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                        (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                           (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                              (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                                        (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes ByteString
bs))
                                                Text -> ByteString
Data.Text.Encoding.encodeUtf8
                                                Text
_v))
                                     (FoldLike
  (Vector Text)
  WhileContextDef
  WhileContextDef
  (Vector Text)
  (Vector Text)
-> WhileContextDef -> Vector Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                        (forall s a (f :: * -> *).
(HasField s "vec'loopExitNames" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'loopExitNames") WhileContextDef
_x))
                                  (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                     ((Text -> Builder) -> Vector Text -> Builder
forall (v :: * -> *) a.
Vector v a =>
(a -> Builder) -> v a -> Builder
Data.ProtoLens.Encoding.Bytes.foldMapBuilder
                                        (\ _v :: Text
_v
                                           -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 82)
                                                ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                                   (\ bs :: ByteString
bs
                                                      -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                           (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                              (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                                 (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                                           (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes
                                                              ByteString
bs))
                                                   Text -> ByteString
Data.Text.Encoding.encodeUtf8
                                                   Text
_v))
                                        (FoldLike
  (Vector Text)
  WhileContextDef
  WhileContextDef
  (Vector Text)
  (Vector Text)
-> WhileContextDef -> Vector Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                           (forall s a (f :: * -> *).
(HasField s "vec'loopEnterNames" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'loopEnterNames") WhileContextDef
_x))
                                     (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                        (case
                                             FoldLike
  (Maybe ValuesDef)
  WhileContextDef
  WhileContextDef
  (Maybe ValuesDef)
  (Maybe ValuesDef)
-> WhileContextDef -> Maybe ValuesDef
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                               (forall s a (f :: * -> *).
(HasField s "maybe'valuesDef" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'valuesDef") WhileContextDef
_x
                                         of
                                           Prelude.Nothing -> Builder
forall a. Monoid a => a
Data.Monoid.mempty
                                           (Prelude.Just _v :: ValuesDef
_v)
                                             -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                  (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 74)
                                                  ((ByteString -> Builder)
-> (ValuesDef -> ByteString) -> ValuesDef -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                                     (\ bs :: ByteString
bs
                                                        -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                             (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                                (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                                   (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                                             (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes
                                                                ByteString
bs))
                                                     ValuesDef -> ByteString
forall msg. Message msg => msg -> ByteString
Data.ProtoLens.encodeMessage
                                                     ValuesDef
_v))
                                        (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                           (let
                                              _v :: Text
_v
                                                = FoldLike Text WhileContextDef WhileContextDef Text Text
-> WhileContextDef -> Text
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                                    (forall s a (f :: * -> *).
(HasField s "maximumIterationsName" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field
                                                       @"maximumIterationsName")
                                                    WhileContextDef
_x
                                            in
                                              if Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(Prelude.==) Text
_v Text
forall value. FieldDefault value => value
Data.ProtoLens.fieldDefault then
                                                  Builder
forall a. Monoid a => a
Data.Monoid.mempty
                                              else
                                                  Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                    (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt 90)
                                                    ((ByteString -> Builder) -> (Text -> ByteString) -> Text -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                                       (\ bs :: ByteString
bs
                                                          -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                               (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                                  (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                                     (ByteString -> Int
Data.ByteString.length ByteString
bs)))
                                                               (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes
                                                                  ByteString
bs))
                                                       Text -> ByteString
Data.Text.Encoding.encodeUtf8
                                                       Text
_v))
                                           (Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                              ((ControlFlowContextDef -> Builder)
-> Vector ControlFlowContextDef -> Builder
forall (v :: * -> *) a.
Vector v a =>
(a -> Builder) -> v a -> Builder
Data.ProtoLens.Encoding.Bytes.foldMapBuilder
                                                 (\ _v :: ControlFlowContextDef
_v
                                                    -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                         (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                            98)
                                                         ((ByteString -> Builder)
-> (ControlFlowContextDef -> ByteString)
-> ControlFlowContextDef
-> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
(Prelude..)
                                                            (\ bs :: ByteString
bs
                                                               -> Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
(Data.Monoid.<>)
                                                                    (Word64 -> Builder
Data.ProtoLens.Encoding.Bytes.putVarInt
                                                                       (Int -> Word64
forall a b. (Integral a, Num b) => a -> b
Prelude.fromIntegral
                                                                          (ByteString -> Int
Data.ByteString.length
                                                                             ByteString
bs)))
                                                                    (ByteString -> Builder
Data.ProtoLens.Encoding.Bytes.putBytes
                                                                       ByteString
bs))
                                                            ControlFlowContextDef -> ByteString
forall msg. Message msg => msg -> ByteString
Data.ProtoLens.encodeMessage
                                                            ControlFlowContextDef
_v))
                                                 (FoldLike
  (Vector ControlFlowContextDef)
  WhileContextDef
  WhileContextDef
  (Vector ControlFlowContextDef)
  (Vector ControlFlowContextDef)
-> WhileContextDef -> Vector ControlFlowContextDef
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                                    (forall s a (f :: * -> *).
(HasField s "vec'nestedContexts" a, Functor f) =>
(a -> f a) -> s -> f s
forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field
                                                       @"vec'nestedContexts")
                                                    WhileContextDef
_x))
                                              (FieldSet -> Builder
Data.ProtoLens.Encoding.Wire.buildFieldSet
                                                 (FoldLike FieldSet WhileContextDef WhileContextDef FieldSet FieldSet
-> WhileContextDef -> FieldSet
forall a s t b. FoldLike a s t a b -> s -> a
Lens.Family2.view
                                                    FoldLike FieldSet WhileContextDef WhileContextDef FieldSet FieldSet
forall msg. Message msg => Lens' msg FieldSet
Data.ProtoLens.unknownFields WhileContextDef
_x)))))))))))))
instance Control.DeepSeq.NFData WhileContextDef where
  rnf :: WhileContextDef -> ()
rnf
    = \ x__ :: WhileContextDef
x__
        -> FieldSet -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
             (WhileContextDef -> FieldSet
_WhileContextDef'_unknownFields WhileContextDef
x__)
             (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                (WhileContextDef -> Text
_WhileContextDef'contextName WhileContextDef
x__)
                (Int32 -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                   (WhileContextDef -> Int32
_WhileContextDef'parallelIterations WhileContextDef
x__)
                   (Bool -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                      (WhileContextDef -> Bool
_WhileContextDef'backProp WhileContextDef
x__)
                      (Bool -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                         (WhileContextDef -> Bool
_WhileContextDef'swapMemory WhileContextDef
x__)
                         (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                            (WhileContextDef -> Text
_WhileContextDef'pivotName WhileContextDef
x__)
                            (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                               (WhileContextDef -> Text
_WhileContextDef'pivotForPredName WhileContextDef
x__)
                               (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                                  (WhileContextDef -> Text
_WhileContextDef'pivotForBodyName WhileContextDef
x__)
                                  (Vector Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                                     (WhileContextDef -> Vector Text
_WhileContextDef'loopExitNames WhileContextDef
x__)
                                     (Vector Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                                        (WhileContextDef -> Vector Text
_WhileContextDef'loopEnterNames WhileContextDef
x__)
                                        (Maybe ValuesDef -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                                           (WhileContextDef -> Maybe ValuesDef
_WhileContextDef'valuesDef WhileContextDef
x__)
                                           (Text -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                                              (WhileContextDef -> Text
_WhileContextDef'maximumIterationsName WhileContextDef
x__)
                                              (Vector ControlFlowContextDef -> () -> ()
forall a b. NFData a => a -> b -> b
Control.DeepSeq.deepseq
                                                 (WhileContextDef -> Vector ControlFlowContextDef
_WhileContextDef'nestedContexts WhileContextDef
x__)
                                                 ()))))))))))))
packedFileDescriptor :: Data.ByteString.ByteString
packedFileDescriptor :: ByteString
packedFileDescriptor
  = "\n\
    \+tensorflow/core/protobuf/control_flow.proto\DC2\n\
    \tensorflow\"\186\SOH\n\
    \\tValuesDef\DC2\SYN\n\
    \\ACKvalues\CAN\SOH \ETX(\tR\ACKvalues\DC2R\n\
    \\SIexternal_values\CAN\STX \ETX(\v2).tensorflow.ValuesDef.ExternalValuesEntryR\SOexternalValues\SUBA\n\
    \\DC3ExternalValuesEntry\DC2\DLE\n\
    \\ETXkey\CAN\SOH \SOH(\tR\ETXkey\DC2\DC4\n\
    \\ENQvalue\CAN\STX \SOH(\tR\ENQvalue:\STX8\SOH\"\152\SOH\n\
    \\NAKControlFlowContextDef\DC29\n\
    \\tcond_ctxt\CAN\SOH \SOH(\v2\SUB.tensorflow.CondContextDefH\NULR\bcondCtxt\DC2<\n\
    \\n\
    \while_ctxt\CAN\STX \SOH(\v2\ESC.tensorflow.WhileContextDefH\NULR\twhileCtxtB\ACK\n\
    \\EOTctxt\"\137\STX\n\
    \\SOCondContextDef\DC2!\n\
    \\fcontext_name\CAN\SOH \SOH(\tR\vcontextName\DC2\ESC\n\
    \\tpred_name\CAN\STX \SOH(\tR\bpredName\DC2\GS\n\
    \\n\
    \pivot_name\CAN\ETX \SOH(\tR\tpivotName\DC2\SYN\n\
    \\ACKbranch\CAN\EOT \SOH(\ENQR\ACKbranch\DC24\n\
    \\n\
    \values_def\CAN\ENQ \SOH(\v2\NAK.tensorflow.ValuesDefR\tvaluesDef\DC2J\n\
    \\SInested_contexts\CAN\ACK \ETX(\v2!.tensorflow.ControlFlowContextDefR\SOnestedContexts\"\172\EOT\n\
    \\SIWhileContextDef\DC2!\n\
    \\fcontext_name\CAN\SOH \SOH(\tR\vcontextName\DC2/\n\
    \\DC3parallel_iterations\CAN\STX \SOH(\ENQR\DC2parallelIterations\DC2\ESC\n\
    \\tback_prop\CAN\ETX \SOH(\bR\bbackProp\DC2\US\n\
    \\vswap_memory\CAN\EOT \SOH(\bR\n\
    \swapMemory\DC2\GS\n\
    \\n\
    \pivot_name\CAN\ENQ \SOH(\tR\tpivotName\DC2-\n\
    \\DC3pivot_for_pred_name\CAN\ACK \SOH(\tR\DLEpivotForPredName\DC2-\n\
    \\DC3pivot_for_body_name\CAN\a \SOH(\tR\DLEpivotForBodyName\DC2&\n\
    \\SIloop_exit_names\CAN\b \ETX(\tR\rloopExitNames\DC2(\n\
    \\DLEloop_enter_names\CAN\n\
    \ \ETX(\tR\SOloopEnterNames\DC24\n\
    \\n\
    \values_def\CAN\t \SOH(\v2\NAK.tensorflow.ValuesDefR\tvaluesDef\DC26\n\
    \\ETBmaximum_iterations_name\CAN\v \SOH(\tR\NAKmaximumIterationsName\DC2J\n\
    \\SInested_contexts\CAN\f \ETX(\v2!.tensorflow.ControlFlowContextDefR\SOnestedContextsB|\n\
    \\CANorg.tensorflow.frameworkB\DC1ControlFlowProtosP\SOHZHgithub.com/tensorflow/tensorflow/tensorflow/go/core/core_protos_go_proto\248\SOH\SOHJ\211\NAK\n\
    \\ACK\DC2\EOT\NUL\NULZ\SOH\n\
    \\b\n\
    \\SOH\f\DC2\ETX\NUL\NUL\DC2\n\
    \\b\n\
    \\SOH\STX\DC2\ETX\STX\NUL\DC3\n\
    \\b\n\
    \\SOH\b\DC2\ETX\EOT\NUL\US\n\
    \\t\n\
    \\STX\b\US\DC2\ETX\EOT\NUL\US\n\
    \\b\n\
    \\SOH\b\DC2\ETX\ENQ\NUL2\n\
    \\t\n\
    \\STX\b\b\DC2\ETX\ENQ\NUL2\n\
    \\b\n\
    \\SOH\b\DC2\ETX\ACK\NUL\"\n\
    \\t\n\
    \\STX\b\n\
    \\DC2\ETX\ACK\NUL\"\n\
    \\b\n\
    \\SOH\b\DC2\ETX\a\NUL1\n\
    \\t\n\
    \\STX\b\SOH\DC2\ETX\a\NUL1\n\
    \\b\n\
    \\SOH\b\DC2\ETX\b\NUL_\n\
    \\t\n\
    \\STX\b\v\DC2\ETX\b\NUL_\n\
    \~\n\
    \\STX\EOT\NUL\DC2\EOT\r\NUL\DC3\SOH\SUB@ Protocol buffer representing the values in ControlFlowContext.\n\
    \20 Control flow context related protocol buffers.\n\
    \\n\
    \\n\
    \\n\
    \\ETX\EOT\NUL\SOH\DC2\ETX\r\b\DC1\n\
    \?\n\
    \\EOT\EOT\NUL\STX\NUL\DC2\ETX\SI\STX\GS\SUB2 Value names that have been seen in this context.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\NUL\STX\NUL\EOT\DC2\ETX\SI\STX\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\NUL\STX\NUL\ENQ\DC2\ETX\SI\v\DC1\n\
    \\f\n\
    \\ENQ\EOT\NUL\STX\NUL\SOH\DC2\ETX\SI\DC2\CAN\n\
    \\f\n\
    \\ENQ\EOT\NUL\STX\NUL\ETX\DC2\ETX\SI\ESC\FS\n\
    \F\n\
    \\EOT\EOT\NUL\STX\SOH\DC2\ETX\DC2\STX*\SUB9 Value names referenced by but external to this context.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\NUL\STX\SOH\ACK\DC2\ETX\DC2\STX\NAK\n\
    \\f\n\
    \\ENQ\EOT\NUL\STX\SOH\SOH\DC2\ETX\DC2\SYN%\n\
    \\f\n\
    \\ENQ\EOT\NUL\STX\SOH\ETX\DC2\ETX\DC2()\n\
    \\143\SOH\n\
    \\STX\EOT\SOH\DC2\EOT\ETB\NUL\FS\SOH\SUB\130\SOH Container for any kind of control flow context. Any other control flow\n\
    \ contexts that are added below should also be added here.\n\
    \\n\
    \\n\
    \\n\
    \\ETX\EOT\SOH\SOH\DC2\ETX\ETB\b\GS\n\
    \\f\n\
    \\EOT\EOT\SOH\b\NUL\DC2\EOT\CAN\STX\ESC\ETX\n\
    \\f\n\
    \\ENQ\EOT\SOH\b\NUL\SOH\DC2\ETX\CAN\b\f\n\
    \\v\n\
    \\EOT\EOT\SOH\STX\NUL\DC2\ETX\EM\EOT!\n\
    \\f\n\
    \\ENQ\EOT\SOH\STX\NUL\ACK\DC2\ETX\EM\EOT\DC2\n\
    \\f\n\
    \\ENQ\EOT\SOH\STX\NUL\SOH\DC2\ETX\EM\DC3\FS\n\
    \\f\n\
    \\ENQ\EOT\SOH\STX\NUL\ETX\DC2\ETX\EM\US \n\
    \\v\n\
    \\EOT\EOT\SOH\STX\SOH\DC2\ETX\SUB\EOT#\n\
    \\f\n\
    \\ENQ\EOT\SOH\STX\SOH\ACK\DC2\ETX\SUB\EOT\DC3\n\
    \\f\n\
    \\ENQ\EOT\SOH\STX\SOH\SOH\DC2\ETX\SUB\DC4\RS\n\
    \\f\n\
    \\ENQ\EOT\SOH\STX\SOH\ETX\DC2\ETX\SUB!\"\n\
    \@\n\
    \\STX\EOT\STX\DC2\EOT\US\NUL1\SOH\SUB4 Protocol buffer representing a CondContext object.\n\
    \\n\
    \\n\
    \\n\
    \\ETX\EOT\STX\SOH\DC2\ETX\US\b\SYN\n\
    \#\n\
    \\EOT\EOT\STX\STX\NUL\DC2\ETX!\STX\SUB\SUB\SYN Name of the context.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\NUL\ENQ\DC2\ETX!\STX\b\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\NUL\SOH\DC2\ETX!\t\NAK\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\NUL\ETX\DC2\ETX!\CAN\EM\n\
    \'\n\
    \\EOT\EOT\STX\STX\SOH\DC2\ETX$\STX\ETB\SUB\SUB Name of the pred tensor.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\SOH\ENQ\DC2\ETX$\STX\b\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\SOH\SOH\DC2\ETX$\t\DC2\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\SOH\ETX\DC2\ETX$\NAK\SYN\n\
    \(\n\
    \\EOT\EOT\STX\STX\STX\DC2\ETX'\STX\CAN\SUB\ESC Name of the pivot tensor.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\STX\ENQ\DC2\ETX'\STX\b\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\STX\SOH\DC2\ETX'\t\DC3\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\STX\ETX\DC2\ETX'\SYN\ETB\n\
    \)\n\
    \\EOT\EOT\STX\STX\ETX\DC2\ETX*\STX\DC3\SUB\FS Branch prediction. 0 or 1.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\ETX\ENQ\DC2\ETX*\STX\a\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\ETX\SOH\DC2\ETX*\b\SO\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\ETX\ETX\DC2\ETX*\DC1\DC2\n\
    \B\n\
    \\EOT\EOT\STX\STX\EOT\DC2\ETX-\STX\ESC\SUB5 Values and external values in control flow context.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\EOT\ACK\DC2\ETX-\STX\v\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\EOT\SOH\DC2\ETX-\f\SYN\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\EOT\ETX\DC2\ETX-\EM\SUB\n\
    \J\n\
    \\EOT\EOT\STX\STX\ENQ\DC2\ETX0\STX5\SUB= Contexts contained inside this context (e.g. nested conds).\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\ENQ\EOT\DC2\ETX0\STX\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\ENQ\ACK\DC2\ETX0\v \n\
    \\f\n\
    \\ENQ\EOT\STX\STX\ENQ\SOH\DC2\ETX0!0\n\
    \\f\n\
    \\ENQ\EOT\STX\STX\ENQ\ETX\DC2\ETX034\n\
    \A\n\
    \\STX\EOT\ETX\DC2\EOT4\NULZ\SOH\SUB5 Protocol buffer representing a WhileContext object.\n\
    \\n\
    \\n\
    \\n\
    \\ETX\EOT\ETX\SOH\DC2\ETX4\b\ETB\n\
    \#\n\
    \\EOT\EOT\ETX\STX\NUL\DC2\ETX6\STX\SUB\SUB\SYN Name of the context.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\NUL\ENQ\DC2\ETX6\STX\b\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\NUL\SOH\DC2\ETX6\t\NAK\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\NUL\ETX\DC2\ETX6\CAN\EM\n\
    \C\n\
    \\EOT\EOT\ETX\STX\SOH\DC2\ETX9\STX \SUB6 The number of iterations allowed to run in parallel.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\SOH\ENQ\DC2\ETX9\STX\a\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\SOH\SOH\DC2\ETX9\b\ESC\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\SOH\ETX\DC2\ETX9\RS\US\n\
    \?\n\
    \\EOT\EOT\ETX\STX\STX\DC2\ETX<\STX\NAK\SUB2 Whether backprop is enabled for this while loop.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\STX\ENQ\DC2\ETX<\STX\ACK\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\STX\SOH\DC2\ETX<\a\DLE\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\STX\ETX\DC2\ETX<\DC3\DC4\n\
    \D\n\
    \\EOT\EOT\ETX\STX\ETX\DC2\ETX?\STX\ETB\SUB7 Whether GPU-CPU memory swap is enabled for this loop.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ETX\ENQ\DC2\ETX?\STX\ACK\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ETX\SOH\DC2\ETX?\a\DC2\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ETX\ETX\DC2\ETX?\NAK\SYN\n\
    \(\n\
    \\EOT\EOT\ETX\STX\EOT\DC2\ETXB\STX\CAN\SUB\ESC Name of the pivot tensor.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\EOT\ENQ\DC2\ETXB\STX\b\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\EOT\SOH\DC2\ETXB\t\DC3\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\EOT\ETX\DC2\ETXB\SYN\ETB\n\
    \1\n\
    \\EOT\EOT\ETX\STX\ENQ\DC2\ETXE\STX!\SUB$ Name of the pivot_for_pred tensor.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ENQ\ENQ\DC2\ETXE\STX\b\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ENQ\SOH\DC2\ETXE\t\FS\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ENQ\ETX\DC2\ETXE\US \n\
    \1\n\
    \\EOT\EOT\ETX\STX\ACK\DC2\ETXH\STX!\SUB$ Name of the pivot_for_body tensor.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ACK\ENQ\DC2\ETXH\STX\b\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ACK\SOH\DC2\ETXH\t\FS\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\ACK\ETX\DC2\ETXH\US \n\
    \.\n\
    \\EOT\EOT\ETX\STX\a\DC2\ETXK\STX&\SUB! List of names for exit tensors.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\a\EOT\DC2\ETXK\STX\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\a\ENQ\DC2\ETXK\v\DC1\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\a\SOH\DC2\ETXK\DC2!\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\a\ETX\DC2\ETXK$%\n\
    \/\n\
    \\EOT\EOT\ETX\STX\b\DC2\ETXN\STX(\SUB\" List of names for enter tensors.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\b\EOT\DC2\ETXN\STX\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\b\ENQ\DC2\ETXN\v\DC1\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\b\SOH\DC2\ETXN\DC2\"\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\b\ETX\DC2\ETXN%'\n\
    \B\n\
    \\EOT\EOT\ETX\STX\t\DC2\ETXQ\STX\ESC\SUB5 Values and external values in control flow context.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\t\ACK\DC2\ETXQ\STX\v\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\t\SOH\DC2\ETXQ\f\SYN\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\t\ETX\DC2\ETXQ\EM\SUB\n\
    \>\n\
    \\EOT\EOT\ETX\STX\n\
    \\DC2\ETXT\STX&\SUB1 Optional name of the maximum_iterations tensor.\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\n\
    \\ENQ\DC2\ETXT\STX\b\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\n\
    \\SOH\DC2\ETXT\t \n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\n\
    \\ETX\DC2\ETXT#%\n\
    \K\n\
    \\EOT\EOT\ETX\STX\v\DC2\ETXW\STX6\SUB> Contexts contained inside this context (e.g. nested whiles).\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\v\EOT\DC2\ETXW\STX\n\
    \\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\v\ACK\DC2\ETXW\v \n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\v\SOH\DC2\ETXW!0\n\
    \\f\n\
    \\ENQ\EOT\ETX\STX\v\ETX\DC2\ETXW35b\ACKproto3"