Safe Haskell	None
Language	Haskell2010

Plutus.ChainIndex.Tx

Contents

Lenses

Description

The chain index' version of a transaction

Synopsis

data ChainIndexTx = ChainIndexTx {
- _citxTxId :: TxId
- _citxInputs :: [TxOutRef]
- _citxOutputs :: ChainIndexTxOutputs
- _citxValidRange :: !SlotRange
- _citxData :: Map DatumHash Datum
- _citxRedeemers :: Redeemers
- _citxScripts :: Map ScriptHash (Versioned Script)
- _citxCardanoTx :: Maybe CardanoTx
}
data ChainIndexTxOutputs
- = InvalidTx (Maybe ChainIndexTxOut)
- | ValidTx [ChainIndexTxOut]
data ChainIndexTxOut = ChainIndexTxOut {
- citoAddress :: CardanoAddress
- citoValue :: Value
- citoDatum :: OutputDatum
- citoRefScript :: ReferenceScript
}
data ReferenceScript
- = ReferenceScriptNone
- | ReferenceScriptInAnyLang ScriptInAnyLang
data Address = Address {
- addressCredential :: Credential
- addressStakingCredential :: Maybe StakingCredential
}
data OutputDatum
- = NoOutputDatum
- | OutputDatumHash DatumHash
- | OutputDatum Datum
newtype Value = Value {
- getValue :: Map CurrencySymbol (Map TokenName Integer)
}
fromOnChainTx :: OnChainTx -> ChainIndexTx
txOuts :: ChainIndexTx -> [ChainIndexTxOut]
txOutRefs :: ChainIndexTx -> [TxOutRef]
txOutsWithRef :: ChainIndexTx -> [(ChainIndexTxOut, TxOutRef)]
txOutRefMap :: ChainIndexTx -> Map TxOutRef (ChainIndexTxOut, ChainIndexTx)
txOutRefMapForAddr :: CardanoAddress -> ChainIndexTx -> Map TxOutRef (ChainIndexTxOut, ChainIndexTx)
txRedeemersWithHash :: ChainIndexTx -> Map RedeemerHash Redeemer
validityFromChainIndex :: ChainIndexTx -> TxValidity
citxTxId :: Lens' ChainIndexTx TxId
citxInputs :: Lens' ChainIndexTx [TxOutRef]
citxOutputs :: Lens' ChainIndexTx ChainIndexTxOutputs
citxValidRange :: Lens' ChainIndexTx SlotRange
citxData :: Lens' ChainIndexTx (Map DatumHash Datum)
citxRedeemers :: Lens' ChainIndexTx Redeemers
citxScripts :: Lens' ChainIndexTx (Map ScriptHash (Versioned Script))
citxCardanoTx :: Lens' ChainIndexTx (Maybe CardanoTx)
_InvalidTx :: Prism' ChainIndexTxOutputs (Maybe ChainIndexTxOut)
_ValidTx :: Prism' ChainIndexTxOutputs [ChainIndexTxOut]

Documentation

data ChainIndexTx Source #

Constructors

ChainIndexTx

Fields

_citxTxId :: TxId
The id of this transaction.
_citxInputs :: [TxOutRef]
The inputs to this transaction.
_citxOutputs :: ChainIndexTxOutputs
The outputs of this transaction, ordered so they can be referenced by index.
_citxValidRange :: !SlotRange
The SlotRange during which this transaction may be validated.
_citxData :: Map DatumHash Datum
Datum objects recorded on this transaction.
_citxRedeemers :: Redeemers
Redeemers of the minting scripts.
_citxScripts :: Map ScriptHash (Versioned Script)
The scripts (validator, stake validator or minting) part of cardano tx.
_citxCardanoTx :: Maybe CardanoTx
The full Cardano API tx which was used to populate the rest of the ChainIndexTx fields. Useful because ChainIndexTx doesn't have all the details of the tx, so we keep it as a safety net. Might be Nothing if we are in the emulator.

Instances

Instances details

Eq ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Methods (==) :: ChainIndexTx -> ChainIndexTx -> Bool Source # (/=) :: ChainIndexTx -> ChainIndexTx -> Bool Source #
Show ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Methods showsPrec :: Int -> ChainIndexTx -> ShowS Source # show :: ChainIndexTx -> String Source # showList :: [ChainIndexTx] -> ShowS Source #
Generic ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Associated Types type Rep ChainIndexTx :: Type -> Type Source # Methods from :: ChainIndexTx -> Rep ChainIndexTx x Source # to :: Rep ChainIndexTx x -> ChainIndexTx Source #
FromJSON ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Methods parseJSON :: Value -> Parser ChainIndexTx parseJSONList :: Value -> Parser [ChainIndexTx]
ToJSON ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Methods toJSON :: ChainIndexTx -> Value toEncoding :: ChainIndexTx -> Encoding toJSONList :: [ChainIndexTx] -> Value toEncodingList :: [ChainIndexTx] -> Encoding
Serialise ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Methods encode :: ChainIndexTx -> Encoding decode :: Decoder s ChainIndexTx encodeList :: [ChainIndexTx] -> Encoding decodeList :: Decoder s [ChainIndexTx]
ToSchema ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Methods declareNamedSchema :: Proxy ChainIndexTx -> Declare (Definitions Schema) NamedSchema
Pretty ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types Methods pretty :: ChainIndexTx -> Doc ann prettyList :: [ChainIndexTx] -> Doc ann
HasDbType ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.DbSchema Associated Types type DbType ChainIndexTx Source # Methods toDbValue :: ChainIndexTx -> DbType ChainIndexTx Source # fromDbValue :: DbType ChainIndexTx -> ChainIndexTx Source #
HasDbType (TxId, ChainIndexTx) Source #
Instance details Defined in Plutus.ChainIndex.DbSchema Associated Types type DbType (TxId, ChainIndexTx) Source # Methods toDbValue :: (TxId, ChainIndexTx) -> DbType (TxId, ChainIndexTx) Source # fromDbValue :: DbType (TxId, ChainIndexTx) -> (TxId, ChainIndexTx) Source #
type Rep ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.Types type Rep ChainIndexTx = D1 ('MetaData "ChainIndexTx" "Plutus.ChainIndex.Types" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "ChainIndexTx" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_citxTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxId) :: S1 ('MetaSel ('Just "_citxInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxOutRef])) :: (S1 ('MetaSel ('Just "_citxOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ChainIndexTxOutputs) :: S1 ('MetaSel ('Just "_citxValidRange") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotRange))) :: ((S1 ('MetaSel ('Just "_citxData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map DatumHash Datum)) :: S1 ('MetaSel ('Just "_citxRedeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Redeemers)) :: (S1 ('MetaSel ('Just "_citxScripts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map ScriptHash (Versioned Script))) :*: S1 ('MetaSel ('Just "_citxCardanoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe CardanoTx))))))
type DbType ChainIndexTx Source #
Instance details Defined in Plutus.ChainIndex.DbSchema type DbType ChainIndexTx = DbType (Serialisable ChainIndexTx)
type DbType (TxId, ChainIndexTx) Source #
Instance details Defined in Plutus.ChainIndex.DbSchema type DbType (TxId, ChainIndexTx) = TxRow

data ChainIndexTxOutputs Source #

List of outputs of a transaction. There is only an optional collateral output if the transaction is invalid.

Constructors

InvalidTx (Maybe ChainIndexTxOut)	The transaction is invalid so there is maybe a collateral output.
ValidTx [ChainIndexTxOut]

Instances

Instances details

Eq ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types Methods (==) :: ChainIndexTxOutputs -> ChainIndexTxOutputs -> Bool Source # (/=) :: ChainIndexTxOutputs -> ChainIndexTxOutputs -> Bool Source #
Show ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types Methods showsPrec :: Int -> ChainIndexTxOutputs -> ShowS Source # show :: ChainIndexTxOutputs -> String Source # showList :: [ChainIndexTxOutputs] -> ShowS Source #
Generic ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types Associated Types type Rep ChainIndexTxOutputs :: Type -> Type Source # Methods from :: ChainIndexTxOutputs -> Rep ChainIndexTxOutputs x Source # to :: Rep ChainIndexTxOutputs x -> ChainIndexTxOutputs Source #
FromJSON ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types Methods parseJSON :: Value -> Parser ChainIndexTxOutputs parseJSONList :: Value -> Parser [ChainIndexTxOutputs]
ToJSON ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types Methods toJSON :: ChainIndexTxOutputs -> Value toEncoding :: ChainIndexTxOutputs -> Encoding toJSONList :: [ChainIndexTxOutputs] -> Value toEncodingList :: [ChainIndexTxOutputs] -> Encoding
Serialise ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types Methods encode :: ChainIndexTxOutputs -> Encoding decode :: Decoder s ChainIndexTxOutputs encodeList :: [ChainIndexTxOutputs] -> Encoding decodeList :: Decoder s [ChainIndexTxOutputs]
ToSchema ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types Methods declareNamedSchema :: Proxy ChainIndexTxOutputs -> Declare (Definitions Schema) NamedSchema
type Rep ChainIndexTxOutputs Source #
Instance details Defined in Plutus.ChainIndex.Types type Rep ChainIndexTxOutputs = D1 ('MetaData "ChainIndexTxOutputs" "Plutus.ChainIndex.Types" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "InvalidTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ChainIndexTxOut))) :+: C1 ('MetaCons "ValidTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ChainIndexTxOut])))

data ChainIndexTxOut Source #

Constructors

ChainIndexTxOut
Fields citoAddress :: CardanoAddress We can't use AddressInAnyEra here because of missing FromJson instance for Byron era citoValue :: Value citoDatum :: OutputDatum citoRefScript :: ReferenceScript

Instances

Instances details

Eq ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Methods (==) :: ChainIndexTxOut -> ChainIndexTxOut -> Bool Source # (/=) :: ChainIndexTxOut -> ChainIndexTxOut -> Bool Source #
Show ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Methods showsPrec :: Int -> ChainIndexTxOut -> ShowS Source # show :: ChainIndexTxOut -> String Source # showList :: [ChainIndexTxOut] -> ShowS Source #
Generic ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Associated Types type Rep ChainIndexTxOut :: Type -> Type Source # Methods from :: ChainIndexTxOut -> Rep ChainIndexTxOut x Source # to :: Rep ChainIndexTxOut x -> ChainIndexTxOut Source #
FromJSON ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Methods parseJSON :: Value -> Parser ChainIndexTxOut parseJSONList :: Value -> Parser [ChainIndexTxOut]
ToJSON ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Methods toJSON :: ChainIndexTxOut -> Value toEncoding :: ChainIndexTxOut -> Encoding toJSONList :: [ChainIndexTxOut] -> Value toEncodingList :: [ChainIndexTxOut] -> Encoding
Serialise ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Methods encode :: ChainIndexTxOut -> Encoding decode :: Decoder s ChainIndexTxOut encodeList :: [ChainIndexTxOut] -> Encoding decodeList :: Decoder s [ChainIndexTxOut]
ToSchema ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Methods declareNamedSchema :: Proxy ChainIndexTxOut -> Declare (Definitions Schema) NamedSchema
Pretty ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types Methods pretty :: ChainIndexTxOut -> Doc ann prettyList :: [ChainIndexTxOut] -> Doc ann
HasDbType ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.DbSchema Associated Types type DbType ChainIndexTxOut Source # Methods toDbValue :: ChainIndexTxOut -> DbType ChainIndexTxOut Source # fromDbValue :: DbType ChainIndexTxOut -> ChainIndexTxOut Source #
type Rep ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.Types type Rep ChainIndexTxOut = D1 ('MetaData "ChainIndexTxOut" "Plutus.ChainIndex.Types" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "ChainIndexTxOut" 'PrefixI 'True) ((S1 ('MetaSel ('Just "citoAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CardanoAddress) :: S1 ('MetaSel ('Just "citoValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value)) :: (S1 ('MetaSel ('Just "citoDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OutputDatum) :*: S1 ('MetaSel ('Just "citoRefScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceScript))))
type DbType ChainIndexTxOut Source #
Instance details Defined in Plutus.ChainIndex.DbSchema type DbType ChainIndexTxOut = DbType (Serialisable ChainIndexTxOut)

data ReferenceScript Source #

Constructors

ReferenceScriptNone
ReferenceScriptInAnyLang ScriptInAnyLang

Instances

Instances details

Eq ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types Methods (==) :: ReferenceScript -> ReferenceScript -> Bool Source # (/=) :: ReferenceScript -> ReferenceScript -> Bool Source #
Show ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types Methods showsPrec :: Int -> ReferenceScript -> ShowS Source # show :: ReferenceScript -> String Source # showList :: [ReferenceScript] -> ShowS Source #
Generic ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types Associated Types type Rep ReferenceScript :: Type -> Type Source # Methods from :: ReferenceScript -> Rep ReferenceScript x Source # to :: Rep ReferenceScript x -> ReferenceScript Source #
FromJSON ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types Methods parseJSON :: Value -> Parser ReferenceScript parseJSONList :: Value -> Parser [ReferenceScript]
ToJSON ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types Methods toJSON :: ReferenceScript -> Value toEncoding :: ReferenceScript -> Encoding toJSONList :: [ReferenceScript] -> Value toEncodingList :: [ReferenceScript] -> Encoding
Serialise ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types Methods encode :: ReferenceScript -> Encoding decode :: Decoder s ReferenceScript encodeList :: [ReferenceScript] -> Encoding decodeList :: Decoder s [ReferenceScript]
ToSchema ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types Methods declareNamedSchema :: Proxy ReferenceScript -> Declare (Definitions Schema) NamedSchema
type Rep ReferenceScript Source #
Instance details Defined in Plutus.ChainIndex.Types type Rep ReferenceScript = D1 ('MetaData "ReferenceScript" "Plutus.ChainIndex.Types" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "ReferenceScriptNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReferenceScriptInAnyLang" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ScriptInAnyLang)))

data Address #

Constructors

Address
Fields addressCredential :: Credential addressStakingCredential :: Maybe StakingCredential

Instances

Instances details

Eq Address
Instance details Defined in Plutus.V1.Ledger.Address Methods (==) :: Address -> Address -> Bool Source # (/=) :: Address -> Address -> Bool Source #
Ord Address
Instance details Defined in Plutus.V1.Ledger.Address Methods compare :: Address -> Address -> Ordering Source # (<) :: Address -> Address -> Bool Source # (<=) :: Address -> Address -> Bool Source # (>) :: Address -> Address -> Bool Source # (>=) :: Address -> Address -> Bool Source # max :: Address -> Address -> Address Source # min :: Address -> Address -> Address Source #
Show Address
Instance details Defined in Plutus.V1.Ledger.Address Methods showsPrec :: Int -> Address -> ShowS Source # show :: Address -> String Source # showList :: [Address] -> ShowS Source #
Generic Address
Instance details Defined in Plutus.V1.Ledger.Address Associated Types type Rep Address :: Type -> Type Source # Methods from :: Address -> Rep Address x Source # to :: Rep Address x -> Address Source #
NFData Address
Instance details Defined in Plutus.V1.Ledger.Address Methods rnf :: Address -> () Source #
Pretty Address
Instance details Defined in Plutus.V1.Ledger.Address Methods pretty :: Address -> Doc ann prettyList :: [Address] -> Doc ann
Eq Address
Instance details Defined in Plutus.V1.Ledger.Address Methods (==) :: Address -> Address -> Bool
FromData Address
Instance details Defined in Plutus.V1.Ledger.Address Methods fromBuiltinData :: BuiltinData -> Maybe Address
ToData Address
Instance details Defined in Plutus.V1.Ledger.Address Methods toBuiltinData :: Address -> BuiltinData
UnsafeFromData Address
Instance details Defined in Plutus.V1.Ledger.Address Methods unsafeFromBuiltinData :: BuiltinData -> Address
Lift DefaultUni Address
Instance details Defined in Plutus.V1.Ledger.Address Methods lift :: Address -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni Address
Instance details Defined in Plutus.V1.Ledger.Address Methods typeRep :: Proxy Address -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep Address
Instance details Defined in Plutus.V1.Ledger.Address type Rep Address = D1 ('MetaData "Address" "Plutus.V1.Ledger.Address" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Just "addressStakingCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe StakingCredential))))

data OutputDatum #

Constructors

NoOutputDatum
OutputDatumHash DatumHash
OutputDatum Datum

Instances

Instances details

Eq OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods (==) :: OutputDatum -> OutputDatum -> Bool Source # (/=) :: OutputDatum -> OutputDatum -> Bool Source #
Show OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods showsPrec :: Int -> OutputDatum -> ShowS Source # show :: OutputDatum -> String Source # showList :: [OutputDatum] -> ShowS Source #
Generic OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Associated Types type Rep OutputDatum :: Type -> Type Source # Methods from :: OutputDatum -> Rep OutputDatum x Source # to :: Rep OutputDatum x -> OutputDatum Source #
NFData OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods rnf :: OutputDatum -> () Source #
ToSchema OutputDatum
Instance details Defined in Plutus.ChainIndex.Types Methods declareNamedSchema :: Proxy OutputDatum -> Declare (Definitions Schema) NamedSchema
Pretty OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods pretty :: OutputDatum -> Doc ann prettyList :: [OutputDatum] -> Doc ann
Eq OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods (==) :: OutputDatum -> OutputDatum -> Bool
FromData OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods fromBuiltinData :: BuiltinData -> Maybe OutputDatum
ToData OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods toBuiltinData :: OutputDatum -> BuiltinData
UnsafeFromData OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods unsafeFromBuiltinData :: BuiltinData -> OutputDatum
Lift DefaultUni OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods lift :: OutputDatum -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods typeRep :: Proxy OutputDatum -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx type Rep OutputDatum = D1 ('MetaData "OutputDatum" "Plutus.V2.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "NoOutputDatum" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OutputDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash)) :+: C1 ('MetaCons "OutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Datum))))

newtype Value #

Constructors

Value
Fields getValue :: Map CurrencySymbol (Map TokenName Integer)

Instances

Instances details

Eq Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (==) :: Value -> Value -> Bool Source # (/=) :: Value -> Value -> Bool Source #
Data Value
Instance details Defined in Plutus.V1.Ledger.Value Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value Source # toConstr :: Value -> Constr Source # dataTypeOf :: Value -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) Source # gmapT :: (forall b. Data b => b -> b) -> Value -> Value Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source #
Show Value
Instance details Defined in Plutus.V1.Ledger.Value Methods showsPrec :: Int -> Value -> ShowS Source # show :: Value -> String Source # showList :: [Value] -> ShowS Source #
Generic Value
Instance details Defined in Plutus.V1.Ledger.Value Associated Types type Rep Value :: Type -> Type Source # Methods from :: Value -> Rep Value x Source # to :: Rep Value x -> Value Source #
Semigroup Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (<>) :: Value -> Value -> Value Source # sconcat :: NonEmpty Value -> Value Source # stimes :: Integral b => b -> Value -> Value Source #
Monoid Value
Instance details Defined in Plutus.V1.Ledger.Value Methods mempty :: Value Source # mappend :: Value -> Value -> Value Source # mconcat :: [Value] -> Value Source #
NFData Value
Instance details Defined in Plutus.V1.Ledger.Value Methods rnf :: Value -> () Source #
ToSchema Value
Instance details Defined in Plutus.ChainIndex.Types Methods declareNamedSchema :: Proxy Value -> Declare (Definitions Schema) NamedSchema
Pretty Value
Instance details Defined in Plutus.V1.Ledger.Value Methods pretty :: Value -> Doc ann prettyList :: [Value] -> Doc ann
AdditiveGroup Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (-) :: Value -> Value -> Value
AdditiveMonoid Value
Instance details Defined in Plutus.V1.Ledger.Value Methods zero :: Value
AdditiveSemigroup Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (+) :: Value -> Value -> Value
Eq Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (==) :: Value -> Value -> Bool
FromData Value
Instance details Defined in Plutus.V1.Ledger.Value Methods fromBuiltinData :: BuiltinData -> Maybe Value
ToData Value
Instance details Defined in Plutus.V1.Ledger.Value Methods toBuiltinData :: Value -> BuiltinData
UnsafeFromData Value
Instance details Defined in Plutus.V1.Ledger.Value Methods unsafeFromBuiltinData :: BuiltinData -> Value
Monoid Value
Instance details Defined in Plutus.V1.Ledger.Value Methods mempty :: Value
Semigroup Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (<>) :: Value -> Value -> Value
JoinSemiLattice Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (\/) :: Value -> Value -> Value
MeetSemiLattice Value
Instance details Defined in Plutus.V1.Ledger.Value Methods (/\) :: Value -> Value -> Value
Group Value
Instance details Defined in Plutus.V1.Ledger.Value Methods inv :: Value -> Value
Lift DefaultUni Value
Instance details Defined in Plutus.V1.Ledger.Value Methods lift :: Value -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Module Integer Value
Instance details Defined in Plutus.V1.Ledger.Value Methods scale :: Integer -> Value -> Value
Typeable DefaultUni Value
Instance details Defined in Plutus.V1.Ledger.Value Methods typeRep :: Proxy Value -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep Value
Instance details Defined in Plutus.V1.Ledger.Value type Rep Value = D1 ('MetaData "Value" "Plutus.V1.Ledger.Value" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))

fromOnChainTx :: OnChainTx -> ChainIndexTx Source #

Convert a OnChainTx to a ChainIndexTx. An invalid OnChainTx will not produce any ChainIndexTx outputs and the collateral inputs of the OnChainTx will be the inputs of the ChainIndexTx.

txOuts :: ChainIndexTx -> [ChainIndexTxOut] Source #

Get tx outputs from tx.

txOutRefs :: ChainIndexTx -> [TxOutRef] Source #

Get tx output references from tx.

txOutsWithRef :: ChainIndexTx -> [(ChainIndexTxOut, TxOutRef)] Source #

Get tx output references and tx outputs from tx.

txOutRefMap :: ChainIndexTx -> Map TxOutRef (ChainIndexTxOut, ChainIndexTx) Source #

Get Map of tx outputs references to tx.

txOutRefMapForAddr :: CardanoAddress -> ChainIndexTx -> Map TxOutRef (ChainIndexTxOut, ChainIndexTx) Source #

Get Map of tx outputs from tx for a specific address.

txRedeemersWithHash :: ChainIndexTx -> Map RedeemerHash Redeemer Source #

validityFromChainIndex :: ChainIndexTx -> TxValidity Source #