{-# 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
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__) ()))))))
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)
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__) ()))
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__) ()))
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"