Safe Haskell	None
Language	Haskell2010

Ledger.Blockchain

Synopsis

newtype OnChainTx = OnChainTx {
- getOnChainTx :: Validated (Tx EmulatorEra)
}
type Block = [OnChainTx]
newtype BlockId = BlockId {
- getBlockId :: ByteString
}
type Blockchain = [Block]
newtype Context = Context BuiltinData
eitherTx :: (CardanoTx -> r) -> (CardanoTx -> r) -> OnChainTx -> r
unOnChain :: OnChainTx -> CardanoTx
onChainTxIsValid :: OnChainTx -> Bool
consumableInputs :: OnChainTx -> [TxIn]
outputsProduced :: OnChainTx -> Map TxIn TxOut

Documentation

newtype OnChainTx Source #

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

Constructors

OnChainTx
Fields getOnChainTx :: Validated (Tx EmulatorEra)

Instances

Instances details

Eq OnChainTx Source #
Instance details Defined in Ledger.Index.Internal Methods (==) :: OnChainTx -> OnChainTx -> Bool Source # (/=) :: OnChainTx -> OnChainTx -> Bool Source #
Show OnChainTx Source #
Instance details Defined in Ledger.Index.Internal Methods showsPrec :: Int -> OnChainTx -> ShowS Source # show :: OnChainTx -> String Source # showList :: [OnChainTx] -> ShowS Source #
Generic OnChainTx Source #
Instance details Defined in Ledger.Index.Internal Associated Types type Rep OnChainTx :: Type -> Type Source # Methods from :: OnChainTx -> Rep OnChainTx x Source # to :: Rep OnChainTx x -> OnChainTx Source #
Serialise OnChainTx Source #
Instance details Defined in Ledger.Index.Internal Methods encode :: OnChainTx -> Encoding decode :: Decoder s OnChainTx encodeList :: [OnChainTx] -> Encoding decodeList :: Decoder s [OnChainTx]
type Rep OnChainTx Source #
Instance details Defined in Ledger.Index.Internal type Rep OnChainTx = D1 ('MetaData "OnChainTx" "Ledger.Index.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'True) (C1 ('MetaCons "OnChainTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOnChainTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Validated (Tx EmulatorEra)))))

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 getBlockId :: ByteString

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 #
FromJSON BlockId Source #
Instance details Defined in Ledger.Blockchain Methods parseJSON :: Value -> Parser BlockId parseJSONList :: Value -> Parser [BlockId]
ToJSON BlockId Source #
Instance details Defined in Ledger.Blockchain Methods toJSON :: BlockId -> Value toEncoding :: BlockId -> Encoding toJSONList :: [BlockId] -> Value toEncodingList :: [BlockId] -> Encoding
Pretty BlockId Source #
Instance details Defined in Ledger.Blockchain Methods pretty :: BlockId -> Doc ann # prettyList :: [BlockId] -> Doc ann #
type Rep BlockId Source #
Instance details Defined in Ledger.Blockchain type Rep BlockId = D1 ('MetaData "BlockId" "Ledger.Blockchain" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" '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 #

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 #
FromJSON Context
Instance details Defined in Ledger.Scripts.Orphans Methods parseJSON :: Value -> Parser Context parseJSONList :: Value -> Parser [Context]
ToJSON Context
Instance details Defined in Ledger.Scripts.Orphans Methods toJSON :: Context -> Value toEncoding :: Context -> Encoding toJSONList :: [Context] -> Value toEncodingList :: [Context] -> Encoding
Pretty Context
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Context -> Doc ann # prettyList :: [Context] -> Doc ann #

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 TxIn TxOut Source #

Outputs added to the UTXO set by the OnChainTx