Module

Cardano.Types

Re-exports from Cardano.Types.Address

#Address

data Address

Constructors

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 }
GenesisKeyDelegation { genesisDelegateHash :: GenesisDelegateHash, genesisHash :: GenesisHash, vrfKeyhash :: VRFKeyHash }
MoveInstantaneousRewardsCert MoveInstantaneousReward

Instances

Re-exports from Cardano.Types.Coin

#Coin

newtype Coin

Constructors

Coin BigNum

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

#GenesisDelegateHash

newtype GenesisDelegateHash

Constructors

GenesisDelegateHash GenesisDelegateHash

Instances

Re-exports from Cardano.Types.GenesisHash

#GenesisHash

newtype GenesisHash

Constructors

GenesisHash GenesisHash

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

PlutusV1
PlutusV2

Instances

Re-exports from Cardano.Types.MIRPot

#MIRPot

data MIRPot

Constructors

Reserves
Treasury

Instances

Re-exports from Cardano.Types.MIRToStakeCredentials

#MIRToStakeCredentials

newtype MIRToStakeCredentials

Constructors

MIRToStakeCredentials (Map StakeCredential Int)

Instances

Re-exports from Cardano.Types.Mint

#Mint

newtype Mint

Constructors

Mint (Map ScriptHash (Map AssetName Int))

Instances

Re-exports from Cardano.Types.MoveInstantaneousReward

#MoveInstantaneousReward

data MoveInstantaneousReward

Constructors

ToOtherPot { amount :: Coin, pot :: MIRPot }
ToStakeCreds { amounts :: MIRToStakeCredentials, pot :: MIRPot }

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

#PrivateKey

newtype PrivateKey

Constructors

PrivateKey PrivateKey

Instances

Re-exports from Cardano.Types.ProposedProtocolParameterUpdates

#ProposedProtocolParameterUpdates

newtype ProposedProtocolParameterUpdates

Constructors

ProposedProtocolParameterUpdates (Map GenesisHash ProtocolParamUpdate)

Instances

Re-exports from Cardano.Types.ProtocolParamUpdate

#ProtocolParamUpdate

newtype ProtocolParamUpdate

Constructors

ProtocolParamUpdate { adaPerUtxoByte :: Maybe Coin, collateralPercentage :: Maybe UInt, costModels :: Maybe (Map Language CostModel), executionCosts :: Maybe ExUnitPrices, expansionRate :: Maybe UnitInterval, 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, minPoolCost :: Maybe Coin, minfeeA :: Maybe Coin, minfeeB :: Maybe Coin, nOpt :: Maybe UInt, poolDeposit :: Maybe Coin, poolPledgeInfluence :: Maybe UnitInterval, protocolVersion :: Maybe ProtocolVersion, 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 :: PlutusData, exUnits :: ExUnits, index :: BigNum, tag :: RedeemerTag }

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

Re-exports from Cardano.Types.TransactionBody

#TransactionBody

newtype TransactionBody

Constructors

TransactionBody { auxiliaryDataHash :: Maybe AuxiliaryDataHash, certs :: Array Certificate, collateral :: Array TransactionInput, collateralReturn :: Maybe TransactionOutput, 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, update :: Maybe Update, validityStartInterval :: Maybe Slot, withdrawals :: Map RewardAddress Coin }

Instances

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

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

Re-exports from Cardano.Types.TransactionUnspentOutput

#TransactionUnspentOutput

newtype TransactionUnspentOutput

Constructors

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

Instances

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

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

#Update

newtype Update

Constructors

Update { epoch :: Epoch, proposedProtocolParameterUpdates :: ProposedProtocolParameterUpdates }

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.

Constructors

Value Coin MultiAsset

Instances

Re-exports from Cardano.Types.Vkey

#Vkey

newtype Vkey

Constructors

Vkey PublicKey

Instances

Re-exports from Cardano.Types.Vkeywitness

#Vkeywitness

newtype Vkeywitness

Constructors

Vkeywitness { signature :: Ed25519Signature, vkey :: Vkey }