plutus-ledger-1.1.0.0: Wallet API
Safe HaskellNone
LanguageHaskell2010

Ledger.Index.Internal

Synopsis

Documentation

newtype UtxoIndex Source #

The UTxOs of a blockchain indexed by their references.

Constructors

UtxoIndex 

Fields

Instances

Instances details
Eq UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

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

Show UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

show :: UtxoIndex -> String Source #

showList :: [UtxoIndex] -> ShowS Source #

Generic UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Associated Types

type Rep UtxoIndex :: Type -> Type Source #

Methods

from :: UtxoIndex -> Rep UtxoIndex x Source #

to :: Rep UtxoIndex x -> UtxoIndex Source #

Semigroup UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

(<>) :: UtxoIndex -> UtxoIndex -> UtxoIndex Source #

sconcat :: NonEmpty UtxoIndex -> UtxoIndex Source #

stimes :: Integral b => b -> UtxoIndex -> UtxoIndex Source #

Monoid UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

mempty :: UtxoIndex Source #

mappend :: UtxoIndex -> UtxoIndex -> UtxoIndex Source #

mconcat :: [UtxoIndex] -> UtxoIndex Source #

NFData UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

rnf :: UtxoIndex -> () Source #

ToJSON UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

toJSON :: UtxoIndex -> Value Source #

toEncoding :: UtxoIndex -> Encoding Source #

toJSONList :: [UtxoIndex] -> Value Source #

toEncodingList :: [UtxoIndex] -> Encoding Source #

FromJSON UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

parseJSON :: Value -> Parser UtxoIndex Source #

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

ToSchema UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

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

Serialise UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

encode :: UtxoIndex -> Encoding Source #

decode :: Decoder s UtxoIndex Source #

encodeList :: [UtxoIndex] -> Encoding Source #

decodeList :: Decoder s [UtxoIndex] Source #

type Rep UtxoIndex Source # 
Instance details

Defined in Ledger.Index.Internal

type Rep UtxoIndex = D1 ('MetaData "UtxoIndex" "Ledger.Index.Internal" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'True) (C1 ('MetaCons "UtxoIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "getIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxOutRef TxOut))))

data ValidationError Source #

A reason why a transaction is invalid.

Constructors

TxOutRefNotFound TxOutRef

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

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 #

ToJSON ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

toJSON :: ValidationError -> Value Source #

toEncoding :: ValidationError -> Encoding Source #

toJSONList :: [ValidationError] -> Value Source #

toEncodingList :: [ValidationError] -> Encoding Source #

FromJSON ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

parseJSON :: Value -> Parser ValidationError Source #

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

Pretty ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

pretty :: ValidationError -> Doc ann Source #

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

AsValidationError ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

_ValidationError :: Prism' ValidationError ValidationError Source #

_TxOutRefNotFound :: Prism' ValidationError TxOutRef Source #

_ScriptFailure :: Prism' ValidationError ScriptError Source #

_CardanoLedgerValidationError :: Prism' ValidationError Text Source #

type Rep ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

type Rep ValidationError = D1 ('MetaData "ValidationError" "Ledger.Index.Internal" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'False) (C1 ('MetaCons "TxOutRefNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef)) :+: (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))))

class AsValidationError r where Source #

Minimal complete definition

_ValidationError

Methods

_ValidationError :: Prism' r ValidationError Source #

_TxOutRefNotFound :: Prism' r TxOutRef Source #

_ScriptFailure :: Prism' r ScriptError Source #

_CardanoLedgerValidationError :: Prism' r Text Source #

Instances

Instances details
AsValidationError ValidationError Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

_ValidationError :: Prism' ValidationError ValidationError Source #

_TxOutRefNotFound :: Prism' ValidationError TxOutRef Source #

_ScriptFailure :: Prism' ValidationError ScriptError Source #

_CardanoLedgerValidationError :: Prism' ValidationError Text 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 #

ToJSON ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

toJSON :: ValidationPhase -> Value Source #

toEncoding :: ValidationPhase -> Encoding Source #

toJSONList :: [ValidationPhase] -> Value Source #

toEncodingList :: [ValidationPhase] -> Encoding Source #

FromJSON ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

parseJSON :: Value -> Parser ValidationPhase Source #

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

Pretty ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

Methods

pretty :: ValidationPhase -> Doc ann Source #

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

type Rep ValidationPhase Source # 
Instance details

Defined in Ledger.Index.Internal

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

type ValidationErrorInPhase = (ValidationPhase, ValidationError) Source #

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