plutus-ledger-1.2.0.0: Wallet API
Safe HaskellNone
LanguageHaskell2010

Ledger.Index.Internal

Synopsis

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

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

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

unOnChain :: OnChainTx -> CardanoTx Source #

type EmulatorEra = BabbageEra StandardCrypto Source #

type UtxoIndex = UTxO BabbageEra Source #

The UTxOs of a blockchain indexed by their references.

data ValidationError Source #

A reason why a transaction is invalid.

Constructors

TxOutRefNotFound TxIn

The transaction output consumed by a transaction input could not be found (either because it was already spent, or because there was no transaction with the given hash on the blockchain).

ScriptFailure ScriptError

For pay-to-script outputs: evaluation of the validator script failed.

CardanoLedgerValidationError Text

An error from Cardano.Ledger validation

MaxCollateralInputsExceeded

Balancing failed, it needed more than the maximum number of collateral inputs

Instances

Instances details
Eq ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

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

Show ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

show :: ValidationError -> String Source #

showList :: [ValidationError] -> ShowS Source #

Generic ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Associated Types

type Rep ValidationError :: Type -> Type Source #

Methods

from :: ValidationError -> Rep ValidationError x Source #

to :: Rep ValidationError x -> ValidationError Source #

FromJSON ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

parseJSON :: Value -> Parser ValidationError

parseJSONList :: Value -> Parser [ValidationError]

ToJSON ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

toJSON :: ValidationError -> Value

toEncoding :: ValidationError -> Encoding

toJSONList :: [ValidationError] -> Value

toEncodingList :: [ValidationError] -> Encoding

Pretty ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

pretty :: ValidationError -> Doc ann #

prettyList :: [ValidationError] -> Doc ann #

type Rep ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

type Rep ValidationError = D1 ('MetaData "ValidationError" "Ledger.Index.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'False) ((C1 ('MetaCons "TxOutRefNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn)) :+: C1 ('MetaCons "ScriptFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptError))) :+: (C1 ('MetaCons "CardanoLedgerValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "MaxCollateralInputsExceeded" 'PrefixI 'False) (U1 :: Type -> Type)))

_MaxCollateralInputsExceeded :: Prism' ValidationError () Source #

_CardanoLedgerValidationError :: Prism' ValidationError Text Source #

_ScriptFailure :: Prism' ValidationError ScriptError Source #

_TxOutRefNotFound :: Prism' ValidationError TxIn Source #

data ValidationPhase Source #

Constructors

Phase1 
Phase2 

Instances

Instances details
Eq ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

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

Show ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

show :: ValidationPhase -> String Source #

showList :: [ValidationPhase] -> ShowS Source #

Generic ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Associated Types

type Rep ValidationPhase :: Type -> Type Source #

Methods

from :: ValidationPhase -> Rep ValidationPhase x Source #

to :: Rep ValidationPhase x -> ValidationPhase Source #

FromJSON ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

parseJSON :: Value -> Parser ValidationPhase

parseJSONList :: Value -> Parser [ValidationPhase]

ToJSON ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

toJSON :: ValidationPhase -> Value

toEncoding :: ValidationPhase -> Encoding

toJSONList :: [ValidationPhase] -> Value

toEncodingList :: [ValidationPhase] -> Encoding

Pretty ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

pretty :: ValidationPhase -> Doc ann #

prettyList :: [ValidationPhase] -> Doc ann #

type Rep ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

type Rep ValidationPhase = D1 ('MetaData "ValidationPhase" "Ledger.Index.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'False) (C1 ('MetaCons "Phase1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Phase2" 'PrefixI 'False) (U1 :: Type -> Type))

type ValidationErrorInPhase = (ValidationPhase, ValidationError) Source #

type ValidationSuccess = (RedeemerReport, Validated (Tx EmulatorEra)) Source #

type RedeemerReport = Map RdmrPtr ([Text], ExUnits) Source #

data ValidationResult Source #

Constructors

FailPhase1 !CardanoTx !ValidationError

A transaction failed to validate in phase 1.

FailPhase2 !OnChainTx !ValidationError !Value

A transaction failed to validate in phase 2. The Value indicates the amount of collateral stored in the transaction.

Success !OnChainTx !RedeemerReport 

Instances

Instances details
Eq ValidationResult Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

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

Show ValidationResult Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

show :: ValidationResult -> String Source #

showList :: [ValidationResult] -> ShowS Source #

Generic ValidationResult Source # 
Instance details

Defined in Ledger.Index.Internal

Associated Types

type Rep ValidationResult :: Type -> Type Source #

Methods

from :: ValidationResult -> Rep ValidationResult x Source #

to :: Rep ValidationResult x -> ValidationResult Source #

FromJSON ValidationResult Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

parseJSON :: Value -> Parser ValidationResult

parseJSONList :: Value -> Parser [ValidationResult]

ToJSON ValidationResult Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

toJSON :: ValidationResult -> Value

toEncoding :: ValidationResult -> Encoding

toJSONList :: [ValidationResult] -> Value

toEncodingList :: [ValidationResult] -> Encoding

Pretty ValidationResult Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

pretty :: ValidationResult -> Doc ann #

prettyList :: [ValidationResult] -> Doc ann #

type Rep ValidationResult Source # 
Instance details

Defined in Ledger.Index.Internal

type Rep ValidationResult = D1 ('MetaData "ValidationResult" "Ledger.Index.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'False) (C1 ('MetaCons "FailPhase1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CardanoTx) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidationError)) :+: (C1 ('MetaCons "FailPhase2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OnChainTx) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidationError) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Value))) :+: C1 ('MetaCons "Success" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OnChainTx) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RedeemerReport))))

_Success :: Prism' ValidationResult (OnChainTx, RedeemerReport) Source #

_FailPhase2 :: Prism' ValidationResult (OnChainTx, ValidationError, Value) Source #

_FailPhase1 :: Prism' ValidationResult (CardanoTx, ValidationError) Source #

data ValidationResultSimple Source #

Constructors

ValidationFailPhase1 !CardanoTx !ValidationError 
ValidationFailPhase2 !CardanoTx !ValidationError !Value 
ValidationSuccess !CardanoTx 

Instances

Instances details
Generic ValidationResultSimple Source # 
Instance details

Defined in Ledger.Index.Internal

Associated Types

type Rep ValidationResultSimple :: Type -> Type Source #

Methods

from :: ValidationResultSimple -> Rep ValidationResultSimple x Source #

to :: Rep ValidationResultSimple x -> ValidationResultSimple Source #

FromJSON ValidationResultSimple Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

parseJSON :: Value -> Parser ValidationResultSimple

parseJSONList :: Value -> Parser [ValidationResultSimple]

ToJSON ValidationResultSimple Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

toJSON :: ValidationResultSimple -> Value

toEncoding :: ValidationResultSimple -> Encoding

toJSONList :: [ValidationResultSimple] -> Value

toEncodingList :: [ValidationResultSimple] -> Encoding

type Rep ValidationResultSimple Source # 
Instance details

Defined in Ledger.Index.Internal

type Rep ValidationResultSimple = D1 ('MetaData "ValidationResultSimple" "Ledger.Index.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'False) (C1 ('MetaCons "ValidationFailPhase1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CardanoTx) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidationError)) :+: (C1 ('MetaCons "ValidationFailPhase2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CardanoTx) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidationError) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Value))) :+: C1 ('MetaCons "ValidationSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CardanoTx))))

toValidationResultSimple :: ValidationResult -> ValidationResultSimple Source #

cardanoTxFromValidationResult :: ValidationResult -> CardanoTx Source #

toOnChain :: ValidationResult -> Maybe OnChainTx Source #

getEvaluationLogs :: ValidationResult -> [Text] Source #

Get logs from evaluating plutus scripts.

Orphan instances

Semigroup (UTxO era) Source # 
Instance details

Methods

(<>) :: UTxO era -> UTxO era -> UTxO era Source #

sconcat :: NonEmpty (UTxO era) -> UTxO era Source #

stimes :: Integral b => b -> UTxO era -> UTxO era Source #

Monoid (UTxO era) Source # 
Instance details

Methods

mempty :: UTxO era Source #

mappend :: UTxO era -> UTxO era -> UTxO era Source #

mconcat :: [UTxO era] -> UTxO era Source #