type UtxoMapEra era = Map TxIn (TxOut CtxTx era) #

type UtxoMap = UtxoMapEra CurrentEra #

type UtxoListEra era = [(TxIn, TxOut CtxTx era)] #

type UtxoList = UtxoListEra CurrentEra #

data OnUtxo elem result #

spendTxos :: forall spend k v. Ord k => ([spend], Map k v) -> [k] -> (k -> Maybe v -> spend) -> ([spend], Map k v) #

addTxId :: TxId -> [(TxIx, a)] -> [(TxIn, a)] #

unsafeCastEra :: IsCardanoEra era => [(a, TxOut CtxTx era)] -> [(a, TxOut CtxTx CurrentEra)] #

castToCurrentEra :: (IsCardanoEra fromEra, EraCast f) => f fromEra -> Either EraCastError (f CurrentEra) #

unsafeCastToCurrentEra :: (IsCardanoEra fromEra, EraCast f) => f fromEra -> f CurrentEra #

castToCurrentEraFailedException :: MafocIOException #

addressListFilter :: NonEmpty (Address ShelleyAddr) -> AddressAny -> Maybe AddressAny #

type TxoEvent era = ([TxIn], [(TxIx, TxOut CtxTx era)]) #

txoEvent :: forall era. Tx era -> TxoEvent era #

byronGenesisUtxoFromConfig :: GenesisConfig -> (Hash BlockHeader, [(TxIn, TxOut ctx CurrentEra)]) #

genesisUtxoFromLedgerState :: forall ctx. ExtLedgerState_ -> Map TxIn (TxIn, TxOut ctx CurrentEra) #

fromByronTxOut :: TxOut -> TxOut ctx ByronEra #