cardano-ledger-api-1.15.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.Tx.Out

Description

This module is used for building and inspecting transaction outputs.

You'll find some examples below.

Let's start by defining the GHC extensions and imports.

>>> :set -XTypeApplications
>>> import Cardano.Ledger.Api.Era (BabbageEra)
>>> import Lens.Micro
>>> import Test.Cardano.Ledger.Babbage.Arbitrary() -- Needed for doctests only
>>> import Test.QuickCheck -- Needed for doctests only

Here's an example on how to build a very basic Babbage era transaction output with a random address and value, and without any datum or reference script.

>>> :{
quickCheck $ \addr val ->
    let
        -- Defining a Babbage era transaction output with some random address and value.
        txOut = mkBasicTxOut @BabbageEra addr val
     in
        -- We verify that the transaction output contains our random address and value.
        txOut ^. addrTxOutL == addr && txOut ^. valueTxOutL == val
:}
+++ OK, passed 100 tests.
Synopsis

Documentation

module Cardano.Ledger.Api.Tx.Address

class (Val (Value era), FromJSON (TxOut era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), MemPack (CompactForm (Value era)), EncCBOR (Value era), EncCBOR (TxOut era), DecCBOR (TxOut era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking), NoThunks (TxOut era), NFData (TxOut era), Show (TxOut era), Eq (TxOut era), Ord (TxOut era), MemPack (TxOut era), EraPParams era) ⇒ EraTxOut era Source #

Abstract interface into specific fields of a TxOut

Minimal complete definition

mkBasicTxOut, upgradeTxOut, valueEitherTxOutL, addrEitherTxOutL, (getMinCoinSizedTxOut | getMinCoinTxOut)

Associated Types

type TxOut era = (r ∷ Type) | r → era Source #

The output of a UTxO for a particular era

Instances

Instances details
EraTxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

Associated Types

type TxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEra

Methods

mkBasicTxOut ∷ Addr → Value AllegraEra → TxOut AllegraEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AllegraEra) → TxOut AllegraEra Source #

valueTxOutL ∷ Lens' (TxOut AllegraEra) (Value AllegraEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AllegraEra) (CompactForm (Value AllegraEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either (Value AllegraEra) (CompactForm (Value AllegraEra))) Source #

addrTxOutL ∷ Lens' (TxOut AllegraEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AllegraEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AllegraEra → Sized (TxOut AllegraEra) → Coin Source #

getMinCoinTxOut ∷ PParams AllegraEra → TxOut AllegraEra → Coin Source #

EraTxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type TxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

Methods

mkBasicTxOut ∷ Addr → Value AlonzoEra → TxOut AlonzoEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AlonzoEra) → TxOut AlonzoEra Source #

valueTxOutL ∷ Lens' (TxOut AlonzoEra) (Value AlonzoEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AlonzoEra) (CompactForm (Value AlonzoEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either (Value AlonzoEra) (CompactForm (Value AlonzoEra))) Source #

addrTxOutL ∷ Lens' (TxOut AlonzoEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AlonzoEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AlonzoEra → Sized (TxOut AlonzoEra) → Coin Source #

getMinCoinTxOut ∷ PParams AlonzoEra → TxOut AlonzoEra → Coin Source #

EraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type TxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type TxOut BabbageEra = BabbageTxOut BabbageEra

Methods

mkBasicTxOut ∷ Addr → Value BabbageEra → TxOut BabbageEra Source #

upgradeTxOut ∷ TxOut (PreviousEra BabbageEra) → TxOut BabbageEra Source #

valueTxOutL ∷ Lens' (TxOut BabbageEra) (Value BabbageEra) Source #

compactValueTxOutL ∷ Lens' (TxOut BabbageEra) (CompactForm (Value BabbageEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut BabbageEra) (Either (Value BabbageEra) (CompactForm (Value BabbageEra))) Source #

addrTxOutL ∷ Lens' (TxOut BabbageEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut BabbageEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut BabbageEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams BabbageEra → Sized (TxOut BabbageEra) → Coin Source #

getMinCoinTxOut ∷ PParams BabbageEra → TxOut BabbageEra → Coin Source #

EraTxOut ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

Associated Types

type TxOut ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

type TxOut ConwayEra = BabbageTxOut ConwayEra

Methods

mkBasicTxOut ∷ Addr → Value ConwayEra → TxOut ConwayEra Source #

upgradeTxOut ∷ TxOut (PreviousEra ConwayEra) → TxOut ConwayEra Source #

valueTxOutL ∷ Lens' (TxOut ConwayEra) (Value ConwayEra) Source #

compactValueTxOutL ∷ Lens' (TxOut ConwayEra) (CompactForm (Value ConwayEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut ConwayEra) (Either (Value ConwayEra) (CompactForm (Value ConwayEra))) Source #

addrTxOutL ∷ Lens' (TxOut ConwayEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ConwayEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut ConwayEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams ConwayEra → Sized (TxOut ConwayEra) → Coin Source #

getMinCoinTxOut ∷ PParams ConwayEra → TxOut ConwayEra → Coin Source #

EraTxOut DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxOut

Associated Types

type TxOut DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxOut

type TxOut DijkstraEra = BabbageTxOut DijkstraEra

Methods

mkBasicTxOut ∷ Addr → Value DijkstraEra → TxOut DijkstraEra Source #

upgradeTxOut ∷ TxOut (PreviousEra DijkstraEra) → TxOut DijkstraEra Source #

valueTxOutL ∷ Lens' (TxOut DijkstraEra) (Value DijkstraEra) Source #

compactValueTxOutL ∷ Lens' (TxOut DijkstraEra) (CompactForm (Value DijkstraEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut DijkstraEra) (Either (Value DijkstraEra) (CompactForm (Value DijkstraEra))) Source #

addrTxOutL ∷ Lens' (TxOut DijkstraEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut DijkstraEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut DijkstraEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams DijkstraEra → Sized (TxOut DijkstraEra) → Coin Source #

getMinCoinTxOut ∷ PParams DijkstraEra → TxOut DijkstraEra → Coin Source #

EraTxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

Associated Types

type TxOut MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxOut

type TxOut MaryEra = ShelleyTxOut MaryEra

Methods

mkBasicTxOut ∷ Addr → Value MaryEra → TxOut MaryEra Source #

upgradeTxOut ∷ TxOut (PreviousEra MaryEra) → TxOut MaryEra Source #

valueTxOutL ∷ Lens' (TxOut MaryEra) (Value MaryEra) Source #

compactValueTxOutL ∷ Lens' (TxOut MaryEra) (CompactForm (Value MaryEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut MaryEra) (Either (Value MaryEra) (CompactForm (Value MaryEra))) Source #

addrTxOutL ∷ Lens' (TxOut MaryEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut MaryEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut MaryEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams MaryEra → Sized (TxOut MaryEra) → Coin Source #

getMinCoinTxOut ∷ PParams MaryEra → TxOut MaryEra → Coin Source #

EraTxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEra

Methods

mkBasicTxOut ∷ Addr → Value ShelleyEra → TxOut ShelleyEra Source #

upgradeTxOut ∷ TxOut (PreviousEra ShelleyEra) → TxOut ShelleyEra Source #

valueTxOutL ∷ Lens' (TxOut ShelleyEra) (Value ShelleyEra) Source #

compactValueTxOutL ∷ Lens' (TxOut ShelleyEra) (CompactForm (Value ShelleyEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either (Value ShelleyEra) (CompactForm (Value ShelleyEra))) Source #

addrTxOutL ∷ Lens' (TxOut ShelleyEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ShelleyEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams ShelleyEra → Sized (TxOut ShelleyEra) → Coin Source #

getMinCoinTxOut ∷ PParams ShelleyEra → TxOut ShelleyEra → Coin Source #

mkBasicTxOut ∷ EraTxOut era ⇒ Addr → Value era → TxOut era Source #

upgradeTxOut ∷ EraTxOut era ⇒ TxOut (PreviousEra era) → TxOut era Source #

Every era, except Shelley, must be able to upgrade a TxOut from a previous era.

Any Era

class (EraTxOut era, AnyEraScript era) ⇒ AnyEraTxOut era where Source #

Minimal complete definition

Nothing

Methods

datumTxOutG ∷ SimpleGetter (TxOut era) (Maybe (Datum era)) Source #

default datumTxOutG ∷ AlonzoEraTxOut era ⇒ SimpleGetter (TxOut era) (Maybe (Datum era)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut era) (Maybe (Maybe (Script era))) Source #

default referenceScriptTxOutG ∷ BabbageEraTxOut era ⇒ SimpleGetter (TxOut era) (Maybe (Maybe (Script era))) Source #

Instances

Instances details
AnyEraTxOut AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Out

Methods

datumTxOutG ∷ SimpleGetter (TxOut AllegraEra) (Maybe (Datum AllegraEra)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut AllegraEra) (Maybe (Maybe (Script AllegraEra))) Source #

AnyEraTxOut AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Out

Methods

datumTxOutG ∷ SimpleGetter (TxOut AlonzoEra) (Maybe (Datum AlonzoEra)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut AlonzoEra) (Maybe (Maybe (Script AlonzoEra))) Source #

AnyEraTxOut BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Out

Methods

datumTxOutG ∷ SimpleGetter (TxOut BabbageEra) (Maybe (Datum BabbageEra)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut BabbageEra) (Maybe (Maybe (Script BabbageEra))) Source #

AnyEraTxOut ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Out

Methods

datumTxOutG ∷ SimpleGetter (TxOut ConwayEra) (Maybe (Datum ConwayEra)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut ConwayEra) (Maybe (Maybe (Script ConwayEra))) Source #

AnyEraTxOut DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Out

Methods

datumTxOutG ∷ SimpleGetter (TxOut DijkstraEra) (Maybe (Datum DijkstraEra)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut DijkstraEra) (Maybe (Maybe (Script DijkstraEra))) Source #

AnyEraTxOut MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Out

Methods

datumTxOutG ∷ SimpleGetter (TxOut MaryEra) (Maybe (Datum MaryEra)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut MaryEra) (Maybe (Maybe (Script MaryEra))) Source #

AnyEraTxOut ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Out

Methods

datumTxOutG ∷ SimpleGetter (TxOut ShelleyEra) (Maybe (Datum ShelleyEra)) Source #

referenceScriptTxOutG ∷ SimpleGetter (TxOut ShelleyEra) (Maybe (Maybe (Script ShelleyEra))) Source #

Value

valueTxOutL ∷ EraTxOut era ⇒ Lens' (TxOut era) (Value era) Source #

coinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) Coin Source #

isAdaOnlyTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) Bool Source #

This is a getter that implements an efficient way to check whether TxOut contains ADA only.

Address

addrTxOutL ∷ EraTxOut era ⇒ Lens' (TxOut era) Addr Source #

bootAddrTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) (Maybe BootstrapAddress) Source #

Size

getMinCoinTxOut ∷ EraTxOut era ⇒ PParams era → TxOut era → Coin Source #

Same as getMinCoinSizedTxOut, except information about the size of TxOut will be computed by serializing the TxOut. If the size turns out to be not needed, then serialization will have no overhead, since it is computed lazily.

setMinCoinTxOut ∷ EraTxOut era ⇒ PParams era → TxOut era → TxOut era Source #

Same as setMinCoinSizedTxOut, except it doesn't require the size of the TxOut and will recompute it if needed. Initial amount is not important.

getMinCoinSizedTxOut ∷ EraTxOut era ⇒ PParams era → Sized (TxOut era) → Coin Source #

Produce the minimum lovelace that a given transaction output must contain. Information about the size of the TxOut is required in some eras. Use getMinCoinTxOut if you don't have the size readily available to you.

setMinCoinSizedTxOut ∷ EraTxOut era ⇒ PParams era → Sized (TxOut era) → Sized (TxOut era) Source #

This function will adjust the output's Coin value to the smallest amount allowed by the UTXO rule. Initial amount is not important.

ensureMinCoinTxOut ∷ EraTxOut era ⇒ PParams era → TxOut era → TxOut era Source #

Similar to setMinCoinTxOut it will guarantee that the minimum requirement for the output amount is satisified, however it makes it possible to set a higher amount than the minimaly required.

> ensureMinCoinTxOut pp (txOut & coinTxOutL .~ zero) == setMinCoinTxOut pp (txOut & coinTxOutL .~ zero)
> (ensureMinCoinTxOut pp txOut ^. coinTxOutL) >= (setMinCoinTxOut pp txOut ^. coinTxOutL)

ensureMinCoinSizedTxOut ∷ EraTxOut era ⇒ PParams era → Sized (TxOut era) → Sized (TxOut era) Source #

Similar to setMinCoinSizedTxOut it will guarantee that the minimum requirement for the output amount is satisified, however it makes it possible to set a higher amount than the minimaly required.

ensureMinCoinSizedTxOut relates to setMinCoinSizedTxOut in the same way that ensureMinCoinTxOut relates to setMinCoinTxOut.

Shelley, Allegra and Mary Era

Alonzo Era

class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era Source #

Minimal complete definition

dataHashTxOutL, datumTxOutF

Instances

Instances details
AlonzoEraTxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #

AlonzoEraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut BabbageEra) (Datum BabbageEra) Source #

AlonzoEraTxOut ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut ConwayEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut ConwayEra) (Datum ConwayEra) Source #

AlonzoEraTxOut DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut DijkstraEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut DijkstraEra) (Datum DijkstraEra) Source #

dataHashTxOutL ∷ AlonzoEraTxOut era ⇒ Lens' (TxOut era) (StrictMaybe DataHash) Source #

type DataHash = SafeHash EraIndependentData Source #

datumTxOutF ∷ AlonzoEraTxOut era ⇒ SimpleGetter (TxOut era) (Datum era) Source #

Babbage Era

class (AlonzoEraTxOut era, AlonzoEraScript era) ⇒ BabbageEraTxOut era Source #

Minimal complete definition

referenceScriptTxOutL, dataTxOutL, datumTxOutL

Instances

Instances details
BabbageEraTxOut BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

referenceScriptTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Script BabbageEra)) Source #

dataTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Data BabbageEra)) Source #

datumTxOutL ∷ Lens' (TxOut BabbageEra) (Datum BabbageEra) Source #

BabbageEraTxOut ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxOut

Methods

referenceScriptTxOutL ∷ Lens' (TxOut ConwayEra) (StrictMaybe (Script ConwayEra)) Source #

dataTxOutL ∷ Lens' (TxOut ConwayEra) (StrictMaybe (Data ConwayEra)) Source #

datumTxOutL ∷ Lens' (TxOut ConwayEra) (Datum ConwayEra) Source #

BabbageEraTxOut DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxOut

Methods

referenceScriptTxOutL ∷ Lens' (TxOut DijkstraEra) (StrictMaybe (Script DijkstraEra)) Source #

dataTxOutL ∷ Lens' (TxOut DijkstraEra) (StrictMaybe (Data DijkstraEra)) Source #

datumTxOutL ∷ Lens' (TxOut DijkstraEra) (Datum DijkstraEra) Source #

dataTxOutL ∷ BabbageEraTxOut era ⇒ Lens' (TxOut era) (StrictMaybe (Data era)) Source #

data Data era where Source #

Bundled Patterns

pattern Data ∷ Era era ⇒ Data → Data era 

Instances

Instances details
Era era ⇒ FromJSON (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

parseJSON ∷ Value → Parser (Data era) Source #

parseJSONList ∷ Value → Parser [Data era] Source #

omittedField ∷ Maybe (Data era) Source #

ToJSON (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

toJSON ∷ Data era → Value Source #

toEncoding ∷ Data era → Encoding Source #

toJSONList ∷ [Data era] → Value Source #

toEncodingList ∷ [Data era] → Encoding Source #

omitField ∷ Data era → Bool Source #

Typeable era ⇒ ToCBOR (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

toCBOR ∷ Data era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Data era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Data era] → Size Source #

Era era ⇒ DecCBOR (Annotator (Data era)) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

decCBOR ∷ Decoder s (Annotator (Data era)) Source #

dropCBOR ∷ Proxy (Annotator (Data era)) → Decoder s () Source #

label ∷ Proxy (Annotator (Data era)) → Text Source #

Typeable era ⇒ DecCBOR (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

decCBOR ∷ Decoder s (Data era) Source #

dropCBOR ∷ Proxy (Data era) → Decoder s () Source #

label ∷ Proxy (Data era) → Text Source #

Typeable era ⇒ EncCBOR (Data era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

encCBOR ∷ Data era → Encoding Source #

SafeToHash (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

originalBytes ∷ Data era → ByteString Source #

originalBytesSize ∷ Data era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → Data era → SafeHash i Source #

Memoized (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Associated Types

type RawType (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

type RawType (Data era) = PlutusData era

Methods

getMemoBytes ∷ Data era → MemoBytes (RawType (Data era))

wrapMemoBytes ∷ MemoBytes (RawType (Data era)) → Data era

NFData (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

rnf ∷ Data era → () #

Generic (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Associated Types

type Rep (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))

Methods

from ∷ Data era → Rep (Data era) x #

to ∷ Rep (Data era) x → Data era #

Show (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

showsPrec ∷ Int → Data era → ShowS #

show ∷ Data era → String #

showList ∷ [Data era] → ShowS #

Eq (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

(==) ∷ Data era → Data era → Bool #

(/=) ∷ Data era → Data era → Bool #

Ord (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

compare ∷ Data era → Data era → Ordering #

(<) ∷ Data era → Data era → Bool #

(<=) ∷ Data era → Data era → Bool #

(>) ∷ Data era → Data era → Bool #

(>=) ∷ Data era → Data era → Bool #

max ∷ Data era → Data era → Data era #

min ∷ Data era → Data era → Data era #

Typeable era ⇒ NoThunks (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

noThunks ∷ Context → Data era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Data era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Data era) → String Source #

HashAnnotated (Data era) EraIndependentData 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

hashAnnotated ∷ Data era → SafeHash EraIndependentData Source #

type RawType (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

type RawType (Data era) = PlutusData era
type Rep (Data era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))

datumTxOutL ∷ BabbageEraTxOut era ⇒ Lens' (TxOut era) (Datum era) Source #

data Datum era Source #

Datum can be described by a either a data hash or binary data, but not both. It can also be neither one of them.

Constructors

NoDatum 
DatumHash !DataHash 
Datum !(BinaryData era) 

Instances

Instances details
Era era ⇒ FromJSON (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

parseJSON ∷ Value → Parser (Datum era) Source #

parseJSONList ∷ Value → Parser [Datum era] Source #

omittedField ∷ Maybe (Datum era) Source #

Era era ⇒ ToJSON (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

toJSON ∷ Datum era → Value Source #

toEncoding ∷ Datum era → Encoding Source #

toJSONList ∷ [Datum era] → Value Source #

toEncodingList ∷ [Datum era] → Encoding Source #

omitField ∷ Datum era → Bool Source #

Era era ⇒ DecCBOR (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

decCBOR ∷ Decoder s (Datum era) Source #

dropCBOR ∷ Proxy (Datum era) → Decoder s () Source #

label ∷ Proxy (Datum era) → Text Source #

Era era ⇒ EncCBOR (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

encCBOR ∷ Datum era → Encoding Source #

Generic (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Associated Types

type Rep (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

type Rep (Datum era) = D1 ('MetaData "Datum" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "NoDatum" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "Datum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))

Methods

from ∷ Datum era → Rep (Datum era) x #

to ∷ Rep (Datum era) x → Datum era #

Show (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

showsPrec ∷ Int → Datum era → ShowS #

show ∷ Datum era → String #

showList ∷ [Datum era] → ShowS #

Eq (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

(==) ∷ Datum era → Datum era → Bool #

(/=) ∷ Datum era → Datum era → Bool #

Ord (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

compare ∷ Datum era → Datum era → Ordering #

(<) ∷ Datum era → Datum era → Bool #

(<=) ∷ Datum era → Datum era → Bool #

(>) ∷ Datum era → Datum era → Bool #

(>=) ∷ Datum era → Datum era → Bool #

max ∷ Datum era → Datum era → Datum era #

min ∷ Datum era → Datum era → Datum era #

Era era ⇒ MemPack (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

typeName ∷ String Source #

packedByteCount ∷ Datum era → Int Source #

packM ∷ Datum era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (Datum era) Source #

NoThunks (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

noThunks ∷ Context → Datum era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Datum era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Datum era) → String Source #

type Rep (Datum era) 
Instance details

Defined in Cardano.Ledger.Plutus.Data

type Rep (Datum era) = D1 ('MetaData "Datum" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "NoDatum" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "Datum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))

referenceScriptTxOutL ∷ BabbageEraTxOut era ⇒ Lens' (TxOut era) (StrictMaybe (Script era)) Source #