plutus-ledger-1.1.0.0: Wallet API
Safe HaskellNone
LanguageHaskell2010

Ledger.Blockchain

Synopsis

Documentation

data OnChainTx Source #

A transaction on the blockchain. Invalid transactions are still put on the chain to be able to collect fees.

Constructors

Invalid CardanoTx 
Valid CardanoTx 

Instances

Instances details
Eq OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

Methods

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

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

Show OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

Methods

showsPrec :: Int -> OnChainTx -> ShowS Source #

show :: OnChainTx -> String Source #

showList :: [OnChainTx] -> ShowS Source #

Generic OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

Associated Types

type Rep OnChainTx :: Type -> Type Source #

Methods

from :: OnChainTx -> Rep OnChainTx x Source #

to :: Rep OnChainTx x -> OnChainTx Source #

ToJSON OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

Methods

toJSON :: OnChainTx -> Value Source #

toEncoding :: OnChainTx -> Encoding Source #

toJSONList :: [OnChainTx] -> Value Source #

toEncodingList :: [OnChainTx] -> Encoding Source #

FromJSON OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

Methods

parseJSON :: Value -> Parser OnChainTx Source #

parseJSONList :: Value -> Parser [OnChainTx] Source #

Pretty OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

Methods

pretty :: OnChainTx -> Doc ann Source #

prettyList :: [OnChainTx] -> Doc ann Source #

Serialise OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

Methods

encode :: OnChainTx -> Encoding Source #

decode :: Decoder s OnChainTx Source #

encodeList :: [OnChainTx] -> Encoding Source #

decodeList :: Decoder s [OnChainTx] Source #

type Rep OnChainTx Source # 
Instance details

Defined in Ledger.Blockchain

type Rep OnChainTx = D1 ('MetaData "OnChainTx" "Ledger.Blockchain" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'False) (C1 ('MetaCons "Invalid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoTx)) :+: C1 ('MetaCons "Valid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoTx)))

_Valid :: Prism' OnChainTx CardanoTx Source #

_Invalid :: Prism' OnChainTx CardanoTx Source #

type Block = [OnChainTx] Source #

A block on the blockchain. This is just a list of transactions following on from the chain so far.

newtype BlockId Source #

Block identifier (usually a hash)

Constructors

BlockId 

Fields

Instances

Instances details
Eq BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Methods

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

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

Ord BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Methods

compare :: BlockId -> BlockId -> Ordering Source #

(<) :: BlockId -> BlockId -> Bool Source #

(<=) :: BlockId -> BlockId -> Bool Source #

(>) :: BlockId -> BlockId -> Bool Source #

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

max :: BlockId -> BlockId -> BlockId Source #

min :: BlockId -> BlockId -> BlockId Source #

Show BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Methods

showsPrec :: Int -> BlockId -> ShowS Source #

show :: BlockId -> String Source #

showList :: [BlockId] -> ShowS Source #

Generic BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Associated Types

type Rep BlockId :: Type -> Type Source #

Methods

from :: BlockId -> Rep BlockId x Source #

to :: Rep BlockId x -> BlockId Source #

ToJSON BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Methods

toJSON :: BlockId -> Value Source #

toEncoding :: BlockId -> Encoding Source #

toJSONList :: [BlockId] -> Value Source #

toEncodingList :: [BlockId] -> Encoding Source #

FromJSON BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Methods

parseJSON :: Value -> Parser BlockId Source #

parseJSONList :: Value -> Parser [BlockId] Source #

ToSchema BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Methods

declareNamedSchema :: Proxy BlockId -> Declare (Definitions Schema) NamedSchema Source #

Pretty BlockId Source # 
Instance details

Defined in Ledger.Blockchain

Methods

pretty :: BlockId -> Doc ann Source #

prettyList :: [BlockId] -> Doc ann Source #

type Rep BlockId Source # 
Instance details

Defined in Ledger.Blockchain

type Rep BlockId = D1 ('MetaData "BlockId" "Ledger.Blockchain" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'True) (C1 ('MetaCons "BlockId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getBlockId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

type Blockchain = [Block] Source #

A blockchain, which is just a list of blocks, starting with the newest.

newtype Context Source #

Information about the state of the blockchain and about the transaction that is currently being validated, represented as a value in Data.

Constructors

Context BuiltinData 

Instances

Instances details
Show Context 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

showsPrec :: Int -> Context -> ShowS Source #

show :: Context -> String Source #

showList :: [Context] -> ShowS Source #

ToJSON Context Source # 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: Context -> Value Source #

toEncoding :: Context -> Encoding Source #

toJSONList :: [Context] -> Value Source #

toEncodingList :: [Context] -> Encoding Source #

FromJSON Context Source # 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser Context Source #

parseJSONList :: Value -> Parser [Context] Source #

Pretty Context 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Context -> Doc ann Source #

prettyList :: [Context] -> Doc ann Source #

eitherTx :: (CardanoTx -> r) -> (CardanoTx -> r) -> OnChainTx -> r Source #

unOnChain :: OnChainTx -> CardanoTx Source #

onChainTxIsValid :: OnChainTx -> Bool Source #

consumableInputs :: OnChainTx -> [TxIn] Source #

Outputs consumed from the UTXO set by the OnChainTx

outputsProduced :: OnChainTx -> Map TxOutRef TxOut Source #

Outputs added to the UTXO set by the OnChainTx

transaction :: Blockchain -> TxId -> Maybe OnChainTx Source #

Lookup a transaction in a Blockchain by its id.

out :: Blockchain -> TxOutRef -> Maybe TxOut Source #

Determine the unspent output that an input refers to

value :: Blockchain -> TxOutRef -> Maybe Value Source #

Determine the unspent value that a transaction output refers to.

unspentOutputsTx :: Tx -> Map TxOutRef TxOut Source #

The unspent outputs of a transaction.

spentOutputs :: Tx -> [TxOutRef] Source #

The transaction output references consumed by a transaction.

unspentOutputs :: Blockchain -> Map TxOutRef TxOut Source #

The unspent transaction outputs of the ledger as a whole.

datumTxo :: Blockchain -> TxOutRef -> Maybe DatumHash Source #

Determine the data script that a transaction output refers to.

updateUtxo :: CardanoTx -> Map TxOutRef TxOut -> Map TxOutRef TxOut Source #

Update a map of unspent transaction outputs and signatures based on the inputs and outputs of a transaction.

txOutPubKey :: TxOut -> Maybe PubKeyHash Source #

pubKeyTxo :: Blockchain -> TxOutRef -> Maybe PubKeyHash Source #

Determine the public key that locks a transaction output, if there is one.

validValuesTx :: Tx -> Bool Source #

Check that all values in a transaction are non-negative.