cardano-rpc:gen
Safe HaskellNone
LanguageHaskell2010

Proto.Utxorpc.V1alpha.Cardano.Cardano

Synopsis

Documentation

data AddressArray Source #

Fields :

  • items :: Lens' AddressArray [Data.ByteString.ByteString]
  • vec'items :: Lens' AddressArray (Data.Vector.Vector Data.ByteString.ByteString)

Instances

Instances details
NFData AddressArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: AddressArray -> () Source #

Show AddressArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq AddressArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord AddressArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message AddressArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField ReadUtxosRequest "cardanoAddresses" AddressArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Query.Query

Methods

fieldOf :: Functor f => Proxy# "cardanoAddresses" -> (AddressArray -> f AddressArray) -> ReadUtxosRequest -> f ReadUtxosRequest Source #

HasField AddressArray "items" [ByteString] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "items" -> ([ByteString] -> f [ByteString]) -> AddressArray -> f AddressArray Source #

HasField AddressArray "vec'items" (Vector ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'items" -> (Vector ByteString -> f (Vector ByteString)) -> AddressArray -> f AddressArray Source #

HasField ReadUtxosRequest "maybe'cardanoAddresses" (Maybe AddressArray) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Query.Query

Methods

fieldOf :: Functor f => Proxy# "maybe'cardanoAddresses" -> (Maybe AddressArray -> f (Maybe AddressArray)) -> ReadUtxosRequest -> f ReadUtxosRequest Source #

data Asset Source #

Fields :

Instances

Instances details
NFData Asset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: Asset -> () Source #

Show Asset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq Asset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

(==) :: Asset -> Asset -> Bool Source #

(/=) :: Asset -> Asset -> Bool Source #

Ord Asset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message Asset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField Asset "mintCoin" Int64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "mintCoin" -> (Int64 -> f Int64) -> Asset -> f Asset Source #

HasField Asset "name" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "name" -> (ByteString -> f ByteString) -> Asset -> f Asset Source #

HasField Asset "outputCoin" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "outputCoin" -> (Word64 -> f Word64) -> Asset -> f Asset Source #

HasField Asset "maybe'mintCoin" (Maybe Int64) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'mintCoin" -> (Maybe Int64 -> f (Maybe Int64)) -> Asset -> f Asset Source #

HasField Asset "maybe'outputCoin" (Maybe Word64) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'outputCoin" -> (Maybe Word64 -> f (Maybe Word64)) -> Asset -> f Asset Source #

HasField Asset "maybe'quantity" (Maybe Asset'Quantity) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'quantity" -> (Maybe Asset'Quantity -> f (Maybe Asset'Quantity)) -> Asset -> f Asset Source #

HasField MultiAsset "assets" [Asset] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "assets" -> ([Asset] -> f [Asset]) -> MultiAsset -> f MultiAsset Source #

HasField MultiAsset "vec'assets" (Vector Asset) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'assets" -> (Vector Asset -> f (Vector Asset)) -> MultiAsset -> f MultiAsset Source #

data Asset'Quantity Source #

data BigInt Source #

Fields :

  • maybe'bigInt :: Lens' BigInt (Prelude.Maybe BigInt'BigInt)
  • maybe'int :: Lens' BigInt (Prelude.Maybe Data.Int.Int64)
  • int :: Lens' BigInt Data.Int.Int64
  • maybe'bigUInt :: Lens' BigInt (Prelude.Maybe Data.ByteString.ByteString)
  • bigUInt :: Lens' BigInt Data.ByteString.ByteString
  • maybe'bigNInt :: Lens' BigInt (Prelude.Maybe Data.ByteString.ByteString)
  • bigNInt :: Lens' BigInt Data.ByteString.ByteString

Instances

Instances details
NFData BigInt Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: BigInt -> () Source #

Show BigInt Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq BigInt Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord BigInt Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message BigInt Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField BigInt "bigNInt" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "bigNInt" -> (ByteString -> f ByteString) -> BigInt -> f BigInt Source #

HasField BigInt "bigUInt" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "bigUInt" -> (ByteString -> f ByteString) -> BigInt -> f BigInt Source #

HasField BigInt "int" Int64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "int" -> (Int64 -> f Int64) -> BigInt -> f BigInt Source #

HasField PlutusData "bigInt" BigInt Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "bigInt" -> (BigInt -> f BigInt) -> PlutusData -> f PlutusData Source #

HasField BigInt "maybe'bigInt" (Maybe BigInt'BigInt) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'bigInt" -> (Maybe BigInt'BigInt -> f (Maybe BigInt'BigInt)) -> BigInt -> f BigInt Source #

HasField BigInt "maybe'bigNInt" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'bigNInt" -> (Maybe ByteString -> f (Maybe ByteString)) -> BigInt -> f BigInt Source #

HasField BigInt "maybe'bigUInt" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'bigUInt" -> (Maybe ByteString -> f (Maybe ByteString)) -> BigInt -> f BigInt Source #

HasField BigInt "maybe'int" (Maybe Int64) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'int" -> (Maybe Int64 -> f (Maybe Int64)) -> BigInt -> f BigInt Source #

HasField PlutusData "maybe'bigInt" (Maybe BigInt) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'bigInt" -> (Maybe BigInt -> f (Maybe BigInt)) -> PlutusData -> f PlutusData Source #

data Constr Source #

Fields :

  • tag :: Lens' Constr Data.Word.Word32
  • anyConstructor :: Lens' Constr Data.Word.Word64
  • fields :: Lens' Constr [PlutusData]
  • vec'fields :: Lens' Constr (Data.Vector.Vector PlutusData)

Instances

Instances details
NFData Constr Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: Constr -> () Source #

Show Constr Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq Constr Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord Constr Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message Constr Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField Constr "anyConstructor" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "anyConstructor" -> (Word64 -> f Word64) -> Constr -> f Constr Source #

HasField Constr "tag" Word32 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "tag" -> (Word32 -> f Word32) -> Constr -> f Constr Source #

HasField PlutusData "constr" Constr Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "constr" -> (Constr -> f Constr) -> PlutusData -> f PlutusData Source #

HasField Constr "fields" [PlutusData] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "fields" -> ([PlutusData] -> f [PlutusData]) -> Constr -> f Constr Source #

HasField Constr "vec'fields" (Vector PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'fields" -> (Vector PlutusData -> f (Vector PlutusData)) -> Constr -> f Constr Source #

HasField PlutusData "maybe'constr" (Maybe Constr) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'constr" -> (Maybe Constr -> f (Maybe Constr)) -> PlutusData -> f PlutusData Source #

data CostModel Source #

Fields :

  • values :: Lens' CostModel [Data.Int.Int64]
  • vec'values :: Lens' CostModel (Data.Vector.Unboxed.Vector Data.Int.Int64)

Instances

Instances details
NFData CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: CostModel -> () Source #

Show CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField CostModels "plutusV1" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV1" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField CostModels "plutusV2" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV2" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField CostModels "plutusV3" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV3" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField CostModels "plutusV4" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV4" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField CostModel "values" [Int64] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "values" -> ([Int64] -> f [Int64]) -> CostModel -> f CostModel Source #

HasField CostModel "vec'values" (Vector Int64) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'values" -> (Vector Int64 -> f (Vector Int64)) -> CostModel -> f CostModel Source #

HasField CostModels "maybe'plutusV1" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV1" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

HasField CostModels "maybe'plutusV2" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV2" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

HasField CostModels "maybe'plutusV3" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV3" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

HasField CostModels "maybe'plutusV4" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV4" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

data CostModels Source #

Fields :

Instances

Instances details
NFData CostModels Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: CostModels -> () Source #

Show CostModels Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq CostModels Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord CostModels Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message CostModels Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField CostModels "plutusV1" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV1" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField CostModels "plutusV2" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV2" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField CostModels "plutusV3" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV3" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField CostModels "plutusV4" CostModel Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV4" -> (CostModel -> f CostModel) -> CostModels -> f CostModels Source #

HasField PParams "costModels" CostModels Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "costModels" -> (CostModels -> f CostModels) -> PParams -> f PParams Source #

HasField CostModels "maybe'plutusV1" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV1" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

HasField CostModels "maybe'plutusV2" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV2" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

HasField CostModels "maybe'plutusV3" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV3" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

HasField CostModels "maybe'plutusV4" (Maybe CostModel) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV4" -> (Maybe CostModel -> f (Maybe CostModel)) -> CostModels -> f CostModels Source #

HasField PParams "maybe'costModels" (Maybe CostModels) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'costModels" -> (Maybe CostModels -> f (Maybe CostModels)) -> PParams -> f PParams Source #

data Datum Source #

Fields :

Instances

Instances details
NFData Datum Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: Datum -> () Source #

Show Datum Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq Datum Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

(==) :: Datum -> Datum -> Bool Source #

(/=) :: Datum -> Datum -> Bool Source #

Ord Datum Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message Datum Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField Datum "hash" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "hash" -> (ByteString -> f ByteString) -> Datum -> f Datum Source #

HasField Datum "originalCbor" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "originalCbor" -> (ByteString -> f ByteString) -> Datum -> f Datum Source #

HasField Datum "payload" PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "payload" -> (PlutusData -> f PlutusData) -> Datum -> f Datum Source #

HasField TxOutput "datum" Datum Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "datum" -> (Datum -> f Datum) -> TxOutput -> f TxOutput Source #

HasField Datum "maybe'originalCbor" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'originalCbor" -> (Maybe ByteString -> f (Maybe ByteString)) -> Datum -> f Datum Source #

HasField Datum "maybe'payload" (Maybe PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'payload" -> (Maybe PlutusData -> f (Maybe PlutusData)) -> Datum -> f Datum Source #

HasField TxOutput "maybe'datum" (Maybe Datum) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'datum" -> (Maybe Datum -> f (Maybe Datum)) -> TxOutput -> f TxOutput Source #

data ExPrices Source #

Fields :

  • steps :: Lens' ExPrices RationalNumber
  • maybe'steps :: Lens' ExPrices (Prelude.Maybe RationalNumber)
  • memory :: Lens' ExPrices RationalNumber
  • maybe'memory :: Lens' ExPrices (Prelude.Maybe RationalNumber)

Instances

Instances details
NFData ExPrices Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: ExPrices -> () Source #

Show ExPrices Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq ExPrices Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord ExPrices Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message ExPrices Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField ExPrices "memory" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "memory" -> (RationalNumber -> f RationalNumber) -> ExPrices -> f ExPrices Source #

HasField ExPrices "steps" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "steps" -> (RationalNumber -> f RationalNumber) -> ExPrices -> f ExPrices Source #

HasField PParams "prices" ExPrices Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "prices" -> (ExPrices -> f ExPrices) -> PParams -> f PParams Source #

HasField ExPrices "maybe'memory" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'memory" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> ExPrices -> f ExPrices Source #

HasField ExPrices "maybe'steps" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'steps" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> ExPrices -> f ExPrices Source #

HasField PParams "maybe'prices" (Maybe ExPrices) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'prices" -> (Maybe ExPrices -> f (Maybe ExPrices)) -> PParams -> f PParams Source #

data ExUnits Source #

Fields :

  • steps :: Lens' ExUnits Data.Word.Word64
  • memory :: Lens' ExUnits Data.Word.Word64

Instances

Instances details
NFData ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: ExUnits -> () Source #

Show ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField ExUnits "memory" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "memory" -> (Word64 -> f Word64) -> ExUnits -> f ExUnits Source #

HasField ExUnits "steps" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "steps" -> (Word64 -> f Word64) -> ExUnits -> f ExUnits Source #

HasField PParams "maxExecutionUnitsPerBlock" ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxExecutionUnitsPerBlock" -> (ExUnits -> f ExUnits) -> PParams -> f PParams Source #

HasField PParams "maxExecutionUnitsPerTransaction" ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxExecutionUnitsPerTransaction" -> (ExUnits -> f ExUnits) -> PParams -> f PParams Source #

HasField PParams "maybe'maxExecutionUnitsPerBlock" (Maybe ExUnits) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'maxExecutionUnitsPerBlock" -> (Maybe ExUnits -> f (Maybe ExUnits)) -> PParams -> f PParams Source #

HasField PParams "maybe'maxExecutionUnitsPerTransaction" (Maybe ExUnits) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'maxExecutionUnitsPerTransaction" -> (Maybe ExUnits -> f (Maybe ExUnits)) -> PParams -> f PParams Source #

data MultiAsset Source #

Fields :

  • policyId :: Lens' MultiAsset Data.ByteString.ByteString
  • assets :: Lens' MultiAsset [Asset]
  • vec'assets :: Lens' MultiAsset (Data.Vector.Vector Asset)

Instances

Instances details
NFData MultiAsset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: MultiAsset -> () Source #

Show MultiAsset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq MultiAsset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord MultiAsset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message MultiAsset Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField MultiAsset "policyId" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "policyId" -> (ByteString -> f ByteString) -> MultiAsset -> f MultiAsset Source #

HasField MultiAsset "assets" [Asset] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "assets" -> ([Asset] -> f [Asset]) -> MultiAsset -> f MultiAsset Source #

HasField MultiAsset "vec'assets" (Vector Asset) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'assets" -> (Vector Asset -> f (Vector Asset)) -> MultiAsset -> f MultiAsset Source #

HasField TxOutput "assets" [MultiAsset] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "assets" -> ([MultiAsset] -> f [MultiAsset]) -> TxOutput -> f TxOutput Source #

HasField TxOutput "vec'assets" (Vector MultiAsset) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'assets" -> (Vector MultiAsset -> f (Vector MultiAsset)) -> TxOutput -> f TxOutput Source #

data NativeScript Source #

Fields :

Instances

Instances details
NFData NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: NativeScript -> () Source #

Show NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "invalidBefore" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "invalidBefore" -> (Word64 -> f Word64) -> NativeScript -> f NativeScript Source #

HasField NativeScript "invalidHereafter" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "invalidHereafter" -> (Word64 -> f Word64) -> NativeScript -> f NativeScript Source #

HasField NativeScript "scriptAll" NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "scriptAny" NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "scriptNOfK" ScriptNOfK Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "scriptNOfK" -> (ScriptNOfK -> f ScriptNOfK) -> NativeScript -> f NativeScript Source #

HasField NativeScript "scriptPubkey" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "scriptPubkey" -> (ByteString -> f ByteString) -> NativeScript -> f NativeScript Source #

HasField Script "native" NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "native" -> (NativeScript -> f NativeScript) -> Script -> f Script Source #

HasField NativeScript "maybe'invalidBefore" (Maybe Word64) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'invalidBefore" -> (Maybe Word64 -> f (Maybe Word64)) -> NativeScript -> f NativeScript Source #

HasField NativeScript "maybe'invalidHereafter" (Maybe Word64) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'invalidHereafter" -> (Maybe Word64 -> f (Maybe Word64)) -> NativeScript -> f NativeScript Source #

HasField NativeScript "maybe'nativeScript" (Maybe NativeScript'NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "maybe'scriptAll" (Maybe NativeScriptList) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'scriptAll" -> (Maybe NativeScriptList -> f (Maybe NativeScriptList)) -> NativeScript -> f NativeScript Source #

HasField NativeScript "maybe'scriptAny" (Maybe NativeScriptList) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'scriptAny" -> (Maybe NativeScriptList -> f (Maybe NativeScriptList)) -> NativeScript -> f NativeScript Source #

HasField NativeScript "maybe'scriptNOfK" (Maybe ScriptNOfK) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'scriptNOfK" -> (Maybe ScriptNOfK -> f (Maybe ScriptNOfK)) -> NativeScript -> f NativeScript Source #

HasField NativeScript "maybe'scriptPubkey" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'scriptPubkey" -> (Maybe ByteString -> f (Maybe ByteString)) -> NativeScript -> f NativeScript Source #

HasField NativeScriptList "items" [NativeScript] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScriptList "vec'items" (Vector NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'items" -> (Vector NativeScript -> f (Vector NativeScript)) -> NativeScriptList -> f NativeScriptList Source #

HasField Script "maybe'native" (Maybe NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'native" -> (Maybe NativeScript -> f (Maybe NativeScript)) -> Script -> f Script Source #

HasField ScriptNOfK "scripts" [NativeScript] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "scripts" -> ([NativeScript] -> f [NativeScript]) -> ScriptNOfK -> f ScriptNOfK Source #

HasField ScriptNOfK "vec'scripts" (Vector NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'scripts" -> (Vector NativeScript -> f (Vector NativeScript)) -> ScriptNOfK -> f ScriptNOfK Source #

data NativeScript'NativeScript Source #

Instances

Instances details
NFData NativeScript'NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Show NativeScript'NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq NativeScript'NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord NativeScript'NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "maybe'nativeScript" (Maybe NativeScript'NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

data NativeScriptList Source #

Fields :

  • items :: Lens' NativeScriptList [NativeScript]
  • vec'items :: Lens' NativeScriptList (Data.Vector.Vector NativeScript)

Instances

Instances details
NFData NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: NativeScriptList -> () Source #

Show NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "scriptAll" NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "scriptAny" NativeScriptList Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "maybe'scriptAll" (Maybe NativeScriptList) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'scriptAll" -> (Maybe NativeScriptList -> f (Maybe NativeScriptList)) -> NativeScript -> f NativeScript Source #

HasField NativeScript "maybe'scriptAny" (Maybe NativeScriptList) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'scriptAny" -> (Maybe NativeScriptList -> f (Maybe NativeScriptList)) -> NativeScript -> f NativeScript Source #

HasField NativeScriptList "items" [NativeScript] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScriptList "vec'items" (Vector NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'items" -> (Vector NativeScript -> f (Vector NativeScript)) -> NativeScriptList -> f NativeScriptList Source #

data PParams Source #

Fields :

Instances

Instances details
NFData PParams Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: PParams -> () Source #

Show PParams Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq PParams Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord PParams Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message PParams Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PParams "coinsPerUtxoByte" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "coinsPerUtxoByte" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "collateralPercentage" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "collateralPercentage" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "committeeTermLimit" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "committeeTermLimit" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "costModels" CostModels Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "costModels" -> (CostModels -> f CostModels) -> PParams -> f PParams Source #

HasField PParams "desiredNumberOfPools" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "desiredNumberOfPools" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "drepDeposit" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "drepDeposit" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "drepInactivityPeriod" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "drepInactivityPeriod" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "drepVotingThresholds" VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "drepVotingThresholds" -> (VotingThresholds -> f VotingThresholds) -> PParams -> f PParams Source #

HasField PParams "governanceActionDeposit" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "governanceActionDeposit" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "governanceActionValidityPeriod" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "governanceActionValidityPeriod" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "maxBlockBodySize" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxBlockBodySize" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "maxBlockHeaderSize" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxBlockHeaderSize" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "maxCollateralInputs" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxCollateralInputs" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "maxExecutionUnitsPerBlock" ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxExecutionUnitsPerBlock" -> (ExUnits -> f ExUnits) -> PParams -> f PParams Source #

HasField PParams "maxExecutionUnitsPerTransaction" ExUnits Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxExecutionUnitsPerTransaction" -> (ExUnits -> f ExUnits) -> PParams -> f PParams Source #

HasField PParams "maxTxSize" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxTxSize" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "maxValueSize" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maxValueSize" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "minCommitteeSize" Word32 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "minCommitteeSize" -> (Word32 -> f Word32) -> PParams -> f PParams Source #

HasField PParams "minFeeCoefficient" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "minFeeCoefficient" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "minFeeConstant" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "minFeeConstant" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "minFeeScriptRefCostPerByte" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "minFeeScriptRefCostPerByte" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField PParams "minPoolCost" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "minPoolCost" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "monetaryExpansion" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "monetaryExpansion" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField PParams "poolDeposit" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "poolDeposit" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "poolInfluence" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "poolInfluence" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField PParams "poolRetirementEpochBound" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "poolRetirementEpochBound" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "poolVotingThresholds" VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "poolVotingThresholds" -> (VotingThresholds -> f VotingThresholds) -> PParams -> f PParams Source #

HasField PParams "prices" ExPrices Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "prices" -> (ExPrices -> f ExPrices) -> PParams -> f PParams Source #

HasField PParams "protocolVersion" ProtocolVersion Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "protocolVersion" -> (ProtocolVersion -> f ProtocolVersion) -> PParams -> f PParams Source #

HasField PParams "stakeKeyDeposit" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "stakeKeyDeposit" -> (Word64 -> f Word64) -> PParams -> f PParams Source #

HasField PParams "treasuryExpansion" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "treasuryExpansion" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField AnyChainParams "cardano" PParams Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Query.Query

Methods

fieldOf :: Functor f => Proxy# "cardano" -> (PParams -> f PParams) -> AnyChainParams -> f AnyChainParams Source #

HasField PParams "maybe'costModels" (Maybe CostModels) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'costModels" -> (Maybe CostModels -> f (Maybe CostModels)) -> PParams -> f PParams Source #

HasField PParams "maybe'drepVotingThresholds" (Maybe VotingThresholds) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'drepVotingThresholds" -> (Maybe VotingThresholds -> f (Maybe VotingThresholds)) -> PParams -> f PParams Source #

HasField PParams "maybe'maxExecutionUnitsPerBlock" (Maybe ExUnits) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'maxExecutionUnitsPerBlock" -> (Maybe ExUnits -> f (Maybe ExUnits)) -> PParams -> f PParams Source #

HasField PParams "maybe'maxExecutionUnitsPerTransaction" (Maybe ExUnits) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'maxExecutionUnitsPerTransaction" -> (Maybe ExUnits -> f (Maybe ExUnits)) -> PParams -> f PParams Source #

HasField PParams "maybe'minFeeScriptRefCostPerByte" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'minFeeScriptRefCostPerByte" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField PParams "maybe'monetaryExpansion" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'monetaryExpansion" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField PParams "maybe'poolInfluence" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'poolInfluence" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField PParams "maybe'poolVotingThresholds" (Maybe VotingThresholds) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'poolVotingThresholds" -> (Maybe VotingThresholds -> f (Maybe VotingThresholds)) -> PParams -> f PParams Source #

HasField PParams "maybe'prices" (Maybe ExPrices) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'prices" -> (Maybe ExPrices -> f (Maybe ExPrices)) -> PParams -> f PParams Source #

HasField PParams "maybe'protocolVersion" (Maybe ProtocolVersion) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'protocolVersion" -> (Maybe ProtocolVersion -> f (Maybe ProtocolVersion)) -> PParams -> f PParams Source #

HasField PParams "maybe'treasuryExpansion" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'treasuryExpansion" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField AnyChainParams "maybe'cardano" (Maybe PParams) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Query.Query

Methods

fieldOf :: Functor f => Proxy# "maybe'cardano" -> (Maybe PParams -> f (Maybe PParams)) -> AnyChainParams -> f AnyChainParams Source #

data PlutusData Source #

Fields :

  • maybe'plutusData :: Lens' PlutusData (Prelude.Maybe PlutusData'PlutusData)
  • maybe'constr :: Lens' PlutusData (Prelude.Maybe Constr)
  • constr :: Lens' PlutusData Constr
  • maybe'map :: Lens' PlutusData (Prelude.Maybe PlutusDataMap)
  • map :: Lens' PlutusData PlutusDataMap
  • maybe'bigInt :: Lens' PlutusData (Prelude.Maybe BigInt)
  • bigInt :: Lens' PlutusData BigInt
  • maybe'boundedBytes :: Lens' PlutusData (Prelude.Maybe Data.ByteString.ByteString)
  • boundedBytes :: Lens' PlutusData Data.ByteString.ByteString
  • maybe'array :: Lens' PlutusData (Prelude.Maybe PlutusDataArray)
  • array :: Lens' PlutusData PlutusDataArray

Instances

Instances details
NFData PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: PlutusData -> () Source #

Show PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField Datum "payload" PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "payload" -> (PlutusData -> f PlutusData) -> Datum -> f Datum Source #

HasField PlutusData "array" PlutusDataArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusData "bigInt" BigInt Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "bigInt" -> (BigInt -> f BigInt) -> PlutusData -> f PlutusData Source #

HasField PlutusData "boundedBytes" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "boundedBytes" -> (ByteString -> f ByteString) -> PlutusData -> f PlutusData Source #

HasField PlutusData "constr" Constr Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "constr" -> (Constr -> f Constr) -> PlutusData -> f PlutusData Source #

HasField PlutusData "map" PlutusDataMap Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataPair "key" PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataPair "value" PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField Constr "fields" [PlutusData] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "fields" -> ([PlutusData] -> f [PlutusData]) -> Constr -> f Constr Source #

HasField Constr "vec'fields" (Vector PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'fields" -> (Vector PlutusData -> f (Vector PlutusData)) -> Constr -> f Constr Source #

HasField Datum "maybe'payload" (Maybe PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'payload" -> (Maybe PlutusData -> f (Maybe PlutusData)) -> Datum -> f Datum Source #

HasField PlutusData "maybe'array" (Maybe PlutusDataArray) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'array" -> (Maybe PlutusDataArray -> f (Maybe PlutusDataArray)) -> PlutusData -> f PlutusData Source #

HasField PlutusData "maybe'bigInt" (Maybe BigInt) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'bigInt" -> (Maybe BigInt -> f (Maybe BigInt)) -> PlutusData -> f PlutusData Source #

HasField PlutusData "maybe'boundedBytes" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'boundedBytes" -> (Maybe ByteString -> f (Maybe ByteString)) -> PlutusData -> f PlutusData Source #

HasField PlutusData "maybe'constr" (Maybe Constr) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'constr" -> (Maybe Constr -> f (Maybe Constr)) -> PlutusData -> f PlutusData Source #

HasField PlutusData "maybe'map" (Maybe PlutusDataMap) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'map" -> (Maybe PlutusDataMap -> f (Maybe PlutusDataMap)) -> PlutusData -> f PlutusData Source #

HasField PlutusData "maybe'plutusData" (Maybe PlutusData'PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataArray "items" [PlutusData] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "items" -> ([PlutusData] -> f [PlutusData]) -> PlutusDataArray -> f PlutusDataArray Source #

HasField PlutusDataArray "vec'items" (Vector PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'items" -> (Vector PlutusData -> f (Vector PlutusData)) -> PlutusDataArray -> f PlutusDataArray Source #

HasField PlutusDataPair "maybe'key" (Maybe PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'key" -> (Maybe PlutusData -> f (Maybe PlutusData)) -> PlutusDataPair -> f PlutusDataPair Source #

HasField PlutusDataPair "maybe'value" (Maybe PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'value" -> (Maybe PlutusData -> f (Maybe PlutusData)) -> PlutusDataPair -> f PlutusDataPair Source #

data PlutusData'PlutusData Source #

Instances

Instances details
NFData PlutusData'PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Show PlutusData'PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq PlutusData'PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord PlutusData'PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusData "maybe'plutusData" (Maybe PlutusData'PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

data PlutusDataArray Source #

Fields :

  • items :: Lens' PlutusDataArray [PlutusData]
  • vec'items :: Lens' PlutusDataArray (Data.Vector.Vector PlutusData)

Instances

Instances details
NFData PlutusDataArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: PlutusDataArray -> () Source #

Show PlutusDataArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq PlutusDataArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord PlutusDataArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message PlutusDataArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusData "array" PlutusDataArray Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusData "maybe'array" (Maybe PlutusDataArray) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'array" -> (Maybe PlutusDataArray -> f (Maybe PlutusDataArray)) -> PlutusData -> f PlutusData Source #

HasField PlutusDataArray "items" [PlutusData] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "items" -> ([PlutusData] -> f [PlutusData]) -> PlutusDataArray -> f PlutusDataArray Source #

HasField PlutusDataArray "vec'items" (Vector PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'items" -> (Vector PlutusData -> f (Vector PlutusData)) -> PlutusDataArray -> f PlutusDataArray Source #

data PlutusDataMap Source #

Fields :

  • pairs :: Lens' PlutusDataMap [PlutusDataPair]
  • vec'pairs :: Lens' PlutusDataMap (Data.Vector.Vector PlutusDataPair)

Instances

Instances details
NFData PlutusDataMap Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: PlutusDataMap -> () Source #

Show PlutusDataMap Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq PlutusDataMap Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord PlutusDataMap Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message PlutusDataMap Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusData "map" PlutusDataMap Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusData "maybe'map" (Maybe PlutusDataMap) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'map" -> (Maybe PlutusDataMap -> f (Maybe PlutusDataMap)) -> PlutusData -> f PlutusData Source #

HasField PlutusDataMap "pairs" [PlutusDataPair] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataMap "vec'pairs" (Vector PlutusDataPair) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'pairs" -> (Vector PlutusDataPair -> f (Vector PlutusDataPair)) -> PlutusDataMap -> f PlutusDataMap Source #

data PlutusDataPair Source #

Fields :

  • key :: Lens' PlutusDataPair PlutusData
  • maybe'key :: Lens' PlutusDataPair (Prelude.Maybe PlutusData)
  • value :: Lens' PlutusDataPair PlutusData
  • maybe'value :: Lens' PlutusDataPair (Prelude.Maybe PlutusData)

Instances

Instances details
NFData PlutusDataPair Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: PlutusDataPair -> () Source #

Show PlutusDataPair Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq PlutusDataPair Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord PlutusDataPair Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message PlutusDataPair Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataPair "key" PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataPair "value" PlutusData Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataMap "pairs" [PlutusDataPair] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PlutusDataMap "vec'pairs" (Vector PlutusDataPair) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'pairs" -> (Vector PlutusDataPair -> f (Vector PlutusDataPair)) -> PlutusDataMap -> f PlutusDataMap Source #

HasField PlutusDataPair "maybe'key" (Maybe PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'key" -> (Maybe PlutusData -> f (Maybe PlutusData)) -> PlutusDataPair -> f PlutusDataPair Source #

HasField PlutusDataPair "maybe'value" (Maybe PlutusData) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'value" -> (Maybe PlutusData -> f (Maybe PlutusData)) -> PlutusDataPair -> f PlutusDataPair Source #

data ProtocolVersion Source #

Fields :

  • major :: Lens' ProtocolVersion Data.Word.Word32
  • minor :: Lens' ProtocolVersion Data.Word.Word32

Instances

Instances details
NFData ProtocolVersion Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: ProtocolVersion -> () Source #

Show ProtocolVersion Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq ProtocolVersion Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord ProtocolVersion Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message ProtocolVersion Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PParams "protocolVersion" ProtocolVersion Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "protocolVersion" -> (ProtocolVersion -> f ProtocolVersion) -> PParams -> f PParams Source #

HasField ProtocolVersion "major" Word32 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "major" -> (Word32 -> f Word32) -> ProtocolVersion -> f ProtocolVersion Source #

HasField ProtocolVersion "minor" Word32 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "minor" -> (Word32 -> f Word32) -> ProtocolVersion -> f ProtocolVersion Source #

HasField PParams "maybe'protocolVersion" (Maybe ProtocolVersion) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'protocolVersion" -> (Maybe ProtocolVersion -> f (Maybe ProtocolVersion)) -> PParams -> f PParams Source #

data RationalNumber Source #

Fields :

  • numerator :: Lens' RationalNumber Data.Int.Int64
  • denominator :: Lens' RationalNumber Data.Word.Word64

Instances

Instances details
NFData RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: RationalNumber -> () Source #

Show RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField ExPrices "memory" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "memory" -> (RationalNumber -> f RationalNumber) -> ExPrices -> f ExPrices Source #

HasField ExPrices "steps" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "steps" -> (RationalNumber -> f RationalNumber) -> ExPrices -> f ExPrices Source #

HasField PParams "minFeeScriptRefCostPerByte" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "minFeeScriptRefCostPerByte" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField PParams "monetaryExpansion" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "monetaryExpansion" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField PParams "poolInfluence" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "poolInfluence" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField PParams "treasuryExpansion" RationalNumber Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "treasuryExpansion" -> (RationalNumber -> f RationalNumber) -> PParams -> f PParams Source #

HasField RationalNumber "denominator" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "denominator" -> (Word64 -> f Word64) -> RationalNumber -> f RationalNumber Source #

HasField RationalNumber "numerator" Int64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "numerator" -> (Int64 -> f Int64) -> RationalNumber -> f RationalNumber Source #

HasField ExPrices "maybe'memory" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'memory" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> ExPrices -> f ExPrices Source #

HasField ExPrices "maybe'steps" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'steps" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> ExPrices -> f ExPrices Source #

HasField PParams "maybe'minFeeScriptRefCostPerByte" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'minFeeScriptRefCostPerByte" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField PParams "maybe'monetaryExpansion" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'monetaryExpansion" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField PParams "maybe'poolInfluence" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'poolInfluence" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField PParams "maybe'treasuryExpansion" (Maybe RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'treasuryExpansion" -> (Maybe RationalNumber -> f (Maybe RationalNumber)) -> PParams -> f PParams Source #

HasField VotingThresholds "thresholds" [RationalNumber] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "thresholds" -> ([RationalNumber] -> f [RationalNumber]) -> VotingThresholds -> f VotingThresholds Source #

HasField VotingThresholds "vec'thresholds" (Vector RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'thresholds" -> (Vector RationalNumber -> f (Vector RationalNumber)) -> VotingThresholds -> f VotingThresholds Source #

data Script Source #

Fields :

  • maybe'script :: Lens' Script (Prelude.Maybe Script'Script)
  • maybe'native :: Lens' Script (Prelude.Maybe NativeScript)
  • native :: Lens' Script NativeScript
  • maybe'plutusV1 :: Lens' Script (Prelude.Maybe Data.ByteString.ByteString)
  • plutusV1 :: Lens' Script Data.ByteString.ByteString
  • maybe'plutusV2 :: Lens' Script (Prelude.Maybe Data.ByteString.ByteString)
  • plutusV2 :: Lens' Script Data.ByteString.ByteString
  • maybe'plutusV3 :: Lens' Script (Prelude.Maybe Data.ByteString.ByteString)
  • plutusV3 :: Lens' Script Data.ByteString.ByteString
  • maybe'plutusV4 :: Lens' Script (Prelude.Maybe Data.ByteString.ByteString)
  • plutusV4 :: Lens' Script Data.ByteString.ByteString

Instances

Instances details
NFData Script Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: Script -> () Source #

Show Script Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq Script Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord Script Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message Script Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField Script "native" NativeScript Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "native" -> (NativeScript -> f NativeScript) -> Script -> f Script Source #

HasField Script "plutusV1" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV1" -> (ByteString -> f ByteString) -> Script -> f Script Source #

HasField Script "plutusV2" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV2" -> (ByteString -> f ByteString) -> Script -> f Script Source #

HasField Script "plutusV3" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV3" -> (ByteString -> f ByteString) -> Script -> f Script Source #

HasField Script "plutusV4" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "plutusV4" -> (ByteString -> f ByteString) -> Script -> f Script Source #

HasField TxOutput "script" Script Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "script" -> (Script -> f Script) -> TxOutput -> f TxOutput Source #

HasField Script "maybe'native" (Maybe NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'native" -> (Maybe NativeScript -> f (Maybe NativeScript)) -> Script -> f Script Source #

HasField Script "maybe'plutusV1" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV1" -> (Maybe ByteString -> f (Maybe ByteString)) -> Script -> f Script Source #

HasField Script "maybe'plutusV2" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV2" -> (Maybe ByteString -> f (Maybe ByteString)) -> Script -> f Script Source #

HasField Script "maybe'plutusV3" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV3" -> (Maybe ByteString -> f (Maybe ByteString)) -> Script -> f Script Source #

HasField Script "maybe'plutusV4" (Maybe ByteString) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'plutusV4" -> (Maybe ByteString -> f (Maybe ByteString)) -> Script -> f Script Source #

HasField Script "maybe'script" (Maybe Script'Script) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'script" -> (Maybe Script'Script -> f (Maybe Script'Script)) -> Script -> f Script Source #

HasField TxOutput "maybe'script" (Maybe Script) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'script" -> (Maybe Script -> f (Maybe Script)) -> TxOutput -> f TxOutput Source #

data Script'Script Source #

data ScriptNOfK Source #

Fields :

  • k :: Lens' ScriptNOfK Data.Word.Word32
  • scripts :: Lens' ScriptNOfK [NativeScript]
  • vec'scripts :: Lens' ScriptNOfK (Data.Vector.Vector NativeScript)

Instances

Instances details
NFData ScriptNOfK Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: ScriptNOfK -> () Source #

Show ScriptNOfK Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq ScriptNOfK Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord ScriptNOfK Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message ScriptNOfK Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField NativeScript "scriptNOfK" ScriptNOfK Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "scriptNOfK" -> (ScriptNOfK -> f ScriptNOfK) -> NativeScript -> f NativeScript Source #

HasField ScriptNOfK "k" Word32 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "k" -> (Word32 -> f Word32) -> ScriptNOfK -> f ScriptNOfK Source #

HasField NativeScript "maybe'scriptNOfK" (Maybe ScriptNOfK) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'scriptNOfK" -> (Maybe ScriptNOfK -> f (Maybe ScriptNOfK)) -> NativeScript -> f NativeScript Source #

HasField ScriptNOfK "scripts" [NativeScript] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "scripts" -> ([NativeScript] -> f [NativeScript]) -> ScriptNOfK -> f ScriptNOfK Source #

HasField ScriptNOfK "vec'scripts" (Vector NativeScript) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'scripts" -> (Vector NativeScript -> f (Vector NativeScript)) -> ScriptNOfK -> f ScriptNOfK Source #

data TxOutput Source #

Fields :

  • address :: Lens' TxOutput Data.ByteString.ByteString
  • coin :: Lens' TxOutput Data.Word.Word64
  • assets :: Lens' TxOutput [MultiAsset]
  • vec'assets :: Lens' TxOutput (Data.Vector.Vector MultiAsset)
  • datum :: Lens' TxOutput Datum
  • maybe'datum :: Lens' TxOutput (Prelude.Maybe Datum)
  • script :: Lens' TxOutput Script
  • maybe'script :: Lens' TxOutput (Prelude.Maybe Script)

Instances

Instances details
NFData TxOutput Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: TxOutput -> () Source #

Show TxOutput Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq TxOutput Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord TxOutput Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message TxOutput Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField TxOutput "address" ByteString Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "address" -> (ByteString -> f ByteString) -> TxOutput -> f TxOutput Source #

HasField TxOutput "coin" Word64 Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "coin" -> (Word64 -> f Word64) -> TxOutput -> f TxOutput Source #

HasField TxOutput "datum" Datum Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "datum" -> (Datum -> f Datum) -> TxOutput -> f TxOutput Source #

HasField TxOutput "script" Script Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "script" -> (Script -> f Script) -> TxOutput -> f TxOutput Source #

HasField AnyUtxoData "cardano" TxOutput Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Query.Query

Methods

fieldOf :: Functor f => Proxy# "cardano" -> (TxOutput -> f TxOutput) -> AnyUtxoData -> f AnyUtxoData Source #

HasField TxOutput "assets" [MultiAsset] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "assets" -> ([MultiAsset] -> f [MultiAsset]) -> TxOutput -> f TxOutput Source #

HasField TxOutput "maybe'datum" (Maybe Datum) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'datum" -> (Maybe Datum -> f (Maybe Datum)) -> TxOutput -> f TxOutput Source #

HasField TxOutput "maybe'script" (Maybe Script) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'script" -> (Maybe Script -> f (Maybe Script)) -> TxOutput -> f TxOutput Source #

HasField TxOutput "vec'assets" (Vector MultiAsset) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'assets" -> (Vector MultiAsset -> f (Vector MultiAsset)) -> TxOutput -> f TxOutput Source #

HasField AnyUtxoData "maybe'cardano" (Maybe TxOutput) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Query.Query

Methods

fieldOf :: Functor f => Proxy# "maybe'cardano" -> (Maybe TxOutput -> f (Maybe TxOutput)) -> AnyUtxoData -> f AnyUtxoData Source #

data VotingThresholds Source #

Fields :

  • thresholds :: Lens' VotingThresholds [RationalNumber]
  • vec'thresholds :: Lens' VotingThresholds (Data.Vector.Vector RationalNumber)

Instances

Instances details
NFData VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

rnf :: VotingThresholds -> () Source #

Show VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Eq VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Ord VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Message VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

HasField PParams "drepVotingThresholds" VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "drepVotingThresholds" -> (VotingThresholds -> f VotingThresholds) -> PParams -> f PParams Source #

HasField PParams "poolVotingThresholds" VotingThresholds Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "poolVotingThresholds" -> (VotingThresholds -> f VotingThresholds) -> PParams -> f PParams Source #

HasField PParams "maybe'drepVotingThresholds" (Maybe VotingThresholds) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'drepVotingThresholds" -> (Maybe VotingThresholds -> f (Maybe VotingThresholds)) -> PParams -> f PParams Source #

HasField PParams "maybe'poolVotingThresholds" (Maybe VotingThresholds) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "maybe'poolVotingThresholds" -> (Maybe VotingThresholds -> f (Maybe VotingThresholds)) -> PParams -> f PParams Source #

HasField VotingThresholds "thresholds" [RationalNumber] Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "thresholds" -> ([RationalNumber] -> f [RationalNumber]) -> VotingThresholds -> f VotingThresholds Source #

HasField VotingThresholds "vec'thresholds" (Vector RationalNumber) Source # 
Instance details

Defined in Proto.Utxorpc.V1alpha.Cardano.Cardano

Methods

fieldOf :: Functor f => Proxy# "vec'thresholds" -> (Vector RationalNumber -> f (Vector RationalNumber)) -> VotingThresholds -> f VotingThresholds Source #