Safe Haskell	None
Language	Haskell2010

Ledger.Tx.CardanoAPI.Internal

Contents

Orphan instances

Description

Interface to the transaction types from 'cardano-api'

Synopsis

newtype CardanoBuildTx = CardanoBuildTx {
- getCardanoBuildTx :: TxBodyContent BuildTx BabbageEra
}
data CardanoTx where
- CardanoTx :: IsCardanoEra era => Tx era -> EraInMode era CardanoMode -> CardanoTx
getEmulatorEraTx :: CardanoTx -> Tx BabbageEra
pattern CardanoEmulatorEraTx :: Tx BabbageEra -> CardanoTx
txOutRefs :: CardanoTx -> [(TxOut, TxOutRef)]
unspentOutputsTx :: CardanoTx -> Map TxOutRef TxOut
fromCardanoTxId :: TxId -> TxId
fromCardanoTxIn :: TxIn -> TxOutRef
fromCardanoTxOutToPV1TxInfoTxOut :: TxOut CtxTx era -> TxOut
fromCardanoTxOutToPV1TxInfoTxOut' :: TxOut CtxUTxO era -> TxOut
fromCardanoTxOutToPV2TxInfoTxOut :: TxOut CtxTx era -> TxOut
fromCardanoTxOutToPV2TxInfoTxOut' :: TxOut CtxUTxO era -> TxOut
fromCardanoTxOutDatumHash :: TxOutDatum CtxTx era -> Maybe DatumHash
fromCardanoTxOutDatum :: TxOutDatum CtxTx era -> OutputDatum
fromCardanoTxOutValue :: TxOutValue era -> Value
fromCardanoAddressInEra :: AddressInEra era -> Address
fromCardanoAddress :: Address addrtype -> Address
fromCardanoAssetId :: AssetId -> AssetClass
fromCardanoAssetName :: AssetName -> TokenName
fromCardanoMintValue :: TxMintValue build era -> Value
fromCardanoValue :: Value -> Value
fromCardanoPolicyId :: PolicyId -> MintingPolicyHash
fromCardanoFee :: TxFee era -> Lovelace
fromCardanoValidityRange :: (TxValidityLowerBound era, TxValidityUpperBound era) -> SlotRange
fromCardanoScriptInEra :: ScriptInEra era -> Maybe (Versioned Script)
fromCardanoPaymentKeyHash :: Hash PaymentKey -> PubKeyHash
fromCardanoScriptData :: ScriptData -> BuiltinData
fromCardanoPlutusScript :: HasTypeProxy lang => PlutusScript lang -> Script
fromCardanoScriptInAnyLang :: ScriptInAnyLang -> Maybe (Versioned Script)
fromCardanoReferenceScript :: ReferenceScript BabbageEra -> Maybe (Versioned Script)
fromCardanoLovelace :: Lovelace -> Value
fromCardanoSlotNo :: SlotNo -> Slot
fromTxScriptValidity :: TxScriptValidity era -> Bool
toTxScriptValidity :: ShelleyBasedEra era -> Bool -> TxScriptValidity era
scriptDataFromCardanoTxBody :: TxBody era -> (Map DatumHash Datum, Redeemers)
plutusScriptsFromTxBody :: TxBody era -> Map ScriptHash (Versioned Script)
makeTransactionBody :: Maybe (PParams (BabbageEra StandardCrypto)) -> Map RdmrPtr ExUnits -> CardanoBuildTx -> Either ToCardanoError (TxBody BabbageEra)
toCardanoTxIn :: TxOutRef -> Either ToCardanoError TxIn
toCardanoTxOut :: NetworkId -> TxOut -> Either ToCardanoError (TxOut CtxTx BabbageEra)
toCardanoTxOutDatum :: OutputDatum -> Either ToCardanoError (TxOutDatum CtxTx BabbageEra)
toCardanoTxOutDatumHash :: DatumHash -> Either ToCardanoError (TxOutDatum ctx BabbageEra)
toCardanoTxOutDatumHashFromDatum :: Datum -> TxOutDatum ctx BabbageEra
toCardanoTxOutDatumInline :: Datum -> TxOutDatum CtxTx BabbageEra
toCardanoTxOutDatumInTx :: Datum -> TxOutDatum CtxTx BabbageEra
toCardanoTxOutNoDatum :: TxOutDatum CtxTx BabbageEra
toCardanoTxOutValue :: Value -> TxOutValue BabbageEra
toCardanoAddressInEra :: NetworkId -> Address -> Either ToCardanoError (AddressInEra BabbageEra)
toCardanoAssetId :: AssetClass -> Either ToCardanoError AssetId
toCardanoAssetName :: TokenName -> Either ToCardanoError AssetName
toCardanoPolicyId :: MintingPolicyHash -> Either ToCardanoError PolicyId
toCardanoValue :: Value -> Either ToCardanoError Value
toCardanoLovelace :: Value -> Either ToCardanoError Lovelace
toCardanoFee :: Lovelace -> TxFee BabbageEra
adaToCardanoValue :: Ada -> Value
toCardanoValidityRange :: SlotRange -> Either ToCardanoError (TxValidityLowerBound BabbageEra, TxValidityUpperBound BabbageEra)
toCardanoScriptInEra :: Versioned Script -> Either ToCardanoError (ScriptInEra BabbageEra)
toCardanoPaymentKeyHash :: PaymentPubKeyHash -> Either ToCardanoError (Hash PaymentKey)
toCardanoScriptData :: BuiltinData -> ScriptData
toCardanoScriptDataHash :: DatumHash -> Either ToCardanoError (Hash ScriptData)
toCardanoScriptHash :: ValidatorHash -> Either ToCardanoError ScriptHash
toCardanoStakeKeyHash :: PubKeyHash -> Either ToCardanoError (Hash StakeKey)
toCardanoPlutusScript :: SerialiseAsRawBytes plutusScript => AsType plutusScript -> Script -> Either ToCardanoError plutusScript
toCardanoScriptInAnyLang :: Versioned Script -> Either ToCardanoError ScriptInAnyLang
toCardanoReferenceScript :: Maybe (Versioned Script) -> Either ToCardanoError (ReferenceScript BabbageEra)
toCardanoTxId :: TxId -> Either ToCardanoError TxId
data ToCardanoError
- = TxBodyError String
- | DeserialisationError
- | InvalidValidityRange
- | ValueNotPureAda
- | OutputHasZeroAda
- | StakingPointersNotSupported
- | SimpleScriptsNotSupportedToCardano
- | MissingInputValidator
- | MissingDatum
- | MissingMintingPolicy
- | ScriptPurposeNotSupported ScriptTag
- | MissingMintingPolicyRedeemer
- | MissingStakeValidator
- | UnsupportedPlutusVersion Language
- | Tag String ToCardanoError
data FromCardanoError = SimpleScriptsNotSupported
deserialiseFromRawBytes :: SerialiseAsRawBytes t => AsType t -> ByteString -> Either ToCardanoError t
zeroExecutionUnits :: ExecutionUnits
tag :: String -> Either ToCardanoError t -> Either ToCardanoError t
withIsCardanoEra :: EraInMode era CardanoMode -> (IsCardanoEra era => r) -> r

Documentation

newtype CardanoBuildTx Source #

Constructors

CardanoBuildTx
Fields getCardanoBuildTx :: TxBodyContent BuildTx BabbageEra

Instances

Instances details

Eq CardanoBuildTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods (==) :: CardanoBuildTx -> CardanoBuildTx -> Bool Source # (/=) :: CardanoBuildTx -> CardanoBuildTx -> Bool Source #
Show CardanoBuildTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods showsPrec :: Int -> CardanoBuildTx -> ShowS Source # show :: CardanoBuildTx -> String Source # showList :: [CardanoBuildTx] -> ShowS Source #
Generic CardanoBuildTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Associated Types type Rep CardanoBuildTx :: Type -> Type Source # Methods from :: CardanoBuildTx -> Rep CardanoBuildTx x Source # to :: Rep CardanoBuildTx x -> CardanoBuildTx Source #
FromJSON CardanoBuildTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods parseJSON :: Value -> Parser CardanoBuildTx parseJSONList :: Value -> Parser [CardanoBuildTx]
ToJSON CardanoBuildTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods toJSON :: CardanoBuildTx -> Value toEncoding :: CardanoBuildTx -> Encoding toJSONList :: [CardanoBuildTx] -> Value toEncodingList :: [CardanoBuildTx] -> Encoding
Pretty CardanoBuildTx Source #
Instance details Defined in Ledger.Tx Methods pretty :: CardanoBuildTx -> Doc ann # prettyList :: [CardanoBuildTx] -> Doc ann #
type Rep CardanoBuildTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal type Rep CardanoBuildTx = D1 ('MetaData "CardanoBuildTx" "Ledger.Tx.CardanoAPI.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'True) (C1 ('MetaCons "CardanoBuildTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getCardanoBuildTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxBodyContent BuildTx BabbageEra))))

data CardanoTx where Source #

Cardano tx from any era.

Constructors

CardanoTx :: IsCardanoEra era => Tx era -> EraInMode era CardanoMode -> CardanoTx

Instances

Instances details

Eq CardanoTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods (==) :: CardanoTx -> CardanoTx -> Bool Source # (/=) :: CardanoTx -> CardanoTx -> Bool Source #
Show CardanoTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods showsPrec :: Int -> CardanoTx -> ShowS Source # show :: CardanoTx -> String Source # showList :: [CardanoTx] -> ShowS Source #
Serialise CardanoTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods encode :: CardanoTx -> Encoding decode :: Decoder s CardanoTx encodeList :: [CardanoTx] -> Encoding decodeList :: Decoder s [CardanoTx]
FromJSON CardanoTx Source #	Converting `CardanoTx` to JSON. If the "tx" field is from an unknown era, the JSON parser will print an error at runtime while parsing.
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods parseJSON :: Value -> Parser CardanoTx parseJSONList :: Value -> Parser [CardanoTx]
ToJSON CardanoTx Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods toJSON :: CardanoTx -> Value toEncoding :: CardanoTx -> Encoding toJSONList :: [CardanoTx] -> Value toEncodingList :: [CardanoTx] -> Encoding
Pretty CardanoTx Source #
Instance details Defined in Ledger.Tx Methods pretty :: CardanoTx -> Doc ann # prettyList :: [CardanoTx] -> Doc ann #

getEmulatorEraTx :: CardanoTx -> Tx BabbageEra Source #

pattern CardanoEmulatorEraTx :: Tx BabbageEra -> CardanoTx Source #

txOutRefs :: CardanoTx -> [(TxOut, TxOutRef)] Source #

unspentOutputsTx :: CardanoTx -> Map TxOutRef TxOut Source #

fromCardanoTxId :: TxId -> TxId Source #

fromCardanoTxIn :: TxIn -> TxOutRef Source #

fromCardanoTxOutToPV1TxInfoTxOut :: TxOut CtxTx era -> TxOut Source #

fromCardanoTxOutToPV1TxInfoTxOut' :: TxOut CtxUTxO era -> TxOut Source #

fromCardanoTxOutToPV2TxInfoTxOut :: TxOut CtxTx era -> TxOut Source #

fromCardanoTxOutToPV2TxInfoTxOut' :: TxOut CtxUTxO era -> TxOut Source #

fromCardanoTxOutDatumHash :: TxOutDatum CtxTx era -> Maybe DatumHash Source #

fromCardanoTxOutDatum :: TxOutDatum CtxTx era -> OutputDatum Source #

fromCardanoTxOutValue :: TxOutValue era -> Value Source #

fromCardanoAddressInEra :: AddressInEra era -> Address Source #

Deprecated: we now use Cardano address internally, if you need a plutus address use toPlutusAddress

fromCardanoAddress :: Address addrtype -> Address Source #

Deprecated: Shouldn't be used as we use Cardano address internally now

fromCardanoAssetId :: AssetId -> AssetClass Source #

fromCardanoAssetName :: AssetName -> TokenName Source #

fromCardanoMintValue :: TxMintValue build era -> Value Source #

fromCardanoValue :: Value -> Value Source #

fromCardanoPolicyId :: PolicyId -> MintingPolicyHash Source #

fromCardanoFee :: TxFee era -> Lovelace Source #

fromCardanoValidityRange :: (TxValidityLowerBound era, TxValidityUpperBound era) -> SlotRange Source #

fromCardanoScriptInEra :: ScriptInEra era -> Maybe (Versioned Script) Source #

fromCardanoPaymentKeyHash :: Hash PaymentKey -> PubKeyHash Source #

Deprecated: Shouldn't be used as we use Cardano address internally now

fromCardanoScriptData :: ScriptData -> BuiltinData Source #

fromCardanoPlutusScript :: HasTypeProxy lang => PlutusScript lang -> Script Source #

fromCardanoScriptInAnyLang :: ScriptInAnyLang -> Maybe (Versioned Script) Source #

fromCardanoReferenceScript :: ReferenceScript BabbageEra -> Maybe (Versioned Script) Source #

fromCardanoLovelace :: Lovelace -> Value Source #

fromCardanoSlotNo :: SlotNo -> Slot Source #

fromTxScriptValidity :: TxScriptValidity era -> Bool Source #

Given a 'C.TxScriptValidity era', if the era supports scripts, return a True or False depending on script validity. If the era does not support scripts, always return True.

toTxScriptValidity :: ShelleyBasedEra era -> Bool -> TxScriptValidity era Source #

scriptDataFromCardanoTxBody :: TxBody era -> (Map DatumHash Datum, Redeemers) Source #

Given a 'C.TxBody from a 'C.Tx era', return the datums and redeemers along with their hashes.

plutusScriptsFromTxBody :: TxBody era -> Map ScriptHash (Versioned Script) Source #

Extract plutus scripts from a Cardano API tx body.

Note that Plutus scripts are only supported in Alonzo era and onwards.

makeTransactionBody :: Maybe (PParams (BabbageEra StandardCrypto)) -> Map RdmrPtr ExUnits -> CardanoBuildTx -> Either ToCardanoError (TxBody BabbageEra) Source #

toCardanoTxIn :: TxOutRef -> Either ToCardanoError TxIn Source #

toCardanoTxOut :: NetworkId -> TxOut -> Either ToCardanoError (TxOut CtxTx BabbageEra) Source #

toCardanoTxOutDatum :: OutputDatum -> Either ToCardanoError (TxOutDatum CtxTx BabbageEra) Source #

toCardanoTxOutDatumHash :: DatumHash -> Either ToCardanoError (TxOutDatum ctx BabbageEra) Source #

toCardanoTxOutDatumHashFromDatum :: Datum -> TxOutDatum ctx BabbageEra Source #

toCardanoTxOutDatumInline :: Datum -> TxOutDatum CtxTx BabbageEra Source #

toCardanoTxOutDatumInTx :: Datum -> TxOutDatum CtxTx BabbageEra Source #

toCardanoTxOutNoDatum :: TxOutDatum CtxTx BabbageEra Source #

toCardanoTxOutValue :: Value -> TxOutValue BabbageEra Source #

toCardanoAddressInEra :: NetworkId -> Address -> Either ToCardanoError (AddressInEra BabbageEra) Source #

toCardanoAssetId :: AssetClass -> Either ToCardanoError AssetId Source #

toCardanoAssetName :: TokenName -> Either ToCardanoError AssetName Source #

toCardanoPolicyId :: MintingPolicyHash -> Either ToCardanoError PolicyId Source #

toCardanoValue :: Value -> Either ToCardanoError Value Source #

toCardanoLovelace :: Value -> Either ToCardanoError Lovelace Source #

toCardanoFee :: Lovelace -> TxFee BabbageEra Source #

adaToCardanoValue :: Ada -> Value Source #

toCardanoValidityRange :: SlotRange -> Either ToCardanoError (TxValidityLowerBound BabbageEra, TxValidityUpperBound BabbageEra) Source #

toCardanoScriptInEra :: Versioned Script -> Either ToCardanoError (ScriptInEra BabbageEra) Source #

toCardanoPaymentKeyHash :: PaymentPubKeyHash -> Either ToCardanoError (Hash PaymentKey) Source #

toCardanoScriptData :: BuiltinData -> ScriptData Source #

toCardanoScriptDataHash :: DatumHash -> Either ToCardanoError (Hash ScriptData) Source #

toCardanoScriptHash :: ValidatorHash -> Either ToCardanoError ScriptHash Source #

toCardanoStakeKeyHash :: PubKeyHash -> Either ToCardanoError (Hash StakeKey) Source #

toCardanoPlutusScript :: SerialiseAsRawBytes plutusScript => AsType plutusScript -> Script -> Either ToCardanoError plutusScript Source #

toCardanoScriptInAnyLang :: Versioned Script -> Either ToCardanoError ScriptInAnyLang Source #

toCardanoReferenceScript :: Maybe (Versioned Script) -> Either ToCardanoError (ReferenceScript BabbageEra) Source #

toCardanoTxId :: TxId -> Either ToCardanoError TxId Source #

data ToCardanoError Source #

Instances

Instances details

Eq ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods (==) :: ToCardanoError -> ToCardanoError -> Bool Source # (/=) :: ToCardanoError -> ToCardanoError -> Bool Source #
Show ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods showsPrec :: Int -> ToCardanoError -> ShowS Source # show :: ToCardanoError -> String Source # showList :: [ToCardanoError] -> ShowS Source #
Generic ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Associated Types type Rep ToCardanoError :: Type -> Type Source # Methods from :: ToCardanoError -> Rep ToCardanoError x Source # to :: Rep ToCardanoError x -> ToCardanoError Source #
FromJSON ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods parseJSON :: Value -> Parser ToCardanoError parseJSONList :: Value -> Parser [ToCardanoError]
ToJSON ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods toJSON :: ToCardanoError -> Value toEncoding :: ToCardanoError -> Encoding toJSONList :: [ToCardanoError] -> Value toEncodingList :: [ToCardanoError] -> Encoding
Pretty ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods pretty :: ToCardanoError -> Doc ann # prettyList :: [ToCardanoError] -> Doc ann #
type Rep ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal type Rep ToCardanoError = D1 ('MetaData "ToCardanoError" "Ledger.Tx.CardanoAPI.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'False) (((C1 ('MetaCons "TxBodyError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "DeserialisationError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InvalidValidityRange" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ValueNotPureAda" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OutputHasZeroAda" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "StakingPointersNotSupported" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SimpleScriptsNotSupportedToCardano" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "MissingInputValidator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MissingDatum" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MissingMintingPolicy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScriptPurposeNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptTag)))) :+: ((C1 ('MetaCons "MissingMintingPolicyRedeemer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MissingStakeValidator" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnsupportedPlutusVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Language)) :+: C1 ('MetaCons "Tag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToCardanoError))))))

data FromCardanoError Source #

Constructors

SimpleScriptsNotSupported

Instances

Instances details

Eq FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods (==) :: FromCardanoError -> FromCardanoError -> Bool Source # (/=) :: FromCardanoError -> FromCardanoError -> Bool Source #
Show FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods showsPrec :: Int -> FromCardanoError -> ShowS Source # show :: FromCardanoError -> String Source # showList :: [FromCardanoError] -> ShowS Source #
Generic FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Associated Types type Rep FromCardanoError :: Type -> Type Source # Methods from :: FromCardanoError -> Rep FromCardanoError x Source # to :: Rep FromCardanoError x -> FromCardanoError Source #
FromJSON FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods parseJSON :: Value -> Parser FromCardanoError parseJSONList :: Value -> Parser [FromCardanoError]
ToJSON FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods toJSON :: FromCardanoError -> Value toEncoding :: FromCardanoError -> Encoding toJSONList :: [FromCardanoError] -> Value toEncodingList :: [FromCardanoError] -> Encoding
Pretty FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods pretty :: FromCardanoError -> Doc ann # prettyList :: [FromCardanoError] -> Doc ann #
ToObject FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods toObject :: TracingVerbosity -> FromCardanoError -> Object textTransformer :: FromCardanoError -> Object -> Text
type Rep FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal type Rep FromCardanoError = D1 ('MetaData "FromCardanoError" "Ledger.Tx.CardanoAPI.Internal" "plutus-ledger-1.2.0.0-8dOSOspdVv7Hd909lHBnfn" 'False) (C1 ('MetaCons "SimpleScriptsNotSupported" 'PrefixI 'False) (U1 :: Type -> Type))

deserialiseFromRawBytes :: SerialiseAsRawBytes t => AsType t -> ByteString -> Either ToCardanoError t Source #

zeroExecutionUnits :: ExecutionUnits Source #

tag :: String -> Either ToCardanoError t -> Either ToCardanoError t Source #

withIsCardanoEra :: EraInMode era CardanoMode -> (IsCardanoEra era => r) -> r Source #

Run code that needs an IsCardanoEra constraint while you only have an EraInMode value.

Orphan instances

FromJSON ScriptData Source #
Instance details Methods parseJSON :: Value -> Parser ScriptData parseJSONList :: Value -> Parser [ScriptData]
FromJSONKey PolicyId Source #
Instance details Methods fromJSONKey :: FromJSONKeyFunction PolicyId fromJSONKeyList :: FromJSONKeyFunction [PolicyId]
ToJSON ScriptData Source #
Instance details Methods toJSON :: ScriptData -> Value toEncoding :: ScriptData -> Encoding toJSONList :: [ScriptData] -> Value toEncodingList :: [ScriptData] -> Encoding
ToJSONKey PolicyId Source #
Instance details Methods toJSONKey :: ToJSONKeyFunction PolicyId toJSONKeyList :: ToJSONKeyFunction [PolicyId]
Generic (PlutusScriptOrReferenceInput lang) Source #
Instance details Associated Types type Rep (PlutusScriptOrReferenceInput lang) :: Type -> Type Source # Methods from :: PlutusScriptOrReferenceInput lang -> Rep (PlutusScriptOrReferenceInput lang) x Source # to :: Rep (PlutusScriptOrReferenceInput lang) x -> PlutusScriptOrReferenceInput lang Source #
FromJSON (PlutusScript PlutusScriptV1) Source #
Instance details Methods parseJSON :: Value -> Parser (PlutusScript PlutusScriptV1) parseJSONList :: Value -> Parser [PlutusScript PlutusScriptV1]
FromJSON (PlutusScript PlutusScriptV2) Source #
Instance details Methods parseJSON :: Value -> Parser (PlutusScript PlutusScriptV2) parseJSONList :: Value -> Parser [PlutusScript PlutusScriptV2]
FromJSON (ScriptDatum WitCtxMint) Source #
Instance details Methods parseJSON :: Value -> Parser (ScriptDatum WitCtxMint) parseJSONList :: Value -> Parser [ScriptDatum WitCtxMint]
FromJSON (ScriptDatum WitCtxStake) Source #
Instance details Methods parseJSON :: Value -> Parser (ScriptDatum WitCtxStake) parseJSONList :: Value -> Parser [ScriptDatum WitCtxStake]
FromJSON (ScriptDatum WitCtxTxIn) Source #
Instance details Methods parseJSON :: Value -> Parser (ScriptDatum WitCtxTxIn) parseJSONList :: Value -> Parser [ScriptDatum WitCtxTxIn]
FromJSON (ScriptInEra BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (ScriptInEra BabbageEra) parseJSONList :: Value -> Parser [ScriptInEra BabbageEra]
FromJSON (TxAuxScripts BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxAuxScripts BabbageEra) parseJSONList :: Value -> Parser [TxAuxScripts BabbageEra]
FromJSON (TxExtraKeyWitnesses BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxExtraKeyWitnesses BabbageEra) parseJSONList :: Value -> Parser [TxExtraKeyWitnesses BabbageEra]
FromJSON (TxFee BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxFee BabbageEra) parseJSONList :: Value -> Parser [TxFee BabbageEra]
FromJSON (TxInsCollateral BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxInsCollateral BabbageEra) parseJSONList :: Value -> Parser [TxInsCollateral BabbageEra]
FromJSON (TxMetadataInEra BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxMetadataInEra BabbageEra) parseJSONList :: Value -> Parser [TxMetadataInEra BabbageEra]
FromJSON (TxScriptValidity BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxScriptValidity BabbageEra) parseJSONList :: Value -> Parser [TxScriptValidity BabbageEra]
FromJSON (TxTotalCollateral BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxTotalCollateral BabbageEra) parseJSONList :: Value -> Parser [TxTotalCollateral BabbageEra]
FromJSON (TxUpdateProposal BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxUpdateProposal BabbageEra) parseJSONList :: Value -> Parser [TxUpdateProposal BabbageEra]
FromJSON (TxValidityLowerBound BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxValidityLowerBound BabbageEra) parseJSONList :: Value -> Parser [TxValidityLowerBound BabbageEra]
FromJSON (TxValidityUpperBound BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxValidityUpperBound BabbageEra) parseJSONList :: Value -> Parser [TxValidityUpperBound BabbageEra]
FromJSON (PlutusScriptOrReferenceInput PlutusScriptV1) Source #
Instance details Methods parseJSON :: Value -> Parser (PlutusScriptOrReferenceInput PlutusScriptV1) parseJSONList :: Value -> Parser [PlutusScriptOrReferenceInput PlutusScriptV1]
FromJSON (PlutusScriptOrReferenceInput PlutusScriptV2) Source #
Instance details Methods parseJSON :: Value -> Parser (PlutusScriptOrReferenceInput PlutusScriptV2) parseJSONList :: Value -> Parser [PlutusScriptOrReferenceInput PlutusScriptV2]
ToJSON (PlutusScript PlutusScriptV1) Source #
Instance details Methods toJSON :: PlutusScript PlutusScriptV1 -> Value toEncoding :: PlutusScript PlutusScriptV1 -> Encoding toJSONList :: [PlutusScript PlutusScriptV1] -> Value toEncodingList :: [PlutusScript PlutusScriptV1] -> Encoding
ToJSON (PlutusScript PlutusScriptV2) Source #
Instance details Methods toJSON :: PlutusScript PlutusScriptV2 -> Value toEncoding :: PlutusScript PlutusScriptV2 -> Encoding toJSONList :: [PlutusScript PlutusScriptV2] -> Value toEncodingList :: [PlutusScript PlutusScriptV2] -> Encoding
ToJSON (ScriptDatum WitCtxMint) Source #
Instance details Methods toJSON :: ScriptDatum WitCtxMint -> Value toEncoding :: ScriptDatum WitCtxMint -> Encoding toJSONList :: [ScriptDatum WitCtxMint] -> Value toEncodingList :: [ScriptDatum WitCtxMint] -> Encoding
ToJSON (ScriptDatum WitCtxStake) Source #
Instance details Methods toJSON :: ScriptDatum WitCtxStake -> Value toEncoding :: ScriptDatum WitCtxStake -> Encoding toJSONList :: [ScriptDatum WitCtxStake] -> Value toEncodingList :: [ScriptDatum WitCtxStake] -> Encoding
ToJSON (ScriptDatum WitCtxTxIn) Source #
Instance details Methods toJSON :: ScriptDatum WitCtxTxIn -> Value toEncoding :: ScriptDatum WitCtxTxIn -> Encoding toJSONList :: [ScriptDatum WitCtxTxIn] -> Value toEncodingList :: [ScriptDatum WitCtxTxIn] -> Encoding
ToJSON (ScriptInEra BabbageEra) Source #
Instance details Methods toJSON :: ScriptInEra BabbageEra -> Value toEncoding :: ScriptInEra BabbageEra -> Encoding toJSONList :: [ScriptInEra BabbageEra] -> Value toEncodingList :: [ScriptInEra BabbageEra] -> Encoding
ToJSON (TxAuxScripts BabbageEra) Source #
Instance details Methods toJSON :: TxAuxScripts BabbageEra -> Value toEncoding :: TxAuxScripts BabbageEra -> Encoding toJSONList :: [TxAuxScripts BabbageEra] -> Value toEncodingList :: [TxAuxScripts BabbageEra] -> Encoding
ToJSON (TxExtraKeyWitnesses BabbageEra) Source #
Instance details Methods toJSON :: TxExtraKeyWitnesses BabbageEra -> Value toEncoding :: TxExtraKeyWitnesses BabbageEra -> Encoding toJSONList :: [TxExtraKeyWitnesses BabbageEra] -> Value toEncodingList :: [TxExtraKeyWitnesses BabbageEra] -> Encoding
ToJSON (TxFee BabbageEra) Source #
Instance details Methods toJSON :: TxFee BabbageEra -> Value toEncoding :: TxFee BabbageEra -> Encoding toJSONList :: [TxFee BabbageEra] -> Value toEncodingList :: [TxFee BabbageEra] -> Encoding
ToJSON (TxInsCollateral BabbageEra) Source #
Instance details Methods toJSON :: TxInsCollateral BabbageEra -> Value toEncoding :: TxInsCollateral BabbageEra -> Encoding toJSONList :: [TxInsCollateral BabbageEra] -> Value toEncodingList :: [TxInsCollateral BabbageEra] -> Encoding
ToJSON (TxMetadataInEra BabbageEra) Source #
Instance details Methods toJSON :: TxMetadataInEra BabbageEra -> Value toEncoding :: TxMetadataInEra BabbageEra -> Encoding toJSONList :: [TxMetadataInEra BabbageEra] -> Value toEncodingList :: [TxMetadataInEra BabbageEra] -> Encoding
ToJSON (TxScriptValidity BabbageEra) Source #
Instance details Methods toJSON :: TxScriptValidity BabbageEra -> Value toEncoding :: TxScriptValidity BabbageEra -> Encoding toJSONList :: [TxScriptValidity BabbageEra] -> Value toEncodingList :: [TxScriptValidity BabbageEra] -> Encoding
ToJSON (TxTotalCollateral BabbageEra) Source #
Instance details Methods toJSON :: TxTotalCollateral BabbageEra -> Value toEncoding :: TxTotalCollateral BabbageEra -> Encoding toJSONList :: [TxTotalCollateral BabbageEra] -> Value toEncodingList :: [TxTotalCollateral BabbageEra] -> Encoding
ToJSON (TxUpdateProposal BabbageEra) Source #
Instance details Methods toJSON :: TxUpdateProposal BabbageEra -> Value toEncoding :: TxUpdateProposal BabbageEra -> Encoding toJSONList :: [TxUpdateProposal BabbageEra] -> Value toEncodingList :: [TxUpdateProposal BabbageEra] -> Encoding
ToJSON (TxValidityLowerBound BabbageEra) Source #
Instance details Methods toJSON :: TxValidityLowerBound BabbageEra -> Value toEncoding :: TxValidityLowerBound BabbageEra -> Encoding toJSONList :: [TxValidityLowerBound BabbageEra] -> Value toEncodingList :: [TxValidityLowerBound BabbageEra] -> Encoding
ToJSON (TxValidityUpperBound BabbageEra) Source #
Instance details Methods toJSON :: TxValidityUpperBound BabbageEra -> Value toEncoding :: TxValidityUpperBound BabbageEra -> Encoding toJSONList :: [TxValidityUpperBound BabbageEra] -> Value toEncodingList :: [TxValidityUpperBound BabbageEra] -> Encoding
ToJSON (PlutusScriptOrReferenceInput PlutusScriptV1) Source #
Instance details Methods toJSON :: PlutusScriptOrReferenceInput PlutusScriptV1 -> Value toEncoding :: PlutusScriptOrReferenceInput PlutusScriptV1 -> Encoding toJSONList :: [PlutusScriptOrReferenceInput PlutusScriptV1] -> Value toEncodingList :: [PlutusScriptOrReferenceInput PlutusScriptV1] -> Encoding
ToJSON (PlutusScriptOrReferenceInput PlutusScriptV2) Source #
Instance details Methods toJSON :: PlutusScriptOrReferenceInput PlutusScriptV2 -> Value toEncoding :: PlutusScriptOrReferenceInput PlutusScriptV2 -> Encoding toJSONList :: [PlutusScriptOrReferenceInput PlutusScriptV2] -> Value toEncodingList :: [PlutusScriptOrReferenceInput PlutusScriptV2] -> Encoding
Generic (TxBodyContent BuildTx BabbageEra) Source #
Instance details Associated Types type Rep (TxBodyContent BuildTx BabbageEra) :: Type -> Type Source # Methods from :: TxBodyContent BuildTx BabbageEra -> Rep (TxBodyContent BuildTx BabbageEra) x Source # to :: Rep (TxBodyContent BuildTx BabbageEra) x -> TxBodyContent BuildTx BabbageEra Source #
FromJSON (ScriptDatum ctx) => FromJSON (ScriptWitness ctx BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (ScriptWitness ctx BabbageEra) parseJSONList :: Value -> Parser [ScriptWitness ctx BabbageEra]
FromJSON (Witness WitCtxMint BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (Witness WitCtxMint BabbageEra) parseJSONList :: Value -> Parser [Witness WitCtxMint BabbageEra]
FromJSON (Witness WitCtxStake BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (Witness WitCtxStake BabbageEra) parseJSONList :: Value -> Parser [Witness WitCtxStake BabbageEra]
FromJSON (Witness WitCtxTxIn BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (Witness WitCtxTxIn BabbageEra) parseJSONList :: Value -> Parser [Witness WitCtxTxIn BabbageEra]
FromJSON w => FromJSON (BuildTxWith BuildTx w) Source #
Instance details Methods parseJSON :: Value -> Parser (BuildTxWith BuildTx w) parseJSONList :: Value -> Parser [BuildTxWith BuildTx w]
FromJSON (TxBodyContent BuildTx BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxBodyContent BuildTx BabbageEra) parseJSONList :: Value -> Parser [TxBodyContent BuildTx BabbageEra]
FromJSON (TxCertificates BuildTx BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxCertificates BuildTx BabbageEra) parseJSONList :: Value -> Parser [TxCertificates BuildTx BabbageEra]
FromJSON (TxInsReference BuildTx BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxInsReference BuildTx BabbageEra) parseJSONList :: Value -> Parser [TxInsReference BuildTx BabbageEra]
FromJSON (TxMintValue BuildTx BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxMintValue BuildTx BabbageEra) parseJSONList :: Value -> Parser [TxMintValue BuildTx BabbageEra]
FromJSON (TxReturnCollateral CtxTx BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxReturnCollateral CtxTx BabbageEra) parseJSONList :: Value -> Parser [TxReturnCollateral CtxTx BabbageEra]
FromJSON (TxWithdrawals BuildTx BabbageEra) Source #
Instance details Methods parseJSON :: Value -> Parser (TxWithdrawals BuildTx BabbageEra) parseJSONList :: Value -> Parser [TxWithdrawals BuildTx BabbageEra]
ToJSON (ScriptDatum ctx) => ToJSON (ScriptWitness ctx BabbageEra) Source #
Instance details Methods toJSON :: ScriptWitness ctx BabbageEra -> Value toEncoding :: ScriptWitness ctx BabbageEra -> Encoding toJSONList :: [ScriptWitness ctx BabbageEra] -> Value toEncodingList :: [ScriptWitness ctx BabbageEra] -> Encoding
ToJSON (Witness WitCtxMint BabbageEra) Source #
Instance details Methods toJSON :: Witness WitCtxMint BabbageEra -> Value toEncoding :: Witness WitCtxMint BabbageEra -> Encoding toJSONList :: [Witness WitCtxMint BabbageEra] -> Value toEncodingList :: [Witness WitCtxMint BabbageEra] -> Encoding
ToJSON (Witness WitCtxStake BabbageEra) Source #
Instance details Methods toJSON :: Witness WitCtxStake BabbageEra -> Value toEncoding :: Witness WitCtxStake BabbageEra -> Encoding toJSONList :: [Witness WitCtxStake BabbageEra] -> Value toEncodingList :: [Witness WitCtxStake BabbageEra] -> Encoding
ToJSON (Witness WitCtxTxIn BabbageEra) Source #
Instance details Methods toJSON :: Witness WitCtxTxIn BabbageEra -> Value toEncoding :: Witness WitCtxTxIn BabbageEra -> Encoding toJSONList :: [Witness WitCtxTxIn BabbageEra] -> Value toEncodingList :: [Witness WitCtxTxIn BabbageEra] -> Encoding
ToJSON w => ToJSON (BuildTxWith BuildTx w) Source #
Instance details Methods toJSON :: BuildTxWith BuildTx w -> Value toEncoding :: BuildTxWith BuildTx w -> Encoding toJSONList :: [BuildTxWith BuildTx w] -> Value toEncodingList :: [BuildTxWith BuildTx w] -> Encoding
ToJSON (TxBodyContent BuildTx BabbageEra) Source #
Instance details Methods toJSON :: TxBodyContent BuildTx BabbageEra -> Value toEncoding :: TxBodyContent BuildTx BabbageEra -> Encoding toJSONList :: [TxBodyContent BuildTx BabbageEra] -> Value toEncodingList :: [TxBodyContent BuildTx BabbageEra] -> Encoding
ToJSON (TxCertificates BuildTx BabbageEra) Source #
Instance details Methods toJSON :: TxCertificates BuildTx BabbageEra -> Value toEncoding :: TxCertificates BuildTx BabbageEra -> Encoding toJSONList :: [TxCertificates BuildTx BabbageEra] -> Value toEncodingList :: [TxCertificates BuildTx BabbageEra] -> Encoding
ToJSON (TxInsReference BuildTx BabbageEra) Source #
Instance details Methods toJSON :: TxInsReference BuildTx BabbageEra -> Value toEncoding :: TxInsReference BuildTx BabbageEra -> Encoding toJSONList :: [TxInsReference BuildTx BabbageEra] -> Value toEncodingList :: [TxInsReference BuildTx BabbageEra] -> Encoding
ToJSON (TxMintValue BuildTx BabbageEra) Source #
Instance details Methods toJSON :: TxMintValue BuildTx BabbageEra -> Value toEncoding :: TxMintValue BuildTx BabbageEra -> Encoding toJSONList :: [TxMintValue BuildTx BabbageEra] -> Value toEncodingList :: [TxMintValue BuildTx BabbageEra] -> Encoding
ToJSON (TxReturnCollateral ctx BabbageEra) Source #
Instance details Methods toJSON :: TxReturnCollateral ctx BabbageEra -> Value toEncoding :: TxReturnCollateral ctx BabbageEra -> Encoding toJSONList :: [TxReturnCollateral ctx BabbageEra] -> Value toEncodingList :: [TxReturnCollateral ctx BabbageEra] -> Encoding
ToJSON (TxWithdrawals BuildTx BabbageEra) Source #
Instance details Methods toJSON :: TxWithdrawals BuildTx BabbageEra -> Value toEncoding :: TxWithdrawals BuildTx BabbageEra -> Encoding toJSONList :: [TxWithdrawals BuildTx BabbageEra] -> Value toEncodingList :: [TxWithdrawals BuildTx BabbageEra] -> Encoding

TxBodyError String	A C.TxBodyError converted to String
DeserialisationError
InvalidValidityRange
ValueNotPureAda
OutputHasZeroAda
StakingPointersNotSupported
SimpleScriptsNotSupportedToCardano
MissingInputValidator
MissingDatum
MissingMintingPolicy
ScriptPurposeNotSupported ScriptTag
MissingMintingPolicyRedeemer
MissingStakeValidator
UnsupportedPlutusVersion Language
Tag String ToCardanoError