{- This file was auto-generated from utxorpc/v1alpha/cardano/cardano.proto by the proto-lens-protoc program. -}
{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies, UndecidableInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds, BangPatterns, TypeApplications, OverloadedStrings, DerivingStrategies#-}
{-# OPTIONS_GHC -Wno-unused-imports#-}
{-# OPTIONS_GHC -Wno-duplicate-exports#-}
{-# OPTIONS_GHC -Wno-dodgy-exports#-}
module Proto.Utxorpc.V1alpha.Cardano.Cardano_Fields where
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
abstain ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "abstain" a) =>
  Lens.Family2.LensLike' f s a
abstain :: forall (f :: * -> *) s a.
(Functor f, HasField s "abstain" a) =>
LensLike' f s a
abstain = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"abstain"
activeSlotsCoeff ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "activeSlotsCoeff" a) =>
  Lens.Family2.LensLike' f s a
activeSlotsCoeff :: forall (f :: * -> *) s a.
(Functor f, HasField s "activeSlotsCoeff" a) =>
LensLike' f s a
activeSlotsCoeff = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"activeSlotsCoeff"
addrKeyHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "addrKeyHash" a) =>
  Lens.Family2.LensLike' f s a
addrKeyHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "addrKeyHash" a) =>
LensLike' f s a
addrKeyHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"addrKeyHash"
address ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "address" a) =>
  Lens.Family2.LensLike' f s a
address :: forall (f :: * -> *) s a.
(Functor f, HasField s "address" a) =>
LensLike' f s a
address = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"address"
anchor ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "anchor" a) =>
  Lens.Family2.LensLike' f s a
anchor :: forall (f :: * -> *) s a.
(Functor f, HasField s "anchor" a) =>
LensLike' f s a
anchor = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"anchor"
anyConstructor ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "anyConstructor" a) =>
  Lens.Family2.LensLike' f s a
anyConstructor :: forall (f :: * -> *) s a.
(Functor f, HasField s "anyConstructor" a) =>
LensLike' f s a
anyConstructor = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"anyConstructor"
array ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "array" a) =>
  Lens.Family2.LensLike' f s a
array :: forall (f :: * -> *) s a.
(Functor f, HasField s "array" a) =>
LensLike' f s a
array = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"array"
asOutput ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "asOutput" a) =>
  Lens.Family2.LensLike' f s a
asOutput :: forall (f :: * -> *) s a.
(Functor f, HasField s "asOutput" a) =>
LensLike' f s a
asOutput = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"asOutput"
asset ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "asset" a) =>
  Lens.Family2.LensLike' f s a
asset :: forall (f :: * -> *) s a.
(Functor f, HasField s "asset" a) =>
LensLike' f s a
asset = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"asset"
assetName ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "assetName" a) =>
  Lens.Family2.LensLike' f s a
assetName :: forall (f :: * -> *) s a.
(Functor f, HasField s "assetName" a) =>
LensLike' f s a
assetName = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"assetName"
assets ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "assets" a) =>
  Lens.Family2.LensLike' f s a
assets :: forall (f :: * -> *) s a.
(Functor f, HasField s "assets" a) =>
LensLike' f s a
assets = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"assets"
authCommitteeHotCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "authCommitteeHotCert" a) =>
  Lens.Family2.LensLike' f s a
authCommitteeHotCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "authCommitteeHotCert" a) =>
LensLike' f s a
authCommitteeHotCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"authCommitteeHotCert"
auxiliary ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "auxiliary" a) =>
  Lens.Family2.LensLike' f s a
auxiliary :: forall (f :: * -> *) s a.
(Functor f, HasField s "auxiliary" a) =>
LensLike' f s a
auxiliary = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"auxiliary"
avvmDistr ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "avvmDistr" a) =>
  Lens.Family2.LensLike' f s a
avvmDistr :: forall (f :: * -> *) s a.
(Functor f, HasField s "avvmDistr" a) =>
LensLike' f s a
avvmDistr = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"avvmDistr"
bigInt ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "bigInt" a) =>
  Lens.Family2.LensLike' f s a
bigInt :: forall (f :: * -> *) s a.
(Functor f, HasField s "bigInt" a) =>
LensLike' f s a
bigInt = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"bigInt"
bigNInt ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "bigNInt" a) =>
  Lens.Family2.LensLike' f s a
bigNInt :: forall (f :: * -> *) s a.
(Functor f, HasField s "bigNInt" a) =>
LensLike' f s a
bigNInt = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"bigNInt"
bigUInt ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "bigUInt" a) =>
  Lens.Family2.LensLike' f s a
bigUInt :: forall (f :: * -> *) s a.
(Functor f, HasField s "bigUInt" a) =>
LensLike' f s a
bigUInt = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"bigUInt"
blockVersionData ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "blockVersionData" a) =>
  Lens.Family2.LensLike' f s a
blockVersionData :: forall (f :: * -> *) s a.
(Functor f, HasField s "blockVersionData" a) =>
LensLike' f s a
blockVersionData = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"blockVersionData"
body ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "body" a) =>
  Lens.Family2.LensLike' f s a
body :: forall (f :: * -> *) s a.
(Functor f, HasField s "body" a) =>
LensLike' f s a
body = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"body"
bootStakeholders ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "bootStakeholders" a) =>
  Lens.Family2.LensLike' f s a
bootStakeholders :: forall (f :: * -> *) s a.
(Functor f, HasField s "bootStakeholders" a) =>
LensLike' f s a
bootStakeholders = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"bootStakeholders"
boundedBytes ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "boundedBytes" a) =>
  Lens.Family2.LensLike' f s a
boundedBytes :: forall (f :: * -> *) s a.
(Functor f, HasField s "boundedBytes" a) =>
LensLike' f s a
boundedBytes = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"boundedBytes"
bytes ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "bytes" a) =>
  Lens.Family2.LensLike' f s a
bytes :: forall (f :: * -> *) s a.
(Functor f, HasField s "bytes" a) =>
LensLike' f s a
bytes = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"bytes"
cert ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "cert" a) =>
  Lens.Family2.LensLike' f s a
cert :: forall (f :: * -> *) s a.
(Functor f, HasField s "cert" a) =>
LensLike' f s a
cert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"cert"
certificates ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "certificates" a) =>
  Lens.Family2.LensLike' f s a
certificates :: forall (f :: * -> *) s a.
(Functor f, HasField s "certificates" a) =>
LensLike' f s a
certificates = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"certificates"
coin ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "coin" a) =>
  Lens.Family2.LensLike' f s a
coin :: forall (f :: * -> *) s a.
(Functor f, HasField s "coin" a) =>
LensLike' f s a
coin = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"coin"
coinsPerUtxoByte ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "coinsPerUtxoByte" a) =>
  Lens.Family2.LensLike' f s a
coinsPerUtxoByte :: forall (f :: * -> *) s a.
(Functor f, HasField s "coinsPerUtxoByte" a) =>
LensLike' f s a
coinsPerUtxoByte = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"coinsPerUtxoByte"
collateral ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "collateral" a) =>
  Lens.Family2.LensLike' f s a
collateral :: forall (f :: * -> *) s a.
(Functor f, HasField s "collateral" a) =>
LensLike' f s a
collateral = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"collateral"
collateralPercentage ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "collateralPercentage" a) =>
  Lens.Family2.LensLike' f s a
collateralPercentage :: forall (f :: * -> *) s a.
(Functor f, HasField s "collateralPercentage" a) =>
LensLike' f s a
collateralPercentage
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"collateralPercentage"
collateralReturn ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "collateralReturn" a) =>
  Lens.Family2.LensLike' f s a
collateralReturn :: forall (f :: * -> *) s a.
(Functor f, HasField s "collateralReturn" a) =>
LensLike' f s a
collateralReturn = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"collateralReturn"
committee ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committee" a) =>
  Lens.Family2.LensLike' f s a
committee :: forall (f :: * -> *) s a.
(Functor f, HasField s "committee" a) =>
LensLike' f s a
committee = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committee"
committeeColdCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committeeColdCredential" a) =>
  Lens.Family2.LensLike' f s a
committeeColdCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "committeeColdCredential" a) =>
LensLike' f s a
committeeColdCredential
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committeeColdCredential"
committeeHotCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committeeHotCredential" a) =>
  Lens.Family2.LensLike' f s a
committeeHotCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "committeeHotCredential" a) =>
LensLike' f s a
committeeHotCredential
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committeeHotCredential"
committeeMaxTermLength ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committeeMaxTermLength" a) =>
  Lens.Family2.LensLike' f s a
committeeMaxTermLength :: forall (f :: * -> *) s a.
(Functor f, HasField s "committeeMaxTermLength" a) =>
LensLike' f s a
committeeMaxTermLength
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committeeMaxTermLength"
committeeMinSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committeeMinSize" a) =>
  Lens.Family2.LensLike' f s a
committeeMinSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "committeeMinSize" a) =>
LensLike' f s a
committeeMinSize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committeeMinSize"
committeeNoConfidence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committeeNoConfidence" a) =>
  Lens.Family2.LensLike' f s a
committeeNoConfidence :: forall (f :: * -> *) s a.
(Functor f, HasField s "committeeNoConfidence" a) =>
LensLike' f s a
committeeNoConfidence
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committeeNoConfidence"
committeeNormal ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committeeNormal" a) =>
  Lens.Family2.LensLike' f s a
committeeNormal :: forall (f :: * -> *) s a.
(Functor f, HasField s "committeeNormal" a) =>
LensLike' f s a
committeeNormal = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committeeNormal"
committeeTermLimit ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "committeeTermLimit" a) =>
  Lens.Family2.LensLike' f s a
committeeTermLimit :: forall (f :: * -> *) s a.
(Functor f, HasField s "committeeTermLimit" a) =>
LensLike' f s a
committeeTermLimit
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"committeeTermLimit"
constitution ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "constitution" a) =>
  Lens.Family2.LensLike' f s a
constitution :: forall (f :: * -> *) s a.
(Functor f, HasField s "constitution" a) =>
LensLike' f s a
constitution = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"constitution"
constr ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "constr" a) =>
  Lens.Family2.LensLike' f s a
constr :: forall (f :: * -> *) s a.
(Functor f, HasField s "constr" a) =>
LensLike' f s a
constr = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"constr"
consumes ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "consumes" a) =>
  Lens.Family2.LensLike' f s a
consumes :: forall (f :: * -> *) s a.
(Functor f, HasField s "consumes" a) =>
LensLike' f s a
consumes = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"consumes"
contentHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "contentHash" a) =>
  Lens.Family2.LensLike' f s a
contentHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "contentHash" a) =>
LensLike' f s a
contentHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"contentHash"
cost ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "cost" a) =>
  Lens.Family2.LensLike' f s a
cost :: forall (f :: * -> *) s a.
(Functor f, HasField s "cost" a) =>
LensLike' f s a
cost = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"cost"
costModels ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "costModels" a) =>
  Lens.Family2.LensLike' f s a
costModels :: forall (f :: * -> *) s a.
(Functor f, HasField s "costModels" a) =>
LensLike' f s a
costModels = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"costModels"
datum ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "datum" a) =>
  Lens.Family2.LensLike' f s a
datum :: forall (f :: * -> *) s a.
(Functor f, HasField s "datum" a) =>
LensLike' f s a
datum = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"datum"
delegate ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "delegate" a) =>
  Lens.Family2.LensLike' f s a
delegate :: forall (f :: * -> *) s a.
(Functor f, HasField s "delegate" a) =>
LensLike' f s a
delegate = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"delegate"
delegatePk ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "delegatePk" a) =>
  Lens.Family2.LensLike' f s a
delegatePk :: forall (f :: * -> *) s a.
(Functor f, HasField s "delegatePk" a) =>
LensLike' f s a
delegatePk = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"delegatePk"
delegationPart ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "delegationPart" a) =>
  Lens.Family2.LensLike' f s a
delegationPart :: forall (f :: * -> *) s a.
(Functor f, HasField s "delegationPart" a) =>
LensLike' f s a
delegationPart = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"delegationPart"
deltaCoin ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "deltaCoin" a) =>
  Lens.Family2.LensLike' f s a
deltaCoin :: forall (f :: * -> *) s a.
(Functor f, HasField s "deltaCoin" a) =>
LensLike' f s a
deltaCoin = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"deltaCoin"
denominator ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "denominator" a) =>
  Lens.Family2.LensLike' f s a
denominator :: forall (f :: * -> *) s a.
(Functor f, HasField s "denominator" a) =>
LensLike' f s a
denominator = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"denominator"
deposit ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "deposit" a) =>
  Lens.Family2.LensLike' f s a
deposit :: forall (f :: * -> *) s a.
(Functor f, HasField s "deposit" a) =>
LensLike' f s a
deposit = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"deposit"
desiredNumberOfPools ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "desiredNumberOfPools" a) =>
  Lens.Family2.LensLike' f s a
desiredNumberOfPools :: forall (f :: * -> *) s a.
(Functor f, HasField s "desiredNumberOfPools" a) =>
LensLike' f s a
desiredNumberOfPools
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"desiredNumberOfPools"
dnsName ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "dnsName" a) =>
  Lens.Family2.LensLike' f s a
dnsName :: forall (f :: * -> *) s a.
(Functor f, HasField s "dnsName" a) =>
LensLike' f s a
dnsName = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"dnsName"
drep ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "drep" a) =>
  Lens.Family2.LensLike' f s a
drep :: forall (f :: * -> *) s a.
(Functor f, HasField s "drep" a) =>
LensLike' f s a
drep = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"drep"
drepActivity ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "drepActivity" a) =>
  Lens.Family2.LensLike' f s a
drepActivity :: forall (f :: * -> *) s a.
(Functor f, HasField s "drepActivity" a) =>
LensLike' f s a
drepActivity = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"drepActivity"
drepCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "drepCredential" a) =>
  Lens.Family2.LensLike' f s a
drepCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "drepCredential" a) =>
LensLike' f s a
drepCredential = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"drepCredential"
drepDeposit ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "drepDeposit" a) =>
  Lens.Family2.LensLike' f s a
drepDeposit :: forall (f :: * -> *) s a.
(Functor f, HasField s "drepDeposit" a) =>
LensLike' f s a
drepDeposit = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"drepDeposit"
drepInactivityPeriod ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "drepInactivityPeriod" a) =>
  Lens.Family2.LensLike' f s a
drepInactivityPeriod :: forall (f :: * -> *) s a.
(Functor f, HasField s "drepInactivityPeriod" a) =>
LensLike' f s a
drepInactivityPeriod
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"drepInactivityPeriod"
drepVotingThresholds ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "drepVotingThresholds" a) =>
  Lens.Family2.LensLike' f s a
drepVotingThresholds :: forall (f :: * -> *) s a.
(Functor f, HasField s "drepVotingThresholds" a) =>
LensLike' f s a
drepVotingThresholds
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"drepVotingThresholds"
end ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "end" a) =>
  Lens.Family2.LensLike' f s a
end :: forall (f :: * -> *) s a.
(Functor f, HasField s "end" a) =>
LensLike' f s a
end = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"end"
epoch ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "epoch" a) =>
  Lens.Family2.LensLike' f s a
epoch :: forall (f :: * -> *) s a.
(Functor f, HasField s "epoch" a) =>
LensLike' f s a
epoch = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"epoch"
epochLength ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "epochLength" a) =>
  Lens.Family2.LensLike' f s a
epochLength :: forall (f :: * -> *) s a.
(Functor f, HasField s "epochLength" a) =>
LensLike' f s a
epochLength = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"epochLength"
errors ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "errors" a) =>
  Lens.Family2.LensLike' f s a
errors :: forall (f :: * -> *) s a.
(Functor f, HasField s "errors" a) =>
LensLike' f s a
errors = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"errors"
exUnits ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "exUnits" a) =>
  Lens.Family2.LensLike' f s a
exUnits :: forall (f :: * -> *) s a.
(Functor f, HasField s "exUnits" a) =>
LensLike' f s a
exUnits = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"exUnits"
exactAddress ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "exactAddress" a) =>
  Lens.Family2.LensLike' f s a
exactAddress :: forall (f :: * -> *) s a.
(Functor f, HasField s "exactAddress" a) =>
LensLike' f s a
exactAddress = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"exactAddress"
executionPrices ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "executionPrices" a) =>
  Lens.Family2.LensLike' f s a
executionPrices :: forall (f :: * -> *) s a.
(Functor f, HasField s "executionPrices" a) =>
LensLike' f s a
executionPrices = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"executionPrices"
expiresEpoch ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "expiresEpoch" a) =>
  Lens.Family2.LensLike' f s a
expiresEpoch :: forall (f :: * -> *) s a.
(Functor f, HasField s "expiresEpoch" a) =>
LensLike' f s a
expiresEpoch = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"expiresEpoch"
expiryEpoch ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "expiryEpoch" a) =>
  Lens.Family2.LensLike' f s a
expiryEpoch :: forall (f :: * -> *) s a.
(Functor f, HasField s "expiryEpoch" a) =>
LensLike' f s a
expiryEpoch = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"expiryEpoch"
fee ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "fee" a) =>
  Lens.Family2.LensLike' f s a
fee :: forall (f :: * -> *) s a.
(Functor f, HasField s "fee" a) =>
LensLike' f s a
fee = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"fee"
fields ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "fields" a) =>
  Lens.Family2.LensLike' f s a
fields :: forall (f :: * -> *) s a.
(Functor f, HasField s "fields" a) =>
LensLike' f s a
fields = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"fields"
from ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "from" a) =>
  Lens.Family2.LensLike' f s a
from :: forall (f :: * -> *) s a.
(Functor f, HasField s "from" a) =>
LensLike' f s a
from = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"from"
ftsSeed ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "ftsSeed" a) =>
  Lens.Family2.LensLike' f s a
ftsSeed :: forall (f :: * -> *) s a.
(Functor f, HasField s "ftsSeed" a) =>
LensLike' f s a
ftsSeed = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ftsSeed"
genDelegs ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "genDelegs" a) =>
  Lens.Family2.LensLike' f s a
genDelegs :: forall (f :: * -> *) s a.
(Functor f, HasField s "genDelegs" a) =>
LensLike' f s a
genDelegs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"genDelegs"
genesisDelegateHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "genesisDelegateHash" a) =>
  Lens.Family2.LensLike' f s a
genesisDelegateHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "genesisDelegateHash" a) =>
LensLike' f s a
genesisDelegateHash
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"genesisDelegateHash"
genesisHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "genesisHash" a) =>
  Lens.Family2.LensLike' f s a
genesisHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "genesisHash" a) =>
LensLike' f s a
genesisHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"genesisHash"
genesisKeyDelegation ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "genesisKeyDelegation" a) =>
  Lens.Family2.LensLike' f s a
genesisKeyDelegation :: forall (f :: * -> *) s a.
(Functor f, HasField s "genesisKeyDelegation" a) =>
LensLike' f s a
genesisKeyDelegation
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"genesisKeyDelegation"
govAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "govAction" a) =>
  Lens.Family2.LensLike' f s a
govAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "govAction" a) =>
LensLike' f s a
govAction = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"govAction"
govActionDeposit ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "govActionDeposit" a) =>
  Lens.Family2.LensLike' f s a
govActionDeposit :: forall (f :: * -> *) s a.
(Functor f, HasField s "govActionDeposit" a) =>
LensLike' f s a
govActionDeposit = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"govActionDeposit"
govActionId ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "govActionId" a) =>
  Lens.Family2.LensLike' f s a
govActionId :: forall (f :: * -> *) s a.
(Functor f, HasField s "govActionId" a) =>
LensLike' f s a
govActionId = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"govActionId"
govActionLifetime ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "govActionLifetime" a) =>
  Lens.Family2.LensLike' f s a
govActionLifetime :: forall (f :: * -> *) s a.
(Functor f, HasField s "govActionLifetime" a) =>
LensLike' f s a
govActionLifetime = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"govActionLifetime"
governanceActionDeposit ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "governanceActionDeposit" a) =>
  Lens.Family2.LensLike' f s a
governanceActionDeposit :: forall (f :: * -> *) s a.
(Functor f, HasField s "governanceActionDeposit" a) =>
LensLike' f s a
governanceActionDeposit
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"governanceActionDeposit"
governanceActionIndex ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "governanceActionIndex" a) =>
  Lens.Family2.LensLike' f s a
governanceActionIndex :: forall (f :: * -> *) s a.
(Functor f, HasField s "governanceActionIndex" a) =>
LensLike' f s a
governanceActionIndex
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"governanceActionIndex"
governanceActionValidityPeriod ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "governanceActionValidityPeriod" a) =>
  Lens.Family2.LensLike' f s a
governanceActionValidityPeriod :: forall (f :: * -> *) s a.
(Functor f, HasField s "governanceActionValidityPeriod" a) =>
LensLike' f s a
governanceActionValidityPeriod
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"governanceActionValidityPeriod"
hardForkInitiation ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "hardForkInitiation" a) =>
  Lens.Family2.LensLike' f s a
hardForkInitiation :: forall (f :: * -> *) s a.
(Functor f, HasField s "hardForkInitiation" a) =>
LensLike' f s a
hardForkInitiation
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"hardForkInitiation"
hardForkInitiationAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "hardForkInitiationAction" a) =>
  Lens.Family2.LensLike' f s a
hardForkInitiationAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "hardForkInitiationAction" a) =>
LensLike' f s a
hardForkInitiationAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"hardForkInitiationAction"
hasAddress ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "hasAddress" a) =>
  Lens.Family2.LensLike' f s a
hasAddress :: forall (f :: * -> *) s a.
(Functor f, HasField s "hasAddress" a) =>
LensLike' f s a
hasAddress = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"hasAddress"
hash ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "hash" a) =>
  Lens.Family2.LensLike' f s a
hash :: forall (f :: * -> *) s a.
(Functor f, HasField s "hash" a) =>
LensLike' f s a
hash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"hash"
header ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "header" a) =>
  Lens.Family2.LensLike' f s a
header :: forall (f :: * -> *) s a.
(Functor f, HasField s "header" a) =>
LensLike' f s a
header = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"header"
heavyDelThd ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "heavyDelThd" a) =>
  Lens.Family2.LensLike' f s a
heavyDelThd :: forall (f :: * -> *) s a.
(Functor f, HasField s "heavyDelThd" a) =>
LensLike' f s a
heavyDelThd = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"heavyDelThd"
heavyDelegation ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "heavyDelegation" a) =>
  Lens.Family2.LensLike' f s a
heavyDelegation :: forall (f :: * -> *) s a.
(Functor f, HasField s "heavyDelegation" a) =>
LensLike' f s a
heavyDelegation = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"heavyDelegation"
height ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "height" a) =>
  Lens.Family2.LensLike' f s a
height :: forall (f :: * -> *) s a.
(Functor f, HasField s "height" a) =>
LensLike' f s a
height = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"height"
index ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "index" a) =>
  Lens.Family2.LensLike' f s a
index :: forall (f :: * -> *) s a.
(Functor f, HasField s "index" a) =>
LensLike' f s a
index = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"index"
infoAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "infoAction" a) =>
  Lens.Family2.LensLike' f s a
infoAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "infoAction" a) =>
LensLike' f s a
infoAction = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"infoAction"
initThd ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "initThd" a) =>
  Lens.Family2.LensLike' f s a
initThd :: forall (f :: * -> *) s a.
(Functor f, HasField s "initThd" a) =>
LensLike' f s a
initThd = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"initThd"
initialFunds ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "initialFunds" a) =>
  Lens.Family2.LensLike' f s a
initialFunds :: forall (f :: * -> *) s a.
(Functor f, HasField s "initialFunds" a) =>
LensLike' f s a
initialFunds = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"initialFunds"
inputs ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "inputs" a) =>
  Lens.Family2.LensLike' f s a
inputs :: forall (f :: * -> *) s a.
(Functor f, HasField s "inputs" a) =>
LensLike' f s a
inputs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"inputs"
int ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "int" a) =>
  Lens.Family2.LensLike' f s a
int :: forall (f :: * -> *) s a.
(Functor f, HasField s "int" a) =>
LensLike' f s a
int = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"int"
invalidBefore ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "invalidBefore" a) =>
  Lens.Family2.LensLike' f s a
invalidBefore :: forall (f :: * -> *) s a.
(Functor f, HasField s "invalidBefore" a) =>
LensLike' f s a
invalidBefore = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"invalidBefore"
invalidHereafter ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "invalidHereafter" a) =>
  Lens.Family2.LensLike' f s a
invalidHereafter :: forall (f :: * -> *) s a.
(Functor f, HasField s "invalidHereafter" a) =>
LensLike' f s a
invalidHereafter = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"invalidHereafter"
ipV4 ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "ipV4" a) =>
  Lens.Family2.LensLike' f s a
ipV4 :: forall (f :: * -> *) s a.
(Functor f, HasField s "ipV4" a) =>
LensLike' f s a
ipV4 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ipV4"
ipV6 ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "ipV6" a) =>
  Lens.Family2.LensLike' f s a
ipV6 :: forall (f :: * -> *) s a.
(Functor f, HasField s "ipV6" a) =>
LensLike' f s a
ipV6 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ipV6"
issuerPk ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "issuerPk" a) =>
  Lens.Family2.LensLike' f s a
issuerPk :: forall (f :: * -> *) s a.
(Functor f, HasField s "issuerPk" a) =>
LensLike' f s a
issuerPk = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"issuerPk"
items ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "items" a) =>
  Lens.Family2.LensLike' f s a
items :: forall (f :: * -> *) s a.
(Functor f, HasField s "items" a) =>
LensLike' f s a
items = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"items"
k ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "k" a) =>
  Lens.Family2.LensLike' f s a
k :: forall (f :: * -> *) s a.
(Functor f, HasField s "k" a) =>
LensLike' f s a
k = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"k"
key ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "key" a) =>
  Lens.Family2.LensLike' f s a
key :: forall (f :: * -> *) s a.
(Functor f, HasField s "key" a) =>
LensLike' f s a
key = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"key"
label ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "label" a) =>
  Lens.Family2.LensLike' f s a
label :: forall (f :: * -> *) s a.
(Functor f, HasField s "label" a) =>
LensLike' f s a
label = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"label"
lovelacePerUtxoWord ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "lovelacePerUtxoWord" a) =>
  Lens.Family2.LensLike' f s a
lovelacePerUtxoWord :: forall (f :: * -> *) s a.
(Functor f, HasField s "lovelacePerUtxoWord" a) =>
LensLike' f s a
lovelacePerUtxoWord
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"lovelacePerUtxoWord"
major ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "major" a) =>
  Lens.Family2.LensLike' f s a
major :: forall (f :: * -> *) s a.
(Functor f, HasField s "major" a) =>
LensLike' f s a
major = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"major"
map ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "map" a) =>
  Lens.Family2.LensLike' f s a
map :: forall (f :: * -> *) s a.
(Functor f, HasField s "map" a) =>
LensLike' f s a
map = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"map"
margin ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "margin" a) =>
  Lens.Family2.LensLike' f s a
margin :: forall (f :: * -> *) s a.
(Functor f, HasField s "margin" a) =>
LensLike' f s a
margin = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"margin"
maxBlockBodySize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxBlockBodySize" a) =>
  Lens.Family2.LensLike' f s a
maxBlockBodySize :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxBlockBodySize" a) =>
LensLike' f s a
maxBlockBodySize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxBlockBodySize"
maxBlockExUnits ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxBlockExUnits" a) =>
  Lens.Family2.LensLike' f s a
maxBlockExUnits :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxBlockExUnits" a) =>
LensLike' f s a
maxBlockExUnits = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxBlockExUnits"
maxBlockHeaderSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxBlockHeaderSize" a) =>
  Lens.Family2.LensLike' f s a
maxBlockHeaderSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxBlockHeaderSize" a) =>
LensLike' f s a
maxBlockHeaderSize
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxBlockHeaderSize"
maxBlockSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxBlockSize" a) =>
  Lens.Family2.LensLike' f s a
maxBlockSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxBlockSize" a) =>
LensLike' f s a
maxBlockSize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxBlockSize"
maxCollateralInputs ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxCollateralInputs" a) =>
  Lens.Family2.LensLike' f s a
maxCollateralInputs :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxCollateralInputs" a) =>
LensLike' f s a
maxCollateralInputs
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxCollateralInputs"
maxExecutionUnitsPerBlock ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxExecutionUnitsPerBlock" a) =>
  Lens.Family2.LensLike' f s a
maxExecutionUnitsPerBlock :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxExecutionUnitsPerBlock" a) =>
LensLike' f s a
maxExecutionUnitsPerBlock
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxExecutionUnitsPerBlock"
maxExecutionUnitsPerTransaction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxExecutionUnitsPerTransaction" a) =>
  Lens.Family2.LensLike' f s a
maxExecutionUnitsPerTransaction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxExecutionUnitsPerTransaction" a) =>
LensLike' f s a
maxExecutionUnitsPerTransaction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxExecutionUnitsPerTransaction"
maxHeaderSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxHeaderSize" a) =>
  Lens.Family2.LensLike' f s a
maxHeaderSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxHeaderSize" a) =>
LensLike' f s a
maxHeaderSize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxHeaderSize"
maxKesEvolutions ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxKesEvolutions" a) =>
  Lens.Family2.LensLike' f s a
maxKesEvolutions :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxKesEvolutions" a) =>
LensLike' f s a
maxKesEvolutions = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxKesEvolutions"
maxLovelaceSupply ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxLovelaceSupply" a) =>
  Lens.Family2.LensLike' f s a
maxLovelaceSupply :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxLovelaceSupply" a) =>
LensLike' f s a
maxLovelaceSupply = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxLovelaceSupply"
maxProposalSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxProposalSize" a) =>
  Lens.Family2.LensLike' f s a
maxProposalSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxProposalSize" a) =>
LensLike' f s a
maxProposalSize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxProposalSize"
maxTxExUnits ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxTxExUnits" a) =>
  Lens.Family2.LensLike' f s a
maxTxExUnits :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxTxExUnits" a) =>
LensLike' f s a
maxTxExUnits = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxTxExUnits"
maxTxSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxTxSize" a) =>
  Lens.Family2.LensLike' f s a
maxTxSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxTxSize" a) =>
LensLike' f s a
maxTxSize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxTxSize"
maxValueSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maxValueSize" a) =>
  Lens.Family2.LensLike' f s a
maxValueSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "maxValueSize" a) =>
LensLike' f s a
maxValueSize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maxValueSize"
maybe'abstain ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'abstain" a) =>
  Lens.Family2.LensLike' f s a
maybe'abstain :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'abstain" a) =>
LensLike' f s a
maybe'abstain = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'abstain"
maybe'activeSlotsCoeff ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'activeSlotsCoeff" a) =>
  Lens.Family2.LensLike' f s a
maybe'activeSlotsCoeff :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'activeSlotsCoeff" a) =>
LensLike' f s a
maybe'activeSlotsCoeff
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'activeSlotsCoeff"
maybe'addrKeyHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'addrKeyHash" a) =>
  Lens.Family2.LensLike' f s a
maybe'addrKeyHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'addrKeyHash" a) =>
LensLike' f s a
maybe'addrKeyHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'addrKeyHash"
maybe'address ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'address" a) =>
  Lens.Family2.LensLike' f s a
maybe'address :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'address" a) =>
LensLike' f s a
maybe'address = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'address"
maybe'anchor ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'anchor" a) =>
  Lens.Family2.LensLike' f s a
maybe'anchor :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'anchor" a) =>
LensLike' f s a
maybe'anchor = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'anchor"
maybe'array ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'array" a) =>
  Lens.Family2.LensLike' f s a
maybe'array :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'array" a) =>
LensLike' f s a
maybe'array = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'array"
maybe'asOutput ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'asOutput" a) =>
  Lens.Family2.LensLike' f s a
maybe'asOutput :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'asOutput" a) =>
LensLike' f s a
maybe'asOutput = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'asOutput"
maybe'asset ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'asset" a) =>
  Lens.Family2.LensLike' f s a
maybe'asset :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'asset" a) =>
LensLike' f s a
maybe'asset = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'asset"
maybe'authCommitteeHotCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'authCommitteeHotCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'authCommitteeHotCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'authCommitteeHotCert" a) =>
LensLike' f s a
maybe'authCommitteeHotCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'authCommitteeHotCert"
maybe'auxiliary ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'auxiliary" a) =>
  Lens.Family2.LensLike' f s a
maybe'auxiliary :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'auxiliary" a) =>
LensLike' f s a
maybe'auxiliary = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'auxiliary"
maybe'bigInt ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'bigInt" a) =>
  Lens.Family2.LensLike' f s a
maybe'bigInt :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'bigInt" a) =>
LensLike' f s a
maybe'bigInt = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'bigInt"
maybe'bigNInt ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'bigNInt" a) =>
  Lens.Family2.LensLike' f s a
maybe'bigNInt :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'bigNInt" a) =>
LensLike' f s a
maybe'bigNInt = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'bigNInt"
maybe'bigUInt ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'bigUInt" a) =>
  Lens.Family2.LensLike' f s a
maybe'bigUInt :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'bigUInt" a) =>
LensLike' f s a
maybe'bigUInt = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'bigUInt"
maybe'blockVersionData ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'blockVersionData" a) =>
  Lens.Family2.LensLike' f s a
maybe'blockVersionData :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'blockVersionData" a) =>
LensLike' f s a
maybe'blockVersionData
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'blockVersionData"
maybe'body ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'body" a) =>
  Lens.Family2.LensLike' f s a
maybe'body :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'body" a) =>
LensLike' f s a
maybe'body = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'body"
maybe'boundedBytes ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'boundedBytes" a) =>
  Lens.Family2.LensLike' f s a
maybe'boundedBytes :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'boundedBytes" a) =>
LensLike' f s a
maybe'boundedBytes
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'boundedBytes"
maybe'bytes ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'bytes" a) =>
  Lens.Family2.LensLike' f s a
maybe'bytes :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'bytes" a) =>
LensLike' f s a
maybe'bytes = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'bytes"
maybe'certificate ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'certificate" a) =>
  Lens.Family2.LensLike' f s a
maybe'certificate :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'certificate" a) =>
LensLike' f s a
maybe'certificate = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'certificate"
maybe'collateral ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'collateral" a) =>
  Lens.Family2.LensLike' f s a
maybe'collateral :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'collateral" a) =>
LensLike' f s a
maybe'collateral = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'collateral"
maybe'collateralReturn ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'collateralReturn" a) =>
  Lens.Family2.LensLike' f s a
maybe'collateralReturn :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'collateralReturn" a) =>
LensLike' f s a
maybe'collateralReturn
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'collateralReturn"
maybe'committee ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'committee" a) =>
  Lens.Family2.LensLike' f s a
maybe'committee :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'committee" a) =>
LensLike' f s a
maybe'committee = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'committee"
maybe'committeeColdCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'committeeColdCredential" a) =>
  Lens.Family2.LensLike' f s a
maybe'committeeColdCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'committeeColdCredential" a) =>
LensLike' f s a
maybe'committeeColdCredential
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'committeeColdCredential"
maybe'committeeHotCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'committeeHotCredential" a) =>
  Lens.Family2.LensLike' f s a
maybe'committeeHotCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'committeeHotCredential" a) =>
LensLike' f s a
maybe'committeeHotCredential
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'committeeHotCredential"
maybe'committeeNoConfidence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'committeeNoConfidence" a) =>
  Lens.Family2.LensLike' f s a
maybe'committeeNoConfidence :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'committeeNoConfidence" a) =>
LensLike' f s a
maybe'committeeNoConfidence
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'committeeNoConfidence"
maybe'committeeNormal ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'committeeNormal" a) =>
  Lens.Family2.LensLike' f s a
maybe'committeeNormal :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'committeeNormal" a) =>
LensLike' f s a
maybe'committeeNormal
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'committeeNormal"
maybe'constitution ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'constitution" a) =>
  Lens.Family2.LensLike' f s a
maybe'constitution :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'constitution" a) =>
LensLike' f s a
maybe'constitution
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'constitution"
maybe'constr ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'constr" a) =>
  Lens.Family2.LensLike' f s a
maybe'constr :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'constr" a) =>
LensLike' f s a
maybe'constr = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'constr"
maybe'consumes ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'consumes" a) =>
  Lens.Family2.LensLike' f s a
maybe'consumes :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'consumes" a) =>
LensLike' f s a
maybe'consumes = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'consumes"
maybe'costModels ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'costModels" a) =>
  Lens.Family2.LensLike' f s a
maybe'costModels :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'costModels" a) =>
LensLike' f s a
maybe'costModels = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'costModels"
maybe'datum ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'datum" a) =>
  Lens.Family2.LensLike' f s a
maybe'datum :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'datum" a) =>
LensLike' f s a
maybe'datum = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'datum"
maybe'drep ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'drep" a) =>
  Lens.Family2.LensLike' f s a
maybe'drep :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'drep" a) =>
LensLike' f s a
maybe'drep = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'drep"
maybe'drepCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'drepCredential" a) =>
  Lens.Family2.LensLike' f s a
maybe'drepCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'drepCredential" a) =>
LensLike' f s a
maybe'drepCredential
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'drepCredential"
maybe'drepVotingThresholds ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'drepVotingThresholds" a) =>
  Lens.Family2.LensLike' f s a
maybe'drepVotingThresholds :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'drepVotingThresholds" a) =>
LensLike' f s a
maybe'drepVotingThresholds
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'drepVotingThresholds"
maybe'end ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'end" a) =>
  Lens.Family2.LensLike' f s a
maybe'end :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'end" a) =>
LensLike' f s a
maybe'end = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'end"
maybe'exUnits ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'exUnits" a) =>
  Lens.Family2.LensLike' f s a
maybe'exUnits :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'exUnits" a) =>
LensLike' f s a
maybe'exUnits = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'exUnits"
maybe'executionPrices ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'executionPrices" a) =>
  Lens.Family2.LensLike' f s a
maybe'executionPrices :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'executionPrices" a) =>
LensLike' f s a
maybe'executionPrices
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'executionPrices"
maybe'genesisKeyDelegation ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'genesisKeyDelegation" a) =>
  Lens.Family2.LensLike' f s a
maybe'genesisKeyDelegation :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'genesisKeyDelegation" a) =>
LensLike' f s a
maybe'genesisKeyDelegation
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'genesisKeyDelegation"
maybe'govAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'govAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'govAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'govAction" a) =>
LensLike' f s a
maybe'govAction = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'govAction"
maybe'govActionId ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'govActionId" a) =>
  Lens.Family2.LensLike' f s a
maybe'govActionId :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'govActionId" a) =>
LensLike' f s a
maybe'govActionId = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'govActionId"
maybe'governanceAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'governanceAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'governanceAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'governanceAction" a) =>
LensLike' f s a
maybe'governanceAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'governanceAction"
maybe'hardForkInitiation ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'hardForkInitiation" a) =>
  Lens.Family2.LensLike' f s a
maybe'hardForkInitiation :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'hardForkInitiation" a) =>
LensLike' f s a
maybe'hardForkInitiation
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'hardForkInitiation"
maybe'hardForkInitiationAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'hardForkInitiationAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'hardForkInitiationAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'hardForkInitiationAction" a) =>
LensLike' f s a
maybe'hardForkInitiationAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'hardForkInitiationAction"
maybe'hasAddress ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'hasAddress" a) =>
  Lens.Family2.LensLike' f s a
maybe'hasAddress :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'hasAddress" a) =>
LensLike' f s a
maybe'hasAddress = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'hasAddress"
maybe'header ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'header" a) =>
  Lens.Family2.LensLike' f s a
maybe'header :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'header" a) =>
LensLike' f s a
maybe'header = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'header"
maybe'infoAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'infoAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'infoAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'infoAction" a) =>
LensLike' f s a
maybe'infoAction = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'infoAction"
maybe'int ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'int" a) =>
  Lens.Family2.LensLike' f s a
maybe'int :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'int" a) =>
LensLike' f s a
maybe'int = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'int"
maybe'invalidBefore ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'invalidBefore" a) =>
  Lens.Family2.LensLike' f s a
maybe'invalidBefore :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'invalidBefore" a) =>
LensLike' f s a
maybe'invalidBefore
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'invalidBefore"
maybe'invalidHereafter ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'invalidHereafter" a) =>
  Lens.Family2.LensLike' f s a
maybe'invalidHereafter :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'invalidHereafter" a) =>
LensLike' f s a
maybe'invalidHereafter
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'invalidHereafter"
maybe'key ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'key" a) =>
  Lens.Family2.LensLike' f s a
maybe'key :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'key" a) =>
LensLike' f s a
maybe'key = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'key"
maybe'map ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'map" a) =>
  Lens.Family2.LensLike' f s a
maybe'map :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'map" a) =>
LensLike' f s a
maybe'map = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'map"
maybe'margin ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'margin" a) =>
  Lens.Family2.LensLike' f s a
maybe'margin :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'margin" a) =>
LensLike' f s a
maybe'margin = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'margin"
maybe'maxBlockExUnits ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'maxBlockExUnits" a) =>
  Lens.Family2.LensLike' f s a
maybe'maxBlockExUnits :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'maxBlockExUnits" a) =>
LensLike' f s a
maybe'maxBlockExUnits
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'maxBlockExUnits"
maybe'maxExecutionUnitsPerBlock ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'maxExecutionUnitsPerBlock" a) =>
  Lens.Family2.LensLike' f s a
maybe'maxExecutionUnitsPerBlock :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'maxExecutionUnitsPerBlock" a) =>
LensLike' f s a
maybe'maxExecutionUnitsPerBlock
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'maxExecutionUnitsPerBlock"
maybe'maxExecutionUnitsPerTransaction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'maxExecutionUnitsPerTransaction" a) =>
  Lens.Family2.LensLike' f s a
maybe'maxExecutionUnitsPerTransaction :: forall (f :: * -> *) s a.
(Functor f,
 HasField s "maybe'maxExecutionUnitsPerTransaction" a) =>
LensLike' f s a
maybe'maxExecutionUnitsPerTransaction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field
      @"maybe'maxExecutionUnitsPerTransaction"
maybe'maxTxExUnits ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'maxTxExUnits" a) =>
  Lens.Family2.LensLike' f s a
maybe'maxTxExUnits :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'maxTxExUnits" a) =>
LensLike' f s a
maybe'maxTxExUnits
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'maxTxExUnits"
maybe'memory ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'memory" a) =>
  Lens.Family2.LensLike' f s a
maybe'memory :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'memory" a) =>
LensLike' f s a
maybe'memory = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'memory"
maybe'metadatum ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'metadatum" a) =>
  Lens.Family2.LensLike' f s a
maybe'metadatum :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'metadatum" a) =>
LensLike' f s a
maybe'metadatum = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'metadatum"
maybe'minFeeRefScriptCostPerByte ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'minFeeRefScriptCostPerByte" a) =>
  Lens.Family2.LensLike' f s a
maybe'minFeeRefScriptCostPerByte :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'minFeeRefScriptCostPerByte" a) =>
LensLike' f s a
maybe'minFeeRefScriptCostPerByte
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'minFeeRefScriptCostPerByte"
maybe'minFeeScriptRefCostPerByte ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'minFeeScriptRefCostPerByte" a) =>
  Lens.Family2.LensLike' f s a
maybe'minFeeScriptRefCostPerByte :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'minFeeScriptRefCostPerByte" a) =>
LensLike' f s a
maybe'minFeeScriptRefCostPerByte
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'minFeeScriptRefCostPerByte"
maybe'mintsAsset ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'mintsAsset" a) =>
  Lens.Family2.LensLike' f s a
maybe'mintsAsset :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'mintsAsset" a) =>
LensLike' f s a
maybe'mintsAsset = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'mintsAsset"
maybe'mirCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'mirCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'mirCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'mirCert" a) =>
LensLike' f s a
maybe'mirCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'mirCert"
maybe'monetaryExpansion ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'monetaryExpansion" a) =>
  Lens.Family2.LensLike' f s a
maybe'monetaryExpansion :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'monetaryExpansion" a) =>
LensLike' f s a
maybe'monetaryExpansion
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'monetaryExpansion"
maybe'motionNoConfidence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'motionNoConfidence" a) =>
  Lens.Family2.LensLike' f s a
maybe'motionNoConfidence :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'motionNoConfidence" a) =>
LensLike' f s a
maybe'motionNoConfidence
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'motionNoConfidence"
maybe'movesAsset ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'movesAsset" a) =>
  Lens.Family2.LensLike' f s a
maybe'movesAsset :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'movesAsset" a) =>
LensLike' f s a
maybe'movesAsset = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'movesAsset"
maybe'native ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'native" a) =>
  Lens.Family2.LensLike' f s a
maybe'native :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'native" a) =>
LensLike' f s a
maybe'native = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'native"
maybe'nativeScript ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'nativeScript" a) =>
  Lens.Family2.LensLike' f s a
maybe'nativeScript :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'nativeScript" a) =>
LensLike' f s a
maybe'nativeScript
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'nativeScript"
maybe'newCommitteeThreshold ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'newCommitteeThreshold" a) =>
  Lens.Family2.LensLike' f s a
maybe'newCommitteeThreshold :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'newCommitteeThreshold" a) =>
LensLike' f s a
maybe'newCommitteeThreshold
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'newCommitteeThreshold"
maybe'newConstitutionAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'newConstitutionAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'newConstitutionAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'newConstitutionAction" a) =>
LensLike' f s a
maybe'newConstitutionAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'newConstitutionAction"
maybe'noConfidence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'noConfidence" a) =>
  Lens.Family2.LensLike' f s a
maybe'noConfidence :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'noConfidence" a) =>
LensLike' f s a
maybe'noConfidence
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'noConfidence"
maybe'noConfidenceAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'noConfidenceAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'noConfidenceAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'noConfidenceAction" a) =>
LensLike' f s a
maybe'noConfidenceAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'noConfidenceAction"
maybe'parameterChangeAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'parameterChangeAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'parameterChangeAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'parameterChangeAction" a) =>
LensLike' f s a
maybe'parameterChangeAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'parameterChangeAction"
maybe'payload ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'payload" a) =>
  Lens.Family2.LensLike' f s a
maybe'payload :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'payload" a) =>
LensLike' f s a
maybe'payload = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'payload"
maybe'plutusData ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'plutusData" a) =>
  Lens.Family2.LensLike' f s a
maybe'plutusData :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'plutusData" a) =>
LensLike' f s a
maybe'plutusData = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'plutusData"
maybe'plutusV1 ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'plutusV1" a) =>
  Lens.Family2.LensLike' f s a
maybe'plutusV1 :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'plutusV1" a) =>
LensLike' f s a
maybe'plutusV1 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'plutusV1"
maybe'plutusV2 ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'plutusV2" a) =>
  Lens.Family2.LensLike' f s a
maybe'plutusV2 :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'plutusV2" a) =>
LensLike' f s a
maybe'plutusV2 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'plutusV2"
maybe'plutusV3 ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'plutusV3" a) =>
  Lens.Family2.LensLike' f s a
maybe'plutusV3 :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'plutusV3" a) =>
LensLike' f s a
maybe'plutusV3 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'plutusV3"
maybe'poolInfluence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'poolInfluence" a) =>
  Lens.Family2.LensLike' f s a
maybe'poolInfluence :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'poolInfluence" a) =>
LensLike' f s a
maybe'poolInfluence
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'poolInfluence"
maybe'poolMetadata ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'poolMetadata" a) =>
  Lens.Family2.LensLike' f s a
maybe'poolMetadata :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'poolMetadata" a) =>
LensLike' f s a
maybe'poolMetadata
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'poolMetadata"
maybe'poolRegistration ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'poolRegistration" a) =>
  Lens.Family2.LensLike' f s a
maybe'poolRegistration :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'poolRegistration" a) =>
LensLike' f s a
maybe'poolRegistration
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'poolRegistration"
maybe'poolRetirement ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'poolRetirement" a) =>
  Lens.Family2.LensLike' f s a
maybe'poolRetirement :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'poolRetirement" a) =>
LensLike' f s a
maybe'poolRetirement
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'poolRetirement"
maybe'poolVotingThresholds ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'poolVotingThresholds" a) =>
  Lens.Family2.LensLike' f s a
maybe'poolVotingThresholds :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'poolVotingThresholds" a) =>
LensLike' f s a
maybe'poolVotingThresholds
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'poolVotingThresholds"
maybe'ppEconomicGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'ppEconomicGroup" a) =>
  Lens.Family2.LensLike' f s a
maybe'ppEconomicGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'ppEconomicGroup" a) =>
LensLike' f s a
maybe'ppEconomicGroup
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'ppEconomicGroup"
maybe'ppGovGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'ppGovGroup" a) =>
  Lens.Family2.LensLike' f s a
maybe'ppGovGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'ppGovGroup" a) =>
LensLike' f s a
maybe'ppGovGroup = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'ppGovGroup"
maybe'ppNetworkGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'ppNetworkGroup" a) =>
  Lens.Family2.LensLike' f s a
maybe'ppNetworkGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'ppNetworkGroup" a) =>
LensLike' f s a
maybe'ppNetworkGroup
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'ppNetworkGroup"
maybe'ppSecurityGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'ppSecurityGroup" a) =>
  Lens.Family2.LensLike' f s a
maybe'ppSecurityGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'ppSecurityGroup" a) =>
LensLike' f s a
maybe'ppSecurityGroup
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'ppSecurityGroup"
maybe'ppTechnicalGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'ppTechnicalGroup" a) =>
  Lens.Family2.LensLike' f s a
maybe'ppTechnicalGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'ppTechnicalGroup" a) =>
LensLike' f s a
maybe'ppTechnicalGroup
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'ppTechnicalGroup"
maybe'prices ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'prices" a) =>
  Lens.Family2.LensLike' f s a
maybe'prices :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'prices" a) =>
LensLike' f s a
maybe'prices = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'prices"
maybe'produces ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'produces" a) =>
  Lens.Family2.LensLike' f s a
maybe'produces :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'produces" a) =>
LensLike' f s a
maybe'produces = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'produces"
maybe'protocolConsts ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'protocolConsts" a) =>
  Lens.Family2.LensLike' f s a
maybe'protocolConsts :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'protocolConsts" a) =>
LensLike' f s a
maybe'protocolConsts
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'protocolConsts"
maybe'protocolParamUpdate ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'protocolParamUpdate" a) =>
  Lens.Family2.LensLike' f s a
maybe'protocolParamUpdate :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'protocolParamUpdate" a) =>
LensLike' f s a
maybe'protocolParamUpdate
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'protocolParamUpdate"
maybe'protocolParams ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'protocolParams" a) =>
  Lens.Family2.LensLike' f s a
maybe'protocolParams :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'protocolParams" a) =>
LensLike' f s a
maybe'protocolParams
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'protocolParams"
maybe'protocolVersion ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'protocolVersion" a) =>
  Lens.Family2.LensLike' f s a
maybe'protocolVersion :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'protocolVersion" a) =>
LensLike' f s a
maybe'protocolVersion
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'protocolVersion"
maybe'redeemer ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'redeemer" a) =>
  Lens.Family2.LensLike' f s a
maybe'redeemer :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'redeemer" a) =>
LensLike' f s a
maybe'redeemer = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'redeemer"
maybe'regCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'regCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'regCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'regCert" a) =>
LensLike' f s a
maybe'regCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'regCert"
maybe'regDrepCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'regDrepCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'regDrepCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'regDrepCert" a) =>
LensLike' f s a
maybe'regDrepCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'regDrepCert"
maybe'resignCommitteeColdCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'resignCommitteeColdCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'resignCommitteeColdCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'resignCommitteeColdCert" a) =>
LensLike' f s a
maybe'resignCommitteeColdCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'resignCommitteeColdCert"
maybe'script ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'script" a) =>
  Lens.Family2.LensLike' f s a
maybe'script :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'script" a) =>
LensLike' f s a
maybe'script = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'script"
maybe'scriptAll ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'scriptAll" a) =>
  Lens.Family2.LensLike' f s a
maybe'scriptAll :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'scriptAll" a) =>
LensLike' f s a
maybe'scriptAll = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'scriptAll"
maybe'scriptAny ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'scriptAny" a) =>
  Lens.Family2.LensLike' f s a
maybe'scriptAny :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'scriptAny" a) =>
LensLike' f s a
maybe'scriptAny = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'scriptAny"
maybe'scriptHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'scriptHash" a) =>
  Lens.Family2.LensLike' f s a
maybe'scriptHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'scriptHash" a) =>
LensLike' f s a
maybe'scriptHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'scriptHash"
maybe'scriptNOfK ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'scriptNOfK" a) =>
  Lens.Family2.LensLike' f s a
maybe'scriptNOfK :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'scriptNOfK" a) =>
LensLike' f s a
maybe'scriptNOfK = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'scriptNOfK"
maybe'scriptPubkey ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'scriptPubkey" a) =>
  Lens.Family2.LensLike' f s a
maybe'scriptPubkey :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'scriptPubkey" a) =>
LensLike' f s a
maybe'scriptPubkey
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'scriptPubkey"
maybe'softforkRule ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'softforkRule" a) =>
  Lens.Family2.LensLike' f s a
maybe'softforkRule :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'softforkRule" a) =>
LensLike' f s a
maybe'softforkRule
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'softforkRule"
maybe'stakeCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'stakeCredential" a) =>
  Lens.Family2.LensLike' f s a
maybe'stakeCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'stakeCredential" a) =>
LensLike' f s a
maybe'stakeCredential
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'stakeCredential"
maybe'stakeDelegation ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'stakeDelegation" a) =>
  Lens.Family2.LensLike' f s a
maybe'stakeDelegation :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'stakeDelegation" a) =>
LensLike' f s a
maybe'stakeDelegation
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'stakeDelegation"
maybe'stakeDeregistration ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'stakeDeregistration" a) =>
  Lens.Family2.LensLike' f s a
maybe'stakeDeregistration :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'stakeDeregistration" a) =>
LensLike' f s a
maybe'stakeDeregistration
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'stakeDeregistration"
maybe'stakeRegDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'stakeRegDelegCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'stakeRegDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'stakeRegDelegCert" a) =>
LensLike' f s a
maybe'stakeRegDelegCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'stakeRegDelegCert"
maybe'stakeRegistration ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'stakeRegistration" a) =>
  Lens.Family2.LensLike' f s a
maybe'stakeRegistration :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'stakeRegistration" a) =>
LensLike' f s a
maybe'stakeRegistration
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'stakeRegistration"
maybe'stakeVoteDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'stakeVoteDelegCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'stakeVoteDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'stakeVoteDelegCert" a) =>
LensLike' f s a
maybe'stakeVoteDelegCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'stakeVoteDelegCert"
maybe'stakeVoteRegDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'stakeVoteRegDelegCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'stakeVoteRegDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'stakeVoteRegDelegCert" a) =>
LensLike' f s a
maybe'stakeVoteRegDelegCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'stakeVoteRegDelegCert"
maybe'start ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'start" a) =>
  Lens.Family2.LensLike' f s a
maybe'start :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'start" a) =>
LensLike' f s a
maybe'start = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'start"
maybe'steps ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'steps" a) =>
  Lens.Family2.LensLike' f s a
maybe'steps :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'steps" a) =>
LensLike' f s a
maybe'steps = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'steps"
maybe'text ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'text" a) =>
  Lens.Family2.LensLike' f s a
maybe'text :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'text" a) =>
LensLike' f s a
maybe'text = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'text"
maybe'threshold ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'threshold" a) =>
  Lens.Family2.LensLike' f s a
maybe'threshold :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'threshold" a) =>
LensLike' f s a
maybe'threshold = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'threshold"
maybe'treasuryExpansion ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'treasuryExpansion" a) =>
  Lens.Family2.LensLike' f s a
maybe'treasuryExpansion :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'treasuryExpansion" a) =>
LensLike' f s a
maybe'treasuryExpansion
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'treasuryExpansion"
maybe'treasuryWithdrawal ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'treasuryWithdrawal" a) =>
  Lens.Family2.LensLike' f s a
maybe'treasuryWithdrawal :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'treasuryWithdrawal" a) =>
LensLike' f s a
maybe'treasuryWithdrawal
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'treasuryWithdrawal"
maybe'treasuryWithdrawalsAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'treasuryWithdrawalsAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'treasuryWithdrawalsAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'treasuryWithdrawalsAction" a) =>
LensLike' f s a
maybe'treasuryWithdrawalsAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'treasuryWithdrawalsAction"
maybe'txFeePolicy ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'txFeePolicy" a) =>
  Lens.Family2.LensLike' f s a
maybe'txFeePolicy :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'txFeePolicy" a) =>
LensLike' f s a
maybe'txFeePolicy = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'txFeePolicy"
maybe'unregCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'unregCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'unregCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'unregCert" a) =>
LensLike' f s a
maybe'unregCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'unregCert"
maybe'unregDrepCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'unregDrepCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'unregDrepCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'unregDrepCert" a) =>
LensLike' f s a
maybe'unregDrepCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'unregDrepCert"
maybe'updateCommitteeAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'updateCommitteeAction" a) =>
  Lens.Family2.LensLike' f s a
maybe'updateCommitteeAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'updateCommitteeAction" a) =>
LensLike' f s a
maybe'updateCommitteeAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'updateCommitteeAction"
maybe'updateDrepCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'updateDrepCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'updateDrepCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'updateDrepCert" a) =>
LensLike' f s a
maybe'updateDrepCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'updateDrepCert"
maybe'updateToConstitution ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'updateToConstitution" a) =>
  Lens.Family2.LensLike' f s a
maybe'updateToConstitution :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'updateToConstitution" a) =>
LensLike' f s a
maybe'updateToConstitution
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'updateToConstitution"
maybe'validity ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'validity" a) =>
  Lens.Family2.LensLike' f s a
maybe'validity :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'validity" a) =>
LensLike' f s a
maybe'validity = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'validity"
maybe'value ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'value" a) =>
  Lens.Family2.LensLike' f s a
maybe'value :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'value" a) =>
LensLike' f s a
maybe'value = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'value"
maybe'voteDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'voteDelegCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'voteDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'voteDelegCert" a) =>
LensLike' f s a
maybe'voteDelegCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'voteDelegCert"
maybe'voteRegDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'voteRegDelegCert" a) =>
  Lens.Family2.LensLike' f s a
maybe'voteRegDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'voteRegDelegCert" a) =>
LensLike' f s a
maybe'voteRegDelegCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'voteRegDelegCert"
maybe'witnesses ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "maybe'witnesses" a) =>
  Lens.Family2.LensLike' f s a
maybe'witnesses :: forall (f :: * -> *) s a.
(Functor f, HasField s "maybe'witnesses" a) =>
LensLike' f s a
maybe'witnesses = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"maybe'witnesses"
members ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "members" a) =>
  Lens.Family2.LensLike' f s a
members :: forall (f :: * -> *) s a.
(Functor f, HasField s "members" a) =>
LensLike' f s a
members = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"members"
memory ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "memory" a) =>
  Lens.Family2.LensLike' f s a
memory :: forall (f :: * -> *) s a.
(Functor f, HasField s "memory" a) =>
LensLike' f s a
memory = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"memory"
metadata ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "metadata" a) =>
  Lens.Family2.LensLike' f s a
metadata :: forall (f :: * -> *) s a.
(Functor f, HasField s "metadata" a) =>
LensLike' f s a
metadata = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"metadata"
minCommitteeSize ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "minCommitteeSize" a) =>
  Lens.Family2.LensLike' f s a
minCommitteeSize :: forall (f :: * -> *) s a.
(Functor f, HasField s "minCommitteeSize" a) =>
LensLike' f s a
minCommitteeSize = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minCommitteeSize"
minFeeCoefficient ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "minFeeCoefficient" a) =>
  Lens.Family2.LensLike' f s a
minFeeCoefficient :: forall (f :: * -> *) s a.
(Functor f, HasField s "minFeeCoefficient" a) =>
LensLike' f s a
minFeeCoefficient = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minFeeCoefficient"
minFeeConstant ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "minFeeConstant" a) =>
  Lens.Family2.LensLike' f s a
minFeeConstant :: forall (f :: * -> *) s a.
(Functor f, HasField s "minFeeConstant" a) =>
LensLike' f s a
minFeeConstant = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minFeeConstant"
minFeeRefScriptCostPerByte ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "minFeeRefScriptCostPerByte" a) =>
  Lens.Family2.LensLike' f s a
minFeeRefScriptCostPerByte :: forall (f :: * -> *) s a.
(Functor f, HasField s "minFeeRefScriptCostPerByte" a) =>
LensLike' f s a
minFeeRefScriptCostPerByte
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minFeeRefScriptCostPerByte"
minFeeScriptRefCostPerByte ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "minFeeScriptRefCostPerByte" a) =>
  Lens.Family2.LensLike' f s a
minFeeScriptRefCostPerByte :: forall (f :: * -> *) s a.
(Functor f, HasField s "minFeeScriptRefCostPerByte" a) =>
LensLike' f s a
minFeeScriptRefCostPerByte
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minFeeScriptRefCostPerByte"
minPoolCost ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "minPoolCost" a) =>
  Lens.Family2.LensLike' f s a
minPoolCost :: forall (f :: * -> *) s a.
(Functor f, HasField s "minPoolCost" a) =>
LensLike' f s a
minPoolCost = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minPoolCost"
minThd ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "minThd" a) =>
  Lens.Family2.LensLike' f s a
minThd :: forall (f :: * -> *) s a.
(Functor f, HasField s "minThd" a) =>
LensLike' f s a
minThd = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minThd"
minor ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "minor" a) =>
  Lens.Family2.LensLike' f s a
minor :: forall (f :: * -> *) s a.
(Functor f, HasField s "minor" a) =>
LensLike' f s a
minor = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"minor"
mint ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "mint" a) =>
  Lens.Family2.LensLike' f s a
mint :: forall (f :: * -> *) s a.
(Functor f, HasField s "mint" a) =>
LensLike' f s a
mint = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"mint"
mintCoin ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "mintCoin" a) =>
  Lens.Family2.LensLike' f s a
mintCoin :: forall (f :: * -> *) s a.
(Functor f, HasField s "mintCoin" a) =>
LensLike' f s a
mintCoin = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"mintCoin"
mintsAsset ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "mintsAsset" a) =>
  Lens.Family2.LensLike' f s a
mintsAsset :: forall (f :: * -> *) s a.
(Functor f, HasField s "mintsAsset" a) =>
LensLike' f s a
mintsAsset = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"mintsAsset"
mirCert ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "mirCert" a) =>
  Lens.Family2.LensLike' f s a
mirCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "mirCert" a) =>
LensLike' f s a
mirCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"mirCert"
monetaryExpansion ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "monetaryExpansion" a) =>
  Lens.Family2.LensLike' f s a
monetaryExpansion :: forall (f :: * -> *) s a.
(Functor f, HasField s "monetaryExpansion" a) =>
LensLike' f s a
monetaryExpansion = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"monetaryExpansion"
motionNoConfidence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "motionNoConfidence" a) =>
  Lens.Family2.LensLike' f s a
motionNoConfidence :: forall (f :: * -> *) s a.
(Functor f, HasField s "motionNoConfidence" a) =>
LensLike' f s a
motionNoConfidence
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"motionNoConfidence"
movesAsset ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "movesAsset" a) =>
  Lens.Family2.LensLike' f s a
movesAsset :: forall (f :: * -> *) s a.
(Functor f, HasField s "movesAsset" a) =>
LensLike' f s a
movesAsset = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"movesAsset"
mpcThd ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "mpcThd" a) =>
  Lens.Family2.LensLike' f s a
mpcThd :: forall (f :: * -> *) s a.
(Functor f, HasField s "mpcThd" a) =>
LensLike' f s a
mpcThd = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"mpcThd"
msg ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "msg" a) =>
  Lens.Family2.LensLike' f s a
msg :: forall (f :: * -> *) s a.
(Functor f, HasField s "msg" a) =>
LensLike' f s a
msg = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"msg"
multiplier ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "multiplier" a) =>
  Lens.Family2.LensLike' f s a
multiplier :: forall (f :: * -> *) s a.
(Functor f, HasField s "multiplier" a) =>
LensLike' f s a
multiplier = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"multiplier"
name ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "name" a) =>
  Lens.Family2.LensLike' f s a
name :: forall (f :: * -> *) s a.
(Functor f, HasField s "name" a) =>
LensLike' f s a
name = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"name"
native ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "native" a) =>
  Lens.Family2.LensLike' f s a
native :: forall (f :: * -> *) s a.
(Functor f, HasField s "native" a) =>
LensLike' f s a
native = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"native"
networkId ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "networkId" a) =>
  Lens.Family2.LensLike' f s a
networkId :: forall (f :: * -> *) s a.
(Functor f, HasField s "networkId" a) =>
LensLike' f s a
networkId = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"networkId"
networkMagic ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "networkMagic" a) =>
  Lens.Family2.LensLike' f s a
networkMagic :: forall (f :: * -> *) s a.
(Functor f, HasField s "networkMagic" a) =>
LensLike' f s a
networkMagic = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"networkMagic"
newCommitteeCredentials ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "newCommitteeCredentials" a) =>
  Lens.Family2.LensLike' f s a
newCommitteeCredentials :: forall (f :: * -> *) s a.
(Functor f, HasField s "newCommitteeCredentials" a) =>
LensLike' f s a
newCommitteeCredentials
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"newCommitteeCredentials"
newCommitteeThreshold ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "newCommitteeThreshold" a) =>
  Lens.Family2.LensLike' f s a
newCommitteeThreshold :: forall (f :: * -> *) s a.
(Functor f, HasField s "newCommitteeThreshold" a) =>
LensLike' f s a
newCommitteeThreshold
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"newCommitteeThreshold"
newConstitutionAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "newConstitutionAction" a) =>
  Lens.Family2.LensLike' f s a
newConstitutionAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "newConstitutionAction" a) =>
LensLike' f s a
newConstitutionAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"newConstitutionAction"
noConfidence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "noConfidence" a) =>
  Lens.Family2.LensLike' f s a
noConfidence :: forall (f :: * -> *) s a.
(Functor f, HasField s "noConfidence" a) =>
LensLike' f s a
noConfidence = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"noConfidence"
noConfidenceAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "noConfidenceAction" a) =>
  Lens.Family2.LensLike' f s a
noConfidenceAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "noConfidenceAction" a) =>
LensLike' f s a
noConfidenceAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"noConfidenceAction"
nonAvvmBalances ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "nonAvvmBalances" a) =>
  Lens.Family2.LensLike' f s a
nonAvvmBalances :: forall (f :: * -> *) s a.
(Functor f, HasField s "nonAvvmBalances" a) =>
LensLike' f s a
nonAvvmBalances = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"nonAvvmBalances"
numerator ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "numerator" a) =>
  Lens.Family2.LensLike' f s a
numerator :: forall (f :: * -> *) s a.
(Functor f, HasField s "numerator" a) =>
LensLike' f s a
numerator = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"numerator"
omega ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "omega" a) =>
  Lens.Family2.LensLike' f s a
omega :: forall (f :: * -> *) s a.
(Functor f, HasField s "omega" a) =>
LensLike' f s a
omega = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"omega"
operator ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "operator" a) =>
  Lens.Family2.LensLike' f s a
operator :: forall (f :: * -> *) s a.
(Functor f, HasField s "operator" a) =>
LensLike' f s a
operator = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"operator"
originalCbor ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "originalCbor" a) =>
  Lens.Family2.LensLike' f s a
originalCbor :: forall (f :: * -> *) s a.
(Functor f, HasField s "originalCbor" a) =>
LensLike' f s a
originalCbor = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"originalCbor"
otherPot ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "otherPot" a) =>
  Lens.Family2.LensLike' f s a
otherPot :: forall (f :: * -> *) s a.
(Functor f, HasField s "otherPot" a) =>
LensLike' f s a
otherPot = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"otherPot"
outputCoin ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "outputCoin" a) =>
  Lens.Family2.LensLike' f s a
outputCoin :: forall (f :: * -> *) s a.
(Functor f, HasField s "outputCoin" a) =>
LensLike' f s a
outputCoin = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"outputCoin"
outputIndex ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "outputIndex" a) =>
  Lens.Family2.LensLike' f s a
outputIndex :: forall (f :: * -> *) s a.
(Functor f, HasField s "outputIndex" a) =>
LensLike' f s a
outputIndex = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"outputIndex"
outputs ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "outputs" a) =>
  Lens.Family2.LensLike' f s a
outputs :: forall (f :: * -> *) s a.
(Functor f, HasField s "outputs" a) =>
LensLike' f s a
outputs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"outputs"
pairs ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "pairs" a) =>
  Lens.Family2.LensLike' f s a
pairs :: forall (f :: * -> *) s a.
(Functor f, HasField s "pairs" a) =>
LensLike' f s a
pairs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pairs"
parameterChangeAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "parameterChangeAction" a) =>
  Lens.Family2.LensLike' f s a
parameterChangeAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "parameterChangeAction" a) =>
LensLike' f s a
parameterChangeAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"parameterChangeAction"
payload ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "payload" a) =>
  Lens.Family2.LensLike' f s a
payload :: forall (f :: * -> *) s a.
(Functor f, HasField s "payload" a) =>
LensLike' f s a
payload = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"payload"
paymentPart ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "paymentPart" a) =>
  Lens.Family2.LensLike' f s a
paymentPart :: forall (f :: * -> *) s a.
(Functor f, HasField s "paymentPart" a) =>
LensLike' f s a
paymentPart = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"paymentPart"
pledge ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "pledge" a) =>
  Lens.Family2.LensLike' f s a
pledge :: forall (f :: * -> *) s a.
(Functor f, HasField s "pledge" a) =>
LensLike' f s a
pledge = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"pledge"
plutusDatums ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "plutusDatums" a) =>
  Lens.Family2.LensLike' f s a
plutusDatums :: forall (f :: * -> *) s a.
(Functor f, HasField s "plutusDatums" a) =>
LensLike' f s a
plutusDatums = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"plutusDatums"
plutusV1 ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "plutusV1" a) =>
  Lens.Family2.LensLike' f s a
plutusV1 :: forall (f :: * -> *) s a.
(Functor f, HasField s "plutusV1" a) =>
LensLike' f s a
plutusV1 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"plutusV1"
plutusV2 ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "plutusV2" a) =>
  Lens.Family2.LensLike' f s a
plutusV2 :: forall (f :: * -> *) s a.
(Functor f, HasField s "plutusV2" a) =>
LensLike' f s a
plutusV2 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"plutusV2"
plutusV3 ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "plutusV3" a) =>
  Lens.Family2.LensLike' f s a
plutusV3 :: forall (f :: * -> *) s a.
(Functor f, HasField s "plutusV3" a) =>
LensLike' f s a
plutusV3 = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"plutusV3"
policyHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "policyHash" a) =>
  Lens.Family2.LensLike' f s a
policyHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "policyHash" a) =>
LensLike' f s a
policyHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"policyHash"
policyId ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "policyId" a) =>
  Lens.Family2.LensLike' f s a
policyId :: forall (f :: * -> *) s a.
(Functor f, HasField s "policyId" a) =>
LensLike' f s a
policyId = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"policyId"
poolDeposit ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolDeposit" a) =>
  Lens.Family2.LensLike' f s a
poolDeposit :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolDeposit" a) =>
LensLike' f s a
poolDeposit = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolDeposit"
poolInfluence ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolInfluence" a) =>
  Lens.Family2.LensLike' f s a
poolInfluence :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolInfluence" a) =>
LensLike' f s a
poolInfluence = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolInfluence"
poolKeyhash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolKeyhash" a) =>
  Lens.Family2.LensLike' f s a
poolKeyhash :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolKeyhash" a) =>
LensLike' f s a
poolKeyhash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolKeyhash"
poolMetadata ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolMetadata" a) =>
  Lens.Family2.LensLike' f s a
poolMetadata :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolMetadata" a) =>
LensLike' f s a
poolMetadata = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolMetadata"
poolOwners ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolOwners" a) =>
  Lens.Family2.LensLike' f s a
poolOwners :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolOwners" a) =>
LensLike' f s a
poolOwners = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolOwners"
poolRegistration ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolRegistration" a) =>
  Lens.Family2.LensLike' f s a
poolRegistration :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolRegistration" a) =>
LensLike' f s a
poolRegistration = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolRegistration"
poolRetirement ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolRetirement" a) =>
  Lens.Family2.LensLike' f s a
poolRetirement :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolRetirement" a) =>
LensLike' f s a
poolRetirement = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolRetirement"
poolRetirementEpochBound ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolRetirementEpochBound" a) =>
  Lens.Family2.LensLike' f s a
poolRetirementEpochBound :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolRetirementEpochBound" a) =>
LensLike' f s a
poolRetirementEpochBound
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolRetirementEpochBound"
poolVotingThresholds ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "poolVotingThresholds" a) =>
  Lens.Family2.LensLike' f s a
poolVotingThresholds :: forall (f :: * -> *) s a.
(Functor f, HasField s "poolVotingThresholds" a) =>
LensLike' f s a
poolVotingThresholds
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"poolVotingThresholds"
port ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "port" a) =>
  Lens.Family2.LensLike' f s a
port :: forall (f :: * -> *) s a.
(Functor f, HasField s "port" a) =>
LensLike' f s a
port = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"port"
ppEconomicGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "ppEconomicGroup" a) =>
  Lens.Family2.LensLike' f s a
ppEconomicGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "ppEconomicGroup" a) =>
LensLike' f s a
ppEconomicGroup = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ppEconomicGroup"
ppGovGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "ppGovGroup" a) =>
  Lens.Family2.LensLike' f s a
ppGovGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "ppGovGroup" a) =>
LensLike' f s a
ppGovGroup = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ppGovGroup"
ppNetworkGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "ppNetworkGroup" a) =>
  Lens.Family2.LensLike' f s a
ppNetworkGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "ppNetworkGroup" a) =>
LensLike' f s a
ppNetworkGroup = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ppNetworkGroup"
ppSecurityGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "ppSecurityGroup" a) =>
  Lens.Family2.LensLike' f s a
ppSecurityGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "ppSecurityGroup" a) =>
LensLike' f s a
ppSecurityGroup = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ppSecurityGroup"
ppTechnicalGroup ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "ppTechnicalGroup" a) =>
  Lens.Family2.LensLike' f s a
ppTechnicalGroup :: forall (f :: * -> *) s a.
(Functor f, HasField s "ppTechnicalGroup" a) =>
LensLike' f s a
ppTechnicalGroup = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ppTechnicalGroup"
prices ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "prices" a) =>
  Lens.Family2.LensLike' f s a
prices :: forall (f :: * -> *) s a.
(Functor f, HasField s "prices" a) =>
LensLike' f s a
prices = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"prices"
produces ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "produces" a) =>
  Lens.Family2.LensLike' f s a
produces :: forall (f :: * -> *) s a.
(Functor f, HasField s "produces" a) =>
LensLike' f s a
produces = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"produces"
proposals ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "proposals" a) =>
  Lens.Family2.LensLike' f s a
proposals :: forall (f :: * -> *) s a.
(Functor f, HasField s "proposals" a) =>
LensLike' f s a
proposals = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"proposals"
protocolConsts ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "protocolConsts" a) =>
  Lens.Family2.LensLike' f s a
protocolConsts :: forall (f :: * -> *) s a.
(Functor f, HasField s "protocolConsts" a) =>
LensLike' f s a
protocolConsts = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"protocolConsts"
protocolMagic ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "protocolMagic" a) =>
  Lens.Family2.LensLike' f s a
protocolMagic :: forall (f :: * -> *) s a.
(Functor f, HasField s "protocolMagic" a) =>
LensLike' f s a
protocolMagic = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"protocolMagic"
protocolParamUpdate ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "protocolParamUpdate" a) =>
  Lens.Family2.LensLike' f s a
protocolParamUpdate :: forall (f :: * -> *) s a.
(Functor f, HasField s "protocolParamUpdate" a) =>
LensLike' f s a
protocolParamUpdate
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"protocolParamUpdate"
protocolParams ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "protocolParams" a) =>
  Lens.Family2.LensLike' f s a
protocolParams :: forall (f :: * -> *) s a.
(Functor f, HasField s "protocolParams" a) =>
LensLike' f s a
protocolParams = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"protocolParams"
protocolVersion ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "protocolVersion" a) =>
  Lens.Family2.LensLike' f s a
protocolVersion :: forall (f :: * -> *) s a.
(Functor f, HasField s "protocolVersion" a) =>
LensLike' f s a
protocolVersion = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"protocolVersion"
purpose ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "purpose" a) =>
  Lens.Family2.LensLike' f s a
purpose :: forall (f :: * -> *) s a.
(Functor f, HasField s "purpose" a) =>
LensLike' f s a
purpose = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"purpose"
redeemer ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "redeemer" a) =>
  Lens.Family2.LensLike' f s a
redeemer :: forall (f :: * -> *) s a.
(Functor f, HasField s "redeemer" a) =>
LensLike' f s a
redeemer = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"redeemer"
redeemers ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "redeemers" a) =>
  Lens.Family2.LensLike' f s a
redeemers :: forall (f :: * -> *) s a.
(Functor f, HasField s "redeemers" a) =>
LensLike' f s a
redeemers = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"redeemers"
referenceInputs ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "referenceInputs" a) =>
  Lens.Family2.LensLike' f s a
referenceInputs :: forall (f :: * -> *) s a.
(Functor f, HasField s "referenceInputs" a) =>
LensLike' f s a
referenceInputs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"referenceInputs"
regCert ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "regCert" a) =>
  Lens.Family2.LensLike' f s a
regCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "regCert" a) =>
LensLike' f s a
regCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"regCert"
regDrepCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "regDrepCert" a) =>
  Lens.Family2.LensLike' f s a
regDrepCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "regDrepCert" a) =>
LensLike' f s a
regDrepCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"regDrepCert"
relays ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "relays" a) =>
  Lens.Family2.LensLike' f s a
relays :: forall (f :: * -> *) s a.
(Functor f, HasField s "relays" a) =>
LensLike' f s a
relays = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"relays"
removeCommitteeCredentials ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "removeCommitteeCredentials" a) =>
  Lens.Family2.LensLike' f s a
removeCommitteeCredentials :: forall (f :: * -> *) s a.
(Functor f, HasField s "removeCommitteeCredentials" a) =>
LensLike' f s a
removeCommitteeCredentials
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"removeCommitteeCredentials"
resignCommitteeColdCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "resignCommitteeColdCert" a) =>
  Lens.Family2.LensLike' f s a
resignCommitteeColdCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "resignCommitteeColdCert" a) =>
LensLike' f s a
resignCommitteeColdCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"resignCommitteeColdCert"
rewardAccount ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "rewardAccount" a) =>
  Lens.Family2.LensLike' f s a
rewardAccount :: forall (f :: * -> *) s a.
(Functor f, HasField s "rewardAccount" a) =>
LensLike' f s a
rewardAccount = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"rewardAccount"
script ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "script" a) =>
  Lens.Family2.LensLike' f s a
script :: forall (f :: * -> *) s a.
(Functor f, HasField s "script" a) =>
LensLike' f s a
script = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"script"
scriptAll ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "scriptAll" a) =>
  Lens.Family2.LensLike' f s a
scriptAll :: forall (f :: * -> *) s a.
(Functor f, HasField s "scriptAll" a) =>
LensLike' f s a
scriptAll = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"scriptAll"
scriptAny ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "scriptAny" a) =>
  Lens.Family2.LensLike' f s a
scriptAny :: forall (f :: * -> *) s a.
(Functor f, HasField s "scriptAny" a) =>
LensLike' f s a
scriptAny = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"scriptAny"
scriptHash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "scriptHash" a) =>
  Lens.Family2.LensLike' f s a
scriptHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "scriptHash" a) =>
LensLike' f s a
scriptHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"scriptHash"
scriptNOfK ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "scriptNOfK" a) =>
  Lens.Family2.LensLike' f s a
scriptNOfK :: forall (f :: * -> *) s a.
(Functor f, HasField s "scriptNOfK" a) =>
LensLike' f s a
scriptNOfK = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"scriptNOfK"
scriptPubkey ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "scriptPubkey" a) =>
  Lens.Family2.LensLike' f s a
scriptPubkey :: forall (f :: * -> *) s a.
(Functor f, HasField s "scriptPubkey" a) =>
LensLike' f s a
scriptPubkey = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"scriptPubkey"
scriptVersion ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "scriptVersion" a) =>
  Lens.Family2.LensLike' f s a
scriptVersion :: forall (f :: * -> *) s a.
(Functor f, HasField s "scriptVersion" a) =>
LensLike' f s a
scriptVersion = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"scriptVersion"
scripts ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "scripts" a) =>
  Lens.Family2.LensLike' f s a
scripts :: forall (f :: * -> *) s a.
(Functor f, HasField s "scripts" a) =>
LensLike' f s a
scripts = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"scripts"
securityParam ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "securityParam" a) =>
  Lens.Family2.LensLike' f s a
securityParam :: forall (f :: * -> *) s a.
(Functor f, HasField s "securityParam" a) =>
LensLike' f s a
securityParam = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"securityParam"
signature ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "signature" a) =>
  Lens.Family2.LensLike' f s a
signature :: forall (f :: * -> *) s a.
(Functor f, HasField s "signature" a) =>
LensLike' f s a
signature = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"signature"
signingKey ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "signingKey" a) =>
  Lens.Family2.LensLike' f s a
signingKey :: forall (f :: * -> *) s a.
(Functor f, HasField s "signingKey" a) =>
LensLike' f s a
signingKey = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"signingKey"
slot ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "slot" a) =>
  Lens.Family2.LensLike' f s a
slot :: forall (f :: * -> *) s a.
(Functor f, HasField s "slot" a) =>
LensLike' f s a
slot = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"slot"
slotDuration ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "slotDuration" a) =>
  Lens.Family2.LensLike' f s a
slotDuration :: forall (f :: * -> *) s a.
(Functor f, HasField s "slotDuration" a) =>
LensLike' f s a
slotDuration = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"slotDuration"
slotLength ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "slotLength" a) =>
  Lens.Family2.LensLike' f s a
slotLength :: forall (f :: * -> *) s a.
(Functor f, HasField s "slotLength" a) =>
LensLike' f s a
slotLength = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"slotLength"
slotsPerKesPeriod ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "slotsPerKesPeriod" a) =>
  Lens.Family2.LensLike' f s a
slotsPerKesPeriod :: forall (f :: * -> *) s a.
(Functor f, HasField s "slotsPerKesPeriod" a) =>
LensLike' f s a
slotsPerKesPeriod = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"slotsPerKesPeriod"
softforkRule ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "softforkRule" a) =>
  Lens.Family2.LensLike' f s a
softforkRule :: forall (f :: * -> *) s a.
(Functor f, HasField s "softforkRule" a) =>
LensLike' f s a
softforkRule = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"softforkRule"
stakeCredential ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeCredential" a) =>
  Lens.Family2.LensLike' f s a
stakeCredential :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeCredential" a) =>
LensLike' f s a
stakeCredential = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeCredential"
stakeDelegation ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeDelegation" a) =>
  Lens.Family2.LensLike' f s a
stakeDelegation :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeDelegation" a) =>
LensLike' f s a
stakeDelegation = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeDelegation"
stakeDeregistration ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeDeregistration" a) =>
  Lens.Family2.LensLike' f s a
stakeDeregistration :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeDeregistration" a) =>
LensLike' f s a
stakeDeregistration
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeDeregistration"
stakeKeyDeposit ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeKeyDeposit" a) =>
  Lens.Family2.LensLike' f s a
stakeKeyDeposit :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeKeyDeposit" a) =>
LensLike' f s a
stakeKeyDeposit = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeKeyDeposit"
stakeRegDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeRegDelegCert" a) =>
  Lens.Family2.LensLike' f s a
stakeRegDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeRegDelegCert" a) =>
LensLike' f s a
stakeRegDelegCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeRegDelegCert"
stakeRegistration ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeRegistration" a) =>
  Lens.Family2.LensLike' f s a
stakeRegistration :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeRegistration" a) =>
LensLike' f s a
stakeRegistration = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeRegistration"
stakeVoteDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeVoteDelegCert" a) =>
  Lens.Family2.LensLike' f s a
stakeVoteDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeVoteDelegCert" a) =>
LensLike' f s a
stakeVoteDelegCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeVoteDelegCert"
stakeVoteRegDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "stakeVoteRegDelegCert" a) =>
  Lens.Family2.LensLike' f s a
stakeVoteRegDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "stakeVoteRegDelegCert" a) =>
LensLike' f s a
stakeVoteRegDelegCert
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"stakeVoteRegDelegCert"
start ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "start" a) =>
  Lens.Family2.LensLike' f s a
start :: forall (f :: * -> *) s a.
(Functor f, HasField s "start" a) =>
LensLike' f s a
start = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"start"
startTime ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "startTime" a) =>
  Lens.Family2.LensLike' f s a
startTime :: forall (f :: * -> *) s a.
(Functor f, HasField s "startTime" a) =>
LensLike' f s a
startTime = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"startTime"
steps ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "steps" a) =>
  Lens.Family2.LensLike' f s a
steps :: forall (f :: * -> *) s a.
(Functor f, HasField s "steps" a) =>
LensLike' f s a
steps = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"steps"
successful ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "successful" a) =>
  Lens.Family2.LensLike' f s a
successful :: forall (f :: * -> *) s a.
(Functor f, HasField s "successful" a) =>
LensLike' f s a
successful = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"successful"
summand ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "summand" a) =>
  Lens.Family2.LensLike' f s a
summand :: forall (f :: * -> *) s a.
(Functor f, HasField s "summand" a) =>
LensLike' f s a
summand = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"summand"
summaries ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "summaries" a) =>
  Lens.Family2.LensLike' f s a
summaries :: forall (f :: * -> *) s a.
(Functor f, HasField s "summaries" a) =>
LensLike' f s a
summaries = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"summaries"
systemStart ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "systemStart" a) =>
  Lens.Family2.LensLike' f s a
systemStart :: forall (f :: * -> *) s a.
(Functor f, HasField s "systemStart" a) =>
LensLike' f s a
systemStart = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"systemStart"
tag ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "tag" a) =>
  Lens.Family2.LensLike' f s a
tag :: forall (f :: * -> *) s a.
(Functor f, HasField s "tag" a) =>
LensLike' f s a
tag = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"tag"
text ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "text" a) =>
  Lens.Family2.LensLike' f s a
text :: forall (f :: * -> *) s a.
(Functor f, HasField s "text" a) =>
LensLike' f s a
text = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"text"
thdDecrement ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "thdDecrement" a) =>
  Lens.Family2.LensLike' f s a
thdDecrement :: forall (f :: * -> *) s a.
(Functor f, HasField s "thdDecrement" a) =>
LensLike' f s a
thdDecrement = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"thdDecrement"
threshold ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "threshold" a) =>
  Lens.Family2.LensLike' f s a
threshold :: forall (f :: * -> *) s a.
(Functor f, HasField s "threshold" a) =>
LensLike' f s a
threshold = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"threshold"
thresholds ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "thresholds" a) =>
  Lens.Family2.LensLike' f s a
thresholds :: forall (f :: * -> *) s a.
(Functor f, HasField s "thresholds" a) =>
LensLike' f s a
thresholds = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"thresholds"
time ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "time" a) =>
  Lens.Family2.LensLike' f s a
time :: forall (f :: * -> *) s a.
(Functor f, HasField s "time" a) =>
LensLike' f s a
time = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"time"
timestamp ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "timestamp" a) =>
  Lens.Family2.LensLike' f s a
timestamp :: forall (f :: * -> *) s a.
(Functor f, HasField s "timestamp" a) =>
LensLike' f s a
timestamp = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"timestamp"
to ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "to" a) =>
  Lens.Family2.LensLike' f s a
to :: forall (f :: * -> *) s a.
(Functor f, HasField s "to" a) =>
LensLike' f s a
to = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"to"
totalCollateral ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "totalCollateral" a) =>
  Lens.Family2.LensLike' f s a
totalCollateral :: forall (f :: * -> *) s a.
(Functor f, HasField s "totalCollateral" a) =>
LensLike' f s a
totalCollateral = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"totalCollateral"
traces ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "traces" a) =>
  Lens.Family2.LensLike' f s a
traces :: forall (f :: * -> *) s a.
(Functor f, HasField s "traces" a) =>
LensLike' f s a
traces = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"traces"
transactionId ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "transactionId" a) =>
  Lens.Family2.LensLike' f s a
transactionId :: forall (f :: * -> *) s a.
(Functor f, HasField s "transactionId" a) =>
LensLike' f s a
transactionId = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"transactionId"
treasuryExpansion ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "treasuryExpansion" a) =>
  Lens.Family2.LensLike' f s a
treasuryExpansion :: forall (f :: * -> *) s a.
(Functor f, HasField s "treasuryExpansion" a) =>
LensLike' f s a
treasuryExpansion = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"treasuryExpansion"
treasuryWithdrawal ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "treasuryWithdrawal" a) =>
  Lens.Family2.LensLike' f s a
treasuryWithdrawal :: forall (f :: * -> *) s a.
(Functor f, HasField s "treasuryWithdrawal" a) =>
LensLike' f s a
treasuryWithdrawal
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"treasuryWithdrawal"
treasuryWithdrawalsAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "treasuryWithdrawalsAction" a) =>
  Lens.Family2.LensLike' f s a
treasuryWithdrawalsAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "treasuryWithdrawalsAction" a) =>
LensLike' f s a
treasuryWithdrawalsAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"treasuryWithdrawalsAction"
ttl ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "ttl" a) =>
  Lens.Family2.LensLike' f s a
ttl :: forall (f :: * -> *) s a.
(Functor f, HasField s "ttl" a) =>
LensLike' f s a
ttl = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"ttl"
tx ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "tx" a) =>
  Lens.Family2.LensLike' f s a
tx :: forall (f :: * -> *) s a.
(Functor f, HasField s "tx" a) =>
LensLike' f s a
tx = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"tx"
txFeePolicy ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "txFeePolicy" a) =>
  Lens.Family2.LensLike' f s a
txFeePolicy :: forall (f :: * -> *) s a.
(Functor f, HasField s "txFeePolicy" a) =>
LensLike' f s a
txFeePolicy = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"txFeePolicy"
txHash ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "txHash" a) =>
  Lens.Family2.LensLike' f s a
txHash :: forall (f :: * -> *) s a.
(Functor f, HasField s "txHash" a) =>
LensLike' f s a
txHash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"txHash"
unlockStakeEpoch ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "unlockStakeEpoch" a) =>
  Lens.Family2.LensLike' f s a
unlockStakeEpoch :: forall (f :: * -> *) s a.
(Functor f, HasField s "unlockStakeEpoch" a) =>
LensLike' f s a
unlockStakeEpoch = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"unlockStakeEpoch"
unregCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "unregCert" a) =>
  Lens.Family2.LensLike' f s a
unregCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "unregCert" a) =>
LensLike' f s a
unregCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"unregCert"
unregDrepCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "unregDrepCert" a) =>
  Lens.Family2.LensLike' f s a
unregDrepCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "unregDrepCert" a) =>
LensLike' f s a
unregDrepCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"unregDrepCert"
updateCommitteeAction ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "updateCommitteeAction" a) =>
  Lens.Family2.LensLike' f s a
updateCommitteeAction :: forall (f :: * -> *) s a.
(Functor f, HasField s "updateCommitteeAction" a) =>
LensLike' f s a
updateCommitteeAction
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"updateCommitteeAction"
updateDrepCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "updateDrepCert" a) =>
  Lens.Family2.LensLike' f s a
updateDrepCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "updateDrepCert" a) =>
LensLike' f s a
updateDrepCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"updateDrepCert"
updateImplicit ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "updateImplicit" a) =>
  Lens.Family2.LensLike' f s a
updateImplicit :: forall (f :: * -> *) s a.
(Functor f, HasField s "updateImplicit" a) =>
LensLike' f s a
updateImplicit = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"updateImplicit"
updateProposalThd ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "updateProposalThd" a) =>
  Lens.Family2.LensLike' f s a
updateProposalThd :: forall (f :: * -> *) s a.
(Functor f, HasField s "updateProposalThd" a) =>
LensLike' f s a
updateProposalThd = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"updateProposalThd"
updateQuorum ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "updateQuorum" a) =>
  Lens.Family2.LensLike' f s a
updateQuorum :: forall (f :: * -> *) s a.
(Functor f, HasField s "updateQuorum" a) =>
LensLike' f s a
updateQuorum = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"updateQuorum"
updateToConstitution ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "updateToConstitution" a) =>
  Lens.Family2.LensLike' f s a
updateToConstitution :: forall (f :: * -> *) s a.
(Functor f, HasField s "updateToConstitution" a) =>
LensLike' f s a
updateToConstitution
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"updateToConstitution"
updateVoteThd ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "updateVoteThd" a) =>
  Lens.Family2.LensLike' f s a
updateVoteThd :: forall (f :: * -> *) s a.
(Functor f, HasField s "updateVoteThd" a) =>
LensLike' f s a
updateVoteThd = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"updateVoteThd"
url ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "url" a) =>
  Lens.Family2.LensLike' f s a
url :: forall (f :: * -> *) s a.
(Functor f, HasField s "url" a) =>
LensLike' f s a
url = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"url"
validity ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "validity" a) =>
  Lens.Family2.LensLike' f s a
validity :: forall (f :: * -> *) s a.
(Functor f, HasField s "validity" a) =>
LensLike' f s a
validity = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"validity"
value ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "value" a) =>
  Lens.Family2.LensLike' f s a
value :: forall (f :: * -> *) s a.
(Functor f, HasField s "value" a) =>
LensLike' f s a
value = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"value"
values ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "values" a) =>
  Lens.Family2.LensLike' f s a
values :: forall (f :: * -> *) s a.
(Functor f, HasField s "values" a) =>
LensLike' f s a
values = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"values"
vec'assets ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'assets" a) =>
  Lens.Family2.LensLike' f s a
vec'assets :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'assets" a) =>
LensLike' f s a
vec'assets = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'assets"
vec'certificates ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'certificates" a) =>
  Lens.Family2.LensLike' f s a
vec'certificates :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'certificates" a) =>
LensLike' f s a
vec'certificates = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'certificates"
vec'collateral ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'collateral" a) =>
  Lens.Family2.LensLike' f s a
vec'collateral :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'collateral" a) =>
LensLike' f s a
vec'collateral = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'collateral"
vec'errors ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'errors" a) =>
  Lens.Family2.LensLike' f s a
vec'errors :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'errors" a) =>
LensLike' f s a
vec'errors = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'errors"
vec'fields ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'fields" a) =>
  Lens.Family2.LensLike' f s a
vec'fields :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'fields" a) =>
LensLike' f s a
vec'fields = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'fields"
vec'inputs ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'inputs" a) =>
  Lens.Family2.LensLike' f s a
vec'inputs :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'inputs" a) =>
LensLike' f s a
vec'inputs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'inputs"
vec'items ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'items" a) =>
  Lens.Family2.LensLike' f s a
vec'items :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'items" a) =>
LensLike' f s a
vec'items = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'items"
vec'metadata ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'metadata" a) =>
  Lens.Family2.LensLike' f s a
vec'metadata :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'metadata" a) =>
LensLike' f s a
vec'metadata = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'metadata"
vec'mint ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'mint" a) =>
  Lens.Family2.LensLike' f s a
vec'mint :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'mint" a) =>
LensLike' f s a
vec'mint = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'mint"
vec'newCommitteeCredentials ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'newCommitteeCredentials" a) =>
  Lens.Family2.LensLike' f s a
vec'newCommitteeCredentials :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'newCommitteeCredentials" a) =>
LensLike' f s a
vec'newCommitteeCredentials
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'newCommitteeCredentials"
vec'outputs ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'outputs" a) =>
  Lens.Family2.LensLike' f s a
vec'outputs :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'outputs" a) =>
LensLike' f s a
vec'outputs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'outputs"
vec'pairs ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'pairs" a) =>
  Lens.Family2.LensLike' f s a
vec'pairs :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'pairs" a) =>
LensLike' f s a
vec'pairs = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'pairs"
vec'plutusDatums ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'plutusDatums" a) =>
  Lens.Family2.LensLike' f s a
vec'plutusDatums :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'plutusDatums" a) =>
LensLike' f s a
vec'plutusDatums = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'plutusDatums"
vec'poolOwners ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'poolOwners" a) =>
  Lens.Family2.LensLike' f s a
vec'poolOwners :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'poolOwners" a) =>
LensLike' f s a
vec'poolOwners = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'poolOwners"
vec'proposals ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'proposals" a) =>
  Lens.Family2.LensLike' f s a
vec'proposals :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'proposals" a) =>
LensLike' f s a
vec'proposals = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'proposals"
vec'redeemers ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'redeemers" a) =>
  Lens.Family2.LensLike' f s a
vec'redeemers :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'redeemers" a) =>
LensLike' f s a
vec'redeemers = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'redeemers"
vec'referenceInputs ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'referenceInputs" a) =>
  Lens.Family2.LensLike' f s a
vec'referenceInputs :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'referenceInputs" a) =>
LensLike' f s a
vec'referenceInputs
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'referenceInputs"
vec'relays ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'relays" a) =>
  Lens.Family2.LensLike' f s a
vec'relays :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'relays" a) =>
LensLike' f s a
vec'relays = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'relays"
vec'removeCommitteeCredentials ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'removeCommitteeCredentials" a) =>
  Lens.Family2.LensLike' f s a
vec'removeCommitteeCredentials :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'removeCommitteeCredentials" a) =>
LensLike' f s a
vec'removeCommitteeCredentials
  = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'removeCommitteeCredentials"
vec'script ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'script" a) =>
  Lens.Family2.LensLike' f s a
vec'script :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'script" a) =>
LensLike' f s a
vec'script = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'script"
vec'scripts ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'scripts" a) =>
  Lens.Family2.LensLike' f s a
vec'scripts :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'scripts" a) =>
LensLike' f s a
vec'scripts = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'scripts"
vec'summaries ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'summaries" a) =>
  Lens.Family2.LensLike' f s a
vec'summaries :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'summaries" a) =>
LensLike' f s a
vec'summaries = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'summaries"
vec'thresholds ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'thresholds" a) =>
  Lens.Family2.LensLike' f s a
vec'thresholds :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'thresholds" a) =>
LensLike' f s a
vec'thresholds = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'thresholds"
vec'to ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "vec'to" a) =>
  Lens.Family2.LensLike' f s a
vec'to :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'to" a) =>
LensLike' f s a
vec'to = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'to"
vec'traces ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'traces" a) =>
  Lens.Family2.LensLike' f s a
vec'traces :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'traces" a) =>
LensLike' f s a
vec'traces = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'traces"
vec'tx ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "vec'tx" a) =>
  Lens.Family2.LensLike' f s a
vec'tx :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'tx" a) =>
LensLike' f s a
vec'tx = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'tx"
vec'values ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'values" a) =>
  Lens.Family2.LensLike' f s a
vec'values :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'values" a) =>
LensLike' f s a
vec'values = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'values"
vec'vkeywitness ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'vkeywitness" a) =>
  Lens.Family2.LensLike' f s a
vec'vkeywitness :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'vkeywitness" a) =>
LensLike' f s a
vec'vkeywitness = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'vkeywitness"
vec'withdrawals ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vec'withdrawals" a) =>
  Lens.Family2.LensLike' f s a
vec'withdrawals :: forall (f :: * -> *) s a.
(Functor f, HasField s "vec'withdrawals" a) =>
LensLike' f s a
vec'withdrawals = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vec'withdrawals"
vkey ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "vkey" a) =>
  Lens.Family2.LensLike' f s a
vkey :: forall (f :: * -> *) s a.
(Functor f, HasField s "vkey" a) =>
LensLike' f s a
vkey = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vkey"
vkeywitness ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vkeywitness" a) =>
  Lens.Family2.LensLike' f s a
vkeywitness :: forall (f :: * -> *) s a.
(Functor f, HasField s "vkeywitness" a) =>
LensLike' f s a
vkeywitness = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vkeywitness"
voteDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "voteDelegCert" a) =>
  Lens.Family2.LensLike' f s a
voteDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "voteDelegCert" a) =>
LensLike' f s a
voteDelegCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"voteDelegCert"
voteRegDelegCert ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "voteRegDelegCert" a) =>
  Lens.Family2.LensLike' f s a
voteRegDelegCert :: forall (f :: * -> *) s a.
(Functor f, HasField s "voteRegDelegCert" a) =>
LensLike' f s a
voteRegDelegCert = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"voteRegDelegCert"
vrf ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "vrf" a) =>
  Lens.Family2.LensLike' f s a
vrf :: forall (f :: * -> *) s a.
(Functor f, HasField s "vrf" a) =>
LensLike' f s a
vrf = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vrf"
vrfKeyhash ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vrfKeyhash" a) =>
  Lens.Family2.LensLike' f s a
vrfKeyhash :: forall (f :: * -> *) s a.
(Functor f, HasField s "vrfKeyhash" a) =>
LensLike' f s a
vrfKeyhash = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vrfKeyhash"
vssCerts ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vssCerts" a) =>
  Lens.Family2.LensLike' f s a
vssCerts :: forall (f :: * -> *) s a.
(Functor f, HasField s "vssCerts" a) =>
LensLike' f s a
vssCerts = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vssCerts"
vssKey ::
  forall f s a.
  (Prelude.Functor f, Data.ProtoLens.Field.HasField s "vssKey" a) =>
  Lens.Family2.LensLike' f s a
vssKey :: forall (f :: * -> *) s a.
(Functor f, HasField s "vssKey" a) =>
LensLike' f s a
vssKey = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vssKey"
vssMaxTtl ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vssMaxTtl" a) =>
  Lens.Family2.LensLike' f s a
vssMaxTtl :: forall (f :: * -> *) s a.
(Functor f, HasField s "vssMaxTtl" a) =>
LensLike' f s a
vssMaxTtl = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vssMaxTtl"
vssMinTtl ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "vssMinTtl" a) =>
  Lens.Family2.LensLike' f s a
vssMinTtl :: forall (f :: * -> *) s a.
(Functor f, HasField s "vssMinTtl" a) =>
LensLike' f s a
vssMinTtl = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"vssMinTtl"
withdrawals ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "withdrawals" a) =>
  Lens.Family2.LensLike' f s a
withdrawals :: forall (f :: * -> *) s a.
(Functor f, HasField s "withdrawals" a) =>
LensLike' f s a
withdrawals = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"withdrawals"
witnesses ::
  forall f s a.
  (Prelude.Functor f,
   Data.ProtoLens.Field.HasField s "witnesses" a) =>
  Lens.Family2.LensLike' f s a
witnesses :: forall (f :: * -> *) s a.
(Functor f, HasField s "witnesses" a) =>
LensLike' f s a
witnesses = forall (x :: Symbol) s a (f :: * -> *).
(HasField s x a, Functor f) =>
(a -> f a) -> s -> f s
Data.ProtoLens.Field.field @"witnesses"