{- 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
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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'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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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"
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'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'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'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'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"
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"
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"