cardano-ledger-api-1.7.0.1: Public API for the cardano ledger codebase
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Api.UTxO

Documentation

newtype UTxO era #

Constructors

UTxO 

Fields

Instances

Instances details
(Era era, ToJSON (TxOut era)) => ToJSON (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

toJSON :: UTxO era -> Value

toEncoding :: UTxO era -> Encoding

toJSONList :: [UTxO era] -> Value

toEncodingList :: [UTxO era] -> Encoding

omitField :: UTxO era -> Bool

Era era => Monoid (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

mempty :: UTxO era Source #

mappend :: UTxO era -> UTxO era -> UTxO era Source #

mconcat :: [UTxO era] -> UTxO era Source #

Semigroup (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

(<>) :: UTxO era -> UTxO era -> UTxO era Source #

sconcat :: NonEmpty (UTxO era) -> UTxO era Source #

stimes :: Integral b => b -> UTxO era -> UTxO era Source #

Generic (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Associated Types

type Rep (UTxO era) :: Type -> Type Source #

Methods

from :: UTxO era -> Rep (UTxO era) x Source #

to :: Rep (UTxO era) x -> UTxO era Source #

(Show (TxOut era), Crypto (EraCrypto era)) => Show (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

showsPrec :: Int -> UTxO era -> ShowS Source #

show :: UTxO era -> String Source #

showList :: [UTxO era] -> ShowS Source #

(DecCBOR (TxOut era), Era era) => FromCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

fromCBOR :: Decoder s (UTxO era)

label :: Proxy (UTxO era) -> Text

(EncCBOR (TxOut era), Era era) => ToCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

toCBOR :: UTxO era -> Encoding

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (UTxO era) -> Size

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UTxO era] -> Size

(Era era, DecCBOR (TxOut era)) => DecCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

decCBOR :: Decoder s (UTxO era)

dropCBOR :: Proxy (UTxO era) -> Decoder s ()

label :: Proxy (UTxO era) -> Text

(Crypto (EraCrypto era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking (EraCrypto era))) => DecShareCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Associated Types

type Share (UTxO era)

Methods

getShare :: UTxO era -> Share (UTxO era)

decShareCBOR :: Share (UTxO era) -> Decoder s (UTxO era)

decSharePlusCBOR :: StateT (Share (UTxO era)) (Decoder s) (UTxO era)

(Era era, EncCBOR (TxOut era)) => EncCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

encCBOR :: UTxO era -> Encoding

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (UTxO era) -> Size

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [UTxO era] -> Size

Default (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

def :: UTxO era

(Era era, NFData (TxOut era)) => NFData (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

rnf :: UTxO era -> () Source #

(Era era, Eq (TxOut era)) => Eq (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

(==) :: UTxO era -> UTxO era -> Bool Source #

(/=) :: UTxO era -> UTxO era -> Bool Source #

NoThunks (TxOut era) => NoThunks (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

noThunks :: Context -> UTxO era -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> UTxO era -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (UTxO era) -> String

ToExpr (TxOut era) => ToExpr (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

toExpr :: UTxO era -> Expr

listToExpr :: [UTxO era] -> Expr

type Rep (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

type Rep (UTxO era) = D1 ('MetaData "UTxO" "Cardano.Ledger.UTxO" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (TxIn (EraCrypto era)) (TxOut era)))))
type Share (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

type Share (UTxO era) = Interns (Credential 'Staking (EraCrypto era))
type TranslationError (AllegraEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxO = Void
type TranslationError (AlonzoEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (AlonzoEra c) UTxO = Void
type TranslationError (BabbageEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) UTxO = Void
type TranslationError (ConwayEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError (ConwayEra c) UTxO = Void
type TranslationError (MaryEra c) UTxO 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) UTxO = Void

class EraTx era => EraUTxO era where #

Associated Types

type ScriptsNeeded era = (r :: Type) | r -> era #

Methods

getConsumedValue :: PParams era -> (Credential 'Staking (EraCrypto era) -> Maybe Coin) -> (Credential 'DRepRole (EraCrypto era) -> Maybe Coin) -> UTxO era -> TxBody era -> Value era #

getProducedValue :: PParams era -> (KeyHash 'StakePool (EraCrypto era) -> Bool) -> TxBody era -> Value era #

getScriptsProvided :: UTxO era -> Tx era -> ScriptsProvided era #

getScriptsNeeded :: UTxO era -> TxBody era -> ScriptsNeeded era #

getScriptsHashesNeeded :: ScriptsNeeded era -> Set (ScriptHash (EraCrypto era)) #