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.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.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.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
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.PointerAddress

#PointerAddress

newtype PointerAddress

Constructors

PointerAddress PointerAddress

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, protocolVersion :: Maybe ProtocolVersion, refScriptCoinsPerByte :: Maybe UnitInterval, treasuryGrowthRate :: Maybe UnitInterval }

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.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.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.