Safe Haskell	Safe-Inferred
Language	Haskell2010

Convex.PlutusLedger

Contents

Script hashes
Key hashes
Asset names
Credentials and addresses
Tx IDs
POSIX Time
Value
Scripts
Intervals

Description

Translating between cardano-api/cardano-ledger and plutus representations

Synopsis

transScriptHash ∷ ScriptHash → ScriptHash
unTransScriptHash ∷ ScriptHash → Either SerialiseAsRawBytesError ScriptHash
unTransScriptDataHash ∷ DatumHash → Either SerialiseAsRawBytesError (Hash ScriptData)
unTransTxOutDatumHash ∷ DatumHash → Either SerialiseAsRawBytesError (TxOutDatum ctx BabbageEra)
transPubKeyHash ∷ Hash PaymentKey → PubKeyHash
unTransPubKeyHash ∷ PubKeyHash → Either SerialiseAsRawBytesError (Hash PaymentKey)
transStakeKeyHash ∷ Hash StakeKey → PubKeyHash
unTransStakeKeyHash ∷ PubKeyHash → Either SerialiseAsRawBytesError (Hash StakeKey)
transAssetName ∷ AssetName → TokenName
toMaryAssetName ∷ AssetName → AssetName
unTransAssetName ∷ TokenName → AssetName
transPolicyId ∷ PolicyId → CurrencySymbol
unTransPolicyId ∷ CurrencySymbol → Either SerialiseAsRawBytesError PolicyId
transAssetId ∷ AssetId → AssetClass
unTransAssetId ∷ AssetClass → Either SerialiseAsRawBytesError AssetId
transCredential ∷ PaymentCredential → Credential
unTransCredential ∷ Credential → Either SerialiseAsRawBytesError PaymentCredential
transStakeCredential ∷ StakeCredential → Credential
unTransStakeCredential ∷ Credential → Either SerialiseAsRawBytesError StakeCredential
transStakeAddressReference ∷ StakeAddressReference → Maybe StakingCredential
unTransStakeAddressReference ∷ Maybe StakingCredential → Either SerialiseAsRawBytesError StakeAddressReference
unTransAddressInEra ∷ NetworkId → Address → Either SerialiseAsRawBytesError (AddressInEra BabbageEra)
transAddressInEra ∷ AddressInEra BabbageEra → Maybe Address
unTransTxOutRef ∷ TxOutRef → Either SerialiseAsRawBytesError TxIn
transTxOutRef ∷ TxIn → TxOutRef
unTransPOSIXTime ∷ POSIXTime → POSIXTime
transPOSIXTime ∷ POSIXTime → POSIXTime
unTransTxOutValue ∷ Value → Either SerialiseAsRawBytesError (TxOutValue BabbageEra)
transValue ∷ Value → Value
unTransValue ∷ Value → Either SerialiseAsRawBytesError Value
unTransPlutusScript ∷ SerialiseAsRawBytes plutusScript ⇒ AsType plutusScript → SerialisedScript → Either SerialiseAsRawBytesError plutusScript
_Interval ∷ Iso' (Interval a) (LowerBound a, UpperBound a)
_UpperBound ∷ Iso' (UpperBound a) (Extended a, Closure)
_LowerBound ∷ Iso' (LowerBound a) (Extended a, Closure)
_NegInf ∷ Prism' (Extended a) ()
_PosInf ∷ Prism' (Extended a) ()
_Finite ∷ Prism' (Extended a) a
_FiniteInterval ∷ Prism' (Interval a) ((a, a), (Closure, Closure))

Script hashes

transScriptHash ∷ ScriptHash → ScriptHash Source #

unTransScriptHash ∷ ScriptHash → Either SerialiseAsRawBytesError ScriptHash Source #

unTransScriptDataHash ∷ DatumHash → Either SerialiseAsRawBytesError (Hash ScriptData) Source #

unTransTxOutDatumHash ∷ DatumHash → Either SerialiseAsRawBytesError (TxOutDatum ctx BabbageEra) Source #

Key hashes

transPubKeyHash ∷ Hash PaymentKey → PubKeyHash Source #

unTransPubKeyHash ∷ PubKeyHash → Either SerialiseAsRawBytesError (Hash PaymentKey) Source #

transStakeKeyHash ∷ Hash StakeKey → PubKeyHash Source #

unTransStakeKeyHash ∷ PubKeyHash → Either SerialiseAsRawBytesError (Hash StakeKey) Source #

Asset names

transAssetName ∷ AssetName → TokenName Source #

toMaryAssetName ∷ AssetName → AssetName Source #

unTransAssetName ∷ TokenName → AssetName Source #

transPolicyId ∷ PolicyId → CurrencySymbol Source #

unTransPolicyId ∷ CurrencySymbol → Either SerialiseAsRawBytesError PolicyId Source #

transAssetId ∷ AssetId → AssetClass Source #

unTransAssetId ∷ AssetClass → Either SerialiseAsRawBytesError AssetId Source #

Credentials and addresses

transCredential ∷ PaymentCredential → Credential Source #

unTransCredential ∷ Credential → Either SerialiseAsRawBytesError PaymentCredential Source #

transStakeCredential ∷ StakeCredential → Credential Source #

unTransStakeCredential ∷ Credential → Either SerialiseAsRawBytesError StakeCredential Source #

transStakeAddressReference ∷ StakeAddressReference → Maybe StakingCredential Source #

unTransStakeAddressReference ∷ Maybe StakingCredential → Either SerialiseAsRawBytesError StakeAddressReference Source #

unTransAddressInEra ∷ NetworkId → Address → Either SerialiseAsRawBytesError (AddressInEra BabbageEra) Source #

transAddressInEra ∷ AddressInEra BabbageEra → Maybe Address Source #

cardano-api address to plutus address. Returns Nothing for | byron addresses.

Tx IDs

unTransTxOutRef ∷ TxOutRef → Either SerialiseAsRawBytesError TxIn Source #

transTxOutRef ∷ TxIn → TxOutRef Source #

POSIX Time

unTransPOSIXTime ∷ POSIXTime → POSIXTime Source #

transPOSIXTime ∷ POSIXTime → POSIXTime Source #

Value

unTransTxOutValue ∷ Value → Either SerialiseAsRawBytesError (TxOutValue BabbageEra) Source #

transValue ∷ Value → Value Source #

unTransValue ∷ Value → Either SerialiseAsRawBytesError Value Source #

Scripts

unTransPlutusScript ∷ SerialiseAsRawBytes plutusScript ⇒ AsType plutusScript → SerialisedScript → Either SerialiseAsRawBytesError plutusScript Source #

Intervals

_Interval ∷ Iso' (Interval a) (LowerBound a, UpperBound a) Source #

_UpperBound ∷ Iso' (UpperBound a) (Extended a, Closure) Source #

_LowerBound ∷ Iso' (LowerBound a) (Extended a, Closure) Source #

_NegInf ∷ Prism' (Extended a) () Source #

_PosInf ∷ Prism' (Extended a) () Source #

_Finite ∷ Prism' (Extended a) a Source #

_FiniteInterval ∷ Prism' (Interval a) ((a, a), (Closure, Closure)) Source #

Access a finite interval with the two boundaries and closures. This is convenient if you want to change the length of the interval for example.