Module

Cardano.Types

Re-exports from Cardano.Types.Address

#Address

data Address

Constructors

Instances

Re-exports from Cardano.Types.Anchor

#Anchor

newtype Anchor

Constructors

Anchor { dataHash :: AnchorDataHash, url :: URL }

Instances

Re-exports from Cardano.Types.AnchorDataHash

#AnchorDataHash

newtype AnchorDataHash

Constructors

AnchorDataHash AnchorDataHash

Instances

Re-exports from Cardano.Types.Asset

#Asset

data Asset

Constructors

Asset ScriptHash AssetName

Instances

Re-exports from Cardano.Types.AssetClass

#AssetClass

data AssetClass

Constructors

AssetClass ScriptHash AssetName

Instances

Re-exports from Cardano.Types.AssetName

#AssetName

newtype AssetName

Constructors

AssetName AssetName

Instances

Re-exports from Cardano.Types.AuxiliaryData

#AuxiliaryData

newtype AuxiliaryData

Constructors

AuxiliaryData { metadata :: Maybe GeneralTransactionMetadata, nativeScripts :: Maybe (Array NativeScript), plutusScripts :: Maybe (Array PlutusScript) }

Instances

Re-exports from Cardano.Types.AuxiliaryDataHash

#AuxiliaryDataHash

newtype AuxiliaryDataHash

Constructors

AuxiliaryDataHash AuxiliaryDataHash

Instances

Re-exports from Cardano.Types.Base58String

#Base58String

type Base58String = String

Re-exports from Cardano.Types.BaseAddress

#BaseAddress

type BaseAddress = { networkId :: NetworkId, paymentCredential :: PaymentCredential, stakeCredential :: StakeCredential }

Re-exports from Cardano.Types.Bech32String

#Bech32String

type Bech32String = String

Re-exports from Cardano.Types.BigInt

#BigInt

data BigInt

Instances

Re-exports from Cardano.Types.BigNum

#BigNum

newtype BigNum

Unisigned 64-bit integer, 0..18446744073709551615

Constructors

BigNum BigNum

Instances

Re-exports from Cardano.Types.BootstrapWitness

#BootstrapWitness

newtype BootstrapWitness

Constructors

BootstrapWitness { attributes :: ByteArray, chainCode :: ByteArray, signature :: Ed25519Signature, vkey :: Vkey }

Instances

Re-exports from Cardano.Types.ByronAddress

#ByronAddress

newtype ByronAddress

Constructors

ByronAddress ByronAddress

Instances

Re-exports from Cardano.Types.CborBytes

#CborBytes

newtype CborBytes

An array of bytes containing CBOR data

Constructors

CborBytes ByteArray

Instances

Re-exports from Cardano.Types.Certificate

#Certificate

data Certificate

Constructors

StakeRegistration StakeCredential
StakeDeregistration StakeCredential
StakeDelegation StakeCredential PoolPubKeyHash
PoolRegistration PoolParams
PoolRetirement { epoch :: Epoch, poolKeyHash :: PoolPubKeyHash }
VoteDelegCert StakeCredential DRep
StakeVoteDelegCert StakeCredential PoolPubKeyHash DRep
StakeRegDelegCert StakeCredential PoolPubKeyHash Coin
VoteRegDelegCert StakeCredential DRep Coin
StakeVoteRegDelegCert StakeCredential PoolPubKeyHash DRep Coin
AuthCommitteeHotCert { coldCred :: Credential, hotCred :: Credential }
ResignCommitteeColdCert Credential (Maybe Anchor)
RegDrepCert Credential Coin (Maybe Anchor)
UnregDrepCert Credential Coin
UpdateDrepCert Credential (Maybe Anchor)

Instances

Re-exports from Cardano.Types.Chain

#Tip

data Tip

Constructors

TipAtGenesis
Tip ChainTip

Instances

#ChainTip

newtype ChainTip

Constructors

ChainTip { blockHeaderHash :: BlockHeaderHash, slot :: Slot }

Instances

#BlockHeaderHash

newtype BlockHeaderHash

Constructors

BlockHeaderHash String

Instances

Re-exports from Cardano.Types.Coin

#Coin

newtype Coin

Constructors

Coin BigNum

Instances

Re-exports from Cardano.Types.Committee

#Committee

newtype Committee

Constructors

Committee { members :: Array (Credential /\ Epoch), quorumThreshold :: UnitInterval }

Instances

Re-exports from Cardano.Types.Constitution

#Constitution

newtype Constitution

Constructors

Constitution { anchor :: Anchor, scriptHash :: Maybe ScriptHash }

Instances

Re-exports from Cardano.Types.CostModel

#CostModel

newtype CostModel

Constructors

CostModel (Array Int)

Instances

Re-exports from Cardano.Types.Credential

#Credential

data Credential

Constructors

Instances

Re-exports from Cardano.Types.DRep

#DRep

data DRep

Constructors

Instances

Re-exports from Cardano.Types.DRepVotingThresholds

#DRepVotingThresholds

newtype DRepVotingThresholds

Constructors

DRepVotingThresholds { committeeNoConfidence :: UnitInterval, committeeNormal :: UnitInterval, hardForkInitiation :: UnitInterval, motionNoConfidence :: UnitInterval, ppEconomicGroup :: UnitInterval, ppGovernanceGroup :: UnitInterval, ppNetworkGroup :: UnitInterval, ppTechnicalGroup :: UnitInterval, treasuryWithdrawal :: UnitInterval, updateConstitution :: UnitInterval }

Instances

Re-exports from Cardano.Types.DataHash

#DataHash

newtype DataHash

Constructors

DataHash DataHash

Instances

Re-exports from Cardano.Types.DelegationsAndRewards

#DelegationsAndRewards

type DelegationsAndRewards = { delegate :: Maybe PoolPubKeyHash, rewards :: Maybe Coin }

Re-exports from Cardano.Types.Ed25519KeyHash

#Ed25519KeyHash

newtype Ed25519KeyHash

Constructors

Ed25519KeyHash Ed25519KeyHash

Instances

Re-exports from Cardano.Types.Ed25519Signature

#Ed25519Signature

newtype Ed25519Signature

Constructors

Ed25519Signature Ed25519Signature

Instances

Re-exports from Cardano.Types.EnterpriseAddress

#EnterpriseAddress

type EnterpriseAddress = { networkId :: NetworkId, paymentCredential :: PaymentCredential }

Re-exports from Cardano.Types.Epoch

#Epoch

newtype Epoch

Constructors

Epoch UInt

Instances

Re-exports from Cardano.Types.EraSummaries

#SlotLength

newtype SlotLength

A slot length, in milliseconds.

Constructors

SlotLength Number

Instances

#SafeZone

newtype SafeZone

Number of slots from the tip of the ledger in which it is guaranteed that no hard fork can take place. This should be (at least) the number of slots in which we are guaranteed to have k blocks.

Constructors

SafeZone BigInt

Instances

#RelativeTime

newtype RelativeTime

A time in seconds relative to another one (typically, system start or era start).

Constructors

RelativeTime Number

Instances

#EraSummaryTime

newtype EraSummaryTime

time: Time in seconds relative to the start time of the network.

slot: Absolute slot number. Ogmios returns a number 0-18446744073709552000 but our Slot is a Rust u64 which has precision up to 18446744073709551615 (note 385 difference). We treat this as neglible instead of defining AbsSlot BigInt. See https://github.com/Plutonomicon/cardano-transaction-lib/issues/632 for details.

epoch: Epoch number.

Constructors

EraSummaryTime { epoch :: Epoch, slot :: Slot, time :: RelativeTime }

Instances

#EraSummaryParameters

newtype EraSummaryParameters

epochLength: Epoch length in number of slots.

slotLength: Slot length in milliseconds.

safe_zone: Zone in which it is guaranteed that no hard fork can take place.

Constructors

EraSummaryParameters { epochLength :: EpochLength, safeZone :: SafeZone, slotLength :: SlotLength }

Instances

#EraSummary

newtype EraSummary

start: Era bound which captures the time, slot and epoch at which the era starts, relative to the start of the network.

end: Era bound which captures the time, slot and epoch at which the era ends, relative to the start of the network.

parameters: Era parameters that can vary across hard forks.

Constructors

EraSummary { end :: Maybe EraSummaryTime, parameters :: EraSummaryParameters, start :: EraSummaryTime }

Instances

#EraSummaries

newtype EraSummaries

Constructors

EraSummaries (Array EraSummary)

Instances

#EpochLength

newtype EpochLength

Constructors

EpochLength BigInt

Instances

Re-exports from Cardano.Types.ExUnitPrices

#ExUnitPrices

newtype ExUnitPrices

Constructors

ExUnitPrices { memPrice :: UnitInterval, stepPrice :: UnitInterval }

Instances

Re-exports from Cardano.Types.ExUnits

#ExUnits

newtype ExUnits

Constructors

ExUnits { mem :: BigNum, steps :: BigNum }

Instances

Re-exports from Cardano.Types.GeneralTransactionMetadata

#GeneralTransactionMetadata

newtype GeneralTransactionMetadata

Constructors

GeneralTransactionMetadata (Map BigNum TransactionMetadatum)

Instances

Re-exports from Cardano.Types.GenesisHash

#GenesisHash

newtype GenesisHash

Constructors

GenesisHash GenesisHash

Instances

Re-exports from Cardano.Types.GovernanceAction

#GovernanceAction

data GovernanceAction

Constructors

Instances

Re-exports from Cardano.Types.GovernanceActionId

#GovernanceActionId

newtype GovernanceActionId

Constructors

GovernanceActionId { index :: UInt, transactionId :: TransactionHash }

Instances

Re-exports from Cardano.Types.HardForkInitiationAction

#HardForkInitiationAction

newtype HardForkInitiationAction

Constructors

HardForkInitiationAction { actionId :: Maybe GovernanceActionId, protocolVersion :: ProtocolVersion }

Instances

Re-exports from Cardano.Types.Ipv4

#Ipv4

newtype Ipv4

Constructors

Ipv4 Ipv4

Instances

Re-exports from Cardano.Types.Ipv6

#Ipv6

newtype Ipv6

Constructors

Ipv6 Ipv6

Instances

Re-exports from Cardano.Types.Language

#Language

data Language

Constructors

Instances

Re-exports from Cardano.Types.Mint

#Mint

newtype Mint

Constructors

Mint (Map ScriptHash (Map AssetName Int))

Instances

Re-exports from Cardano.Types.MultiAsset

#MultiAsset

newtype MultiAsset

Constructors

MultiAsset (Map ScriptHash (Map AssetName BigNum))

Instances

Re-exports from Cardano.Types.NativeScript

#NativeScript

data NativeScript

Constructors

Instances

Re-exports from Cardano.Types.NetworkId

#NetworkId

data NetworkId

Constructors

TestnetId
MainnetId

Instances

Re-exports from Cardano.Types.NewConstitutionAction

#NewConstitutionAction

newtype NewConstitutionAction

Constructors

NewConstitutionAction { actionId :: Maybe GovernanceActionId, constitution :: Constitution }

Instances

Re-exports from Cardano.Types.NoConfidenceAction

#NoConfidenceAction

newtype NoConfidenceAction

Constructors

NoConfidenceAction { actionId :: Maybe GovernanceActionId }

Instances

Re-exports from Cardano.Types.OutputDatum

#OutputDatum

data OutputDatum

Constructors

Instances

Generic OutputDatum _
Eq OutputDatum
Ord OutputDatum
Show OutputDatum
HasPlutusSchema OutputDatum (ApPCons (MkField_ "OutputDatumHash" (MkIxK_ PNil Z)) (ApPCons (MkField_ "OutputDatum" (MkIxK_ PNil (S Z))) PNil))
ToData OutputDatum
FromData OutputDatum
EncodeAeson OutputDatum
DecodeAeson OutputDatum
AsCbor OutputDatum
Arbitrary OutputDatum

Re-exports from Cardano.Types.ParameterChangeAction

#ParameterChangeAction

newtype ParameterChangeAction

Constructors

ParameterChangeAction { actionId :: Maybe GovernanceActionId, policyHash :: Maybe ScriptHash, pparamsUpdate :: ProtocolParamUpdate }

Instances

Re-exports from Cardano.Types.PaymentCredential

#PaymentCredential

newtype PaymentCredential

Constructors

PaymentCredential Credential

Instances

Re-exports from Cardano.Types.PaymentPubKeyHash

#PaymentPubKeyHash

newtype PaymentPubKeyHash

Constructors

PaymentPubKeyHash Ed25519KeyHash

Instances

Re-exports from Cardano.Types.PlutusData

#PlutusData

data PlutusData

Constructors

Constr BigNum (Array PlutusData)
Map (Array (Tuple PlutusData PlutusData))
List (Array PlutusData)
Integer BigInt
Bytes ByteArray

Instances

Re-exports from Cardano.Types.PlutusScript

#PlutusScript

newtype PlutusScript

Corresponds to "Script" in Plutus

Constructors

PlutusScript (ByteArray /\ Language)

Instances

Re-exports from Cardano.Types.PoolMetadata

#PoolMetadata

newtype PoolMetadata

Constructors

PoolMetadata { hash :: PoolMetadataHash, url :: URL }

Instances

Re-exports from Cardano.Types.PoolMetadataHash

#PoolMetadataHash

newtype PoolMetadataHash

Constructors

PoolMetadataHash PoolMetadataHash

Instances

Re-exports from Cardano.Types.PoolParams

#PoolParams

newtype PoolParams

Constructors

PoolParams { cost :: BigNum, margin :: UnitInterval, operator :: PoolPubKeyHash, pledge :: BigNum, poolMetadata :: Maybe PoolMetadata, poolOwners :: Array Ed25519KeyHash, relays :: Array Relay, rewardAccount :: RewardAddress, vrfKeyhash :: VRFKeyHash }

Instances

Re-exports from Cardano.Types.PoolPubKeyHash

#PoolPubKeyHash

newtype PoolPubKeyHash

Constructors

PoolPubKeyHash Ed25519KeyHash

Instances

Re-exports from Cardano.Types.PoolVotingThresholds

#PoolVotingThresholds

newtype PoolVotingThresholds

Constructors

PoolVotingThresholds { committeeNoConfidence :: UnitInterval, committeeNormal :: UnitInterval, hardForkInitiation :: UnitInterval, motionNoConfidence :: UnitInterval, securityRelevantThreshold :: UnitInterval }

Instances

Re-exports from Cardano.Types.PrivateKey

#PrivateKey

newtype PrivateKey

Constructors

PrivateKey PrivateKey

Instances

Re-exports from Cardano.Types.ProtocolParamUpdate

#ProtocolParamUpdate

newtype ProtocolParamUpdate

Constructors

ProtocolParamUpdate { adaPerUtxoByte :: Maybe Coin, collateralPercentage :: Maybe UInt, committeeTermLimit :: Maybe Epoch, costModels :: Maybe (Map Language CostModel), drepDeposit :: Maybe Coin, drepInactivityPeriod :: Maybe Epoch, drepVotingThresholds :: Maybe DRepVotingThresholds, executionCosts :: Maybe ExUnitPrices, expansionRate :: Maybe UnitInterval, govActionDeposit :: Maybe Coin, govActionValidityPeriod :: Maybe Epoch, keyDeposit :: Maybe Coin, maxBlockBodySize :: Maybe UInt, maxBlockExUnits :: Maybe ExUnits, maxBlockHeaderSize :: Maybe UInt, maxCollateralInputs :: Maybe UInt, maxEpoch :: Maybe Epoch, maxTxExUnits :: Maybe ExUnits, maxTxSize :: Maybe UInt, maxValueSize :: Maybe UInt, minCommitteeSize :: Maybe UInt, minPoolCost :: Maybe Coin, minfeeA :: Maybe Coin, minfeeB :: Maybe Coin, nOpt :: Maybe UInt, poolDeposit :: Maybe Coin, poolPledgeInfluence :: Maybe UnitInterval, poolVotingThresholds :: Maybe PoolVotingThresholds, refScriptCoinsPerByte :: Maybe UnitInterval, treasuryGrowthRate :: Maybe UnitInterval }

Instances

Re-exports from Cardano.Types.ProtocolParameters

#ProtocolParameters

newtype ProtocolParameters

Constructors

ProtocolParameters { coinsPerUtxoByte :: Coin, collateralPercent :: UInt, costModels :: Map Language CostModel, decentralization :: Rational, drepDeposit :: Coin, govActionDeposit :: Coin, maxBlockBodySize :: UInt, maxBlockExUnits :: ExUnits, maxBlockHeaderSize :: UInt, maxCollateralInputs :: UInt, maxTxExUnits :: ExUnits, maxTxSize :: UInt, maxValueSize :: UInt, minPoolCost :: Coin, monetaryExpansion :: Rational, poolPledgeInfluence :: Rational, poolRetireMaxEpoch :: Epoch, prices :: ExUnitPrices, protocolVersion :: Tuple UInt UInt, refScriptCoinsPerByte :: Rational, stakeAddressDeposit :: Coin, stakePoolDeposit :: Coin, stakePoolTargetNum :: UInt, treasuryCut :: Rational, txFeeFixed :: Coin, txFeePerByte :: UInt }

Instances

Re-exports from Cardano.Types.ProtocolVersion

#ProtocolVersion

newtype ProtocolVersion

Constructors

ProtocolVersion { major :: Int, minor :: Int }

Instances

Re-exports from Cardano.Types.PublicKey

#PublicKey

newtype PublicKey

Constructors

PublicKey PublicKey

Instances

Re-exports from Cardano.Types.Rational

#Rational

newtype Rational

Rational is a newtype over Ratio with a smart constructor reduce that allows to create a Rational safely. The constructor is not exposed. Rational also enforces the denominator to always be positive.

Instances

#RationalComponent

class RationalComponent (t :: Type)  where

Members

reduce :: t -> t -> Maybe Rational
Our reduce mirrors PlutusTx.Ratio.ratio, not PlutusTx.Ratio.reduce. Plutus' reduce does not do any positive denominator normalisation

Also see: https://playground.plutus.iohkdev.io/doc/haddock/plutus-tx/html/src/PlutusTx.Ratio.html#ratio https://playground.plutus.iohkdev.io/doc/haddock/plutus-tx/html/src/PlutusTx.Ratio.html#reduce

Instances

#toUnitInterval

toUnitInterval :: Rational -> Maybe UnitInterval

#recip

recip :: Rational -> Maybe Rational

Gives the reciprocal of a Rational. Returns Nothing if applied to zero since the reciprocal of zero is mathematically undefined.

#numerator

numerator :: Rational -> BigInt

Get the numerator of a Rational as BigInt.

#fromNumber

fromNumber :: Number -> Maybe Rational

#denominator

denominator :: Rational -> BigInt

Get the denominator of a Rational as BigInt.

#(%)

Operator alias for Cardano.Types.Rational.reduce (left-associative / precedence 7)

Re-exports from Cardano.Types.RawBytes

#RawBytes

newtype RawBytes

An array of Bytes with no information about the content format

Constructors

RawBytes ByteArray

Instances

Re-exports from Cardano.Types.Redeemer

#Redeemer

newtype Redeemer

Constructors

Redeemer { data :: RedeemerDatum, exUnits :: ExUnits, index :: BigNum, tag :: RedeemerTag }

Instances

Re-exports from Cardano.Types.RedeemerDatum

#RedeemerDatum

newtype RedeemerDatum

Constructors

RedeemerDatum PlutusData

Instances

Re-exports from Cardano.Types.RedeemerTag

#RedeemerTag

data RedeemerTag

Constructors

Instances

Re-exports from Cardano.Types.Relay

#Relay

data Relay

Constructors

SingleHostAddr { ipv4 :: Maybe Ipv4, ipv6 :: Maybe Ipv6, port :: Maybe Int }
SingleHostName { dnsName :: String, port :: Maybe Int }
MultiHostName { dnsName :: String }

Instances

Re-exports from Cardano.Types.RewardAddress

#RewardAddress

type RewardAddress = { networkId :: NetworkId, stakeCredential :: StakeCredential }

Re-exports from Cardano.Types.ScriptDataHash

#ScriptDataHash

newtype ScriptDataHash

Constructors

ScriptDataHash ScriptDataHash

Instances

Re-exports from Cardano.Types.ScriptHash

#ScriptHash

newtype ScriptHash

blake2b-224 hash digests of serialized monetary scripts

Constructors

ScriptHash ScriptHash

Instances

Re-exports from Cardano.Types.ScriptRef

#ScriptRef

data ScriptRef

Constructors

Instances

Re-exports from Cardano.Types.Slot

#Slot

newtype Slot

Constructors

Slot BigNum

Instances

Re-exports from Cardano.Types.StakeCredential

#StakeCredential

newtype StakeCredential

Constructors

StakeCredential Credential

Instances

Re-exports from Cardano.Types.StakePubKeyHash

#StakePubKeyHash

newtype StakePubKeyHash

Constructors

StakePubKeyHash Ed25519KeyHash

Instances

Re-exports from Cardano.Types.StakeValidatorHash

#StakeValidatorHash

newtype StakeValidatorHash

Constructors

StakeValidatorHash ScriptHash

Instances

Re-exports from Cardano.Types.SystemStart

#SystemStart

newtype SystemStart

Constructors

SystemStart DateTime

Instances

#sysStartUnixTime

sysStartUnixTime :: SystemStart -> Maybe BigInt

Returns system start Unix time in milliseconds as BigInt.

Re-exports from Cardano.Types.Transaction

#Transaction

newtype Transaction

Constructors

Transaction { auxiliaryData :: Maybe AuxiliaryData, body :: TransactionBody, isValid :: Boolean, witnessSet :: TransactionWitnessSet }

Instances

#_witnessSet

_witnessSet :: Lens' Transaction TransactionWitnessSet

#_isValid

_isValid :: Lens' Transaction Boolean

#_body

_body :: Lens' Transaction TransactionBody

#_auxiliaryData

_auxiliaryData :: Lens' Transaction (Maybe AuxiliaryData)

Re-exports from Cardano.Types.TransactionBody

#TransactionBody

newtype TransactionBody

Constructors

TransactionBody { auxiliaryDataHash :: Maybe AuxiliaryDataHash, certs :: Array Certificate, collateral :: Array TransactionInput, collateralReturn :: Maybe TransactionOutput, currentTreasuryValue :: Maybe Coin, donation :: Maybe Coin, fee :: Coin, inputs :: Array TransactionInput, mint :: Maybe Mint, networkId :: Maybe NetworkId, outputs :: Array TransactionOutput, referenceInputs :: Array TransactionInput, requiredSigners :: Array Ed25519KeyHash, scriptDataHash :: Maybe ScriptDataHash, totalCollateral :: Maybe Coin, ttl :: Maybe Slot, validityStartInterval :: Maybe Slot, votingProcedures :: VotingProcedures, votingProposals :: Array VotingProposal, withdrawals :: Map RewardAddress Coin }

Instances

#_withdrawals

_withdrawals :: Lens' TransactionBody (Map RewardAddress Coin)

#_validityStartInterval

_validityStartInterval :: Lens' TransactionBody (Maybe Slot)

#_ttl

_ttl :: Lens' TransactionBody (Maybe Slot)

#_totalCollateral

_totalCollateral :: Lens' TransactionBody (Maybe Coin)

#_scriptDataHash

_scriptDataHash :: Lens' TransactionBody (Maybe ScriptDataHash)

#_requiredSigners

_requiredSigners :: Lens' TransactionBody (Array Ed25519KeyHash)

#_referenceInputs

_referenceInputs :: Lens' TransactionBody (Array TransactionInput)

#_outputs

_outputs :: Lens' TransactionBody (Array TransactionOutput)

#_networkId

_networkId :: Lens' TransactionBody (Maybe NetworkId)

#_mint

_mint :: Lens' TransactionBody (Maybe Mint)

#_inputs

_inputs :: Lens' TransactionBody (Array TransactionInput)

#_fee

_fee :: Lens' TransactionBody Coin

#_collateralReturn

_collateralReturn :: Lens' TransactionBody (Maybe TransactionOutput)

#_collateral

_collateral :: Lens' TransactionBody (Array TransactionInput)

#_certs

_certs :: Lens' TransactionBody (Array Certificate)

#_auxiliaryDataHash

_auxiliaryDataHash :: Lens' TransactionBody (Maybe AuxiliaryDataHash)

Re-exports from Cardano.Types.TransactionHash

#TransactionHash

newtype TransactionHash

32-bytes blake2b256 hash of a tx body. NOTE. Plutus docs might incorrectly state that it uses SHA256 for this purposes.

Constructors

TransactionHash TransactionHash

Instances

Re-exports from Cardano.Types.TransactionInput

#TransactionInput

newtype TransactionInput

Constructors

TransactionInput { index :: UInt, transactionId :: TransactionHash }

Instances

#_transactionId

_transactionId :: Lens' TransactionInput TransactionHash

#_index

_index :: Lens' TransactionInput UInt

Re-exports from Cardano.Types.TransactionMetadatum

#TransactionMetadatum

data TransactionMetadatum

Constructors

Map (Map TransactionMetadatum TransactionMetadatum)
List (Array TransactionMetadatum)
Bytes ByteArray

Instances

Re-exports from Cardano.Types.TransactionOutput

#TransactionOutput

newtype TransactionOutput

Constructors

TransactionOutput { address :: Address, amount :: Value, datum :: Maybe OutputDatum, scriptRef :: Maybe ScriptRef }

Instances

#_scriptRef

_scriptRef :: Lens' TransactionOutput (Maybe ScriptRef)

#_datum

_datum :: Lens' TransactionOutput (Maybe OutputDatum)

#_amount

_amount :: Lens' TransactionOutput Value

#_address

_address :: Lens' TransactionOutput Address

Re-exports from Cardano.Types.TransactionUnspentOutput

#TransactionUnspentOutput

newtype TransactionUnspentOutput

Constructors

TransactionUnspentOutput { input :: TransactionInput, output :: TransactionOutput }

Instances

#_output

_output :: Lens' TransactionUnspentOutput TransactionOutput

#_input

_input :: Lens' TransactionUnspentOutput TransactionInput

Re-exports from Cardano.Types.TransactionWitnessSet

#TransactionWitnessSet

newtype TransactionWitnessSet

Constructors

TransactionWitnessSet { bootstraps :: Array BootstrapWitness, nativeScripts :: Array NativeScript, plutusData :: Array PlutusData, plutusScripts :: Array PlutusScript, redeemers :: Array Redeemer, vkeys :: Array Vkeywitness }

Instances

#_vkeys

_vkeys :: Lens' TransactionWitnessSet (Array Vkeywitness)

#_redeemers

_redeemers :: Lens' TransactionWitnessSet (Array Redeemer)

#_plutusScripts

_plutusScripts :: Lens' TransactionWitnessSet (Array PlutusScript)

#_plutusData

_plutusData :: Lens' TransactionWitnessSet (Array PlutusData)

#_nativeScripts

_nativeScripts :: Lens' TransactionWitnessSet (Array NativeScript)

#_bootstraps

_bootstraps :: Lens' TransactionWitnessSet (Array BootstrapWitness)

Re-exports from Cardano.Types.TreasuryWithdrawalsAction

#TreasuryWithdrawalsAction

newtype TreasuryWithdrawalsAction

Constructors

TreasuryWithdrawalsAction { policyHash :: Maybe ScriptHash, withdrawals :: Map RewardAddress Coin }

Instances

Re-exports from Cardano.Types.URL

#URL

newtype URL

Constructors

URL String

Instances

Re-exports from Cardano.Types.UnitInterval

#UnitInterval

newtype UnitInterval

Constructors

UnitInterval { denominator :: BigNum, numerator :: BigNum }

Instances

Re-exports from Cardano.Types.UpdateCommitteeAction

#UpdateCommitteeAction

newtype UpdateCommitteeAction

Constructors

UpdateCommitteeAction { actionId :: Maybe GovernanceActionId, committee :: Committee, membersToRemove :: Array Credential }

Instances

Re-exports from Cardano.Types.UtxoMap

#UtxoMap

type UtxoMap = Map TransactionInput TransactionOutput

Re-exports from Cardano.Types.VRFKeyHash

#VRFKeyHash

newtype VRFKeyHash

Constructors

VRFKeyHash VRFKeyHash

Instances

Re-exports from Cardano.Types.Value

#Value

data Value

In Plutus, Ada is is stored inside the map (with currency symbol and token name being empty bytestrings). cardano-serialization-lib makes semantic distinction between native tokens and Ada, and we follow this convention.