ledger-state-9.9.9.9
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.State.Query

Documentation

insertGetKey ∷ (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend record backend, AtLeastOneUniqueKey record, SafeToInsert record) ⇒ record → ReaderT backend m (Key record) Source #

selectVMap ∷ (Ord k, PersistEntity record, PersistEntityBackend record ~ SqlBackend, Vector kv k, Vector vv v, MonadResource m) ⇒ [Filter record] → (record → ReaderT SqlBackend m (k, v)) → ReaderT SqlBackend m (VMap kv vv k v) Source #

selectMap ∷ (MonadResource m, Ord k, PersistEntity record, PersistEntityBackend record ~ SqlBackend) ⇒ [Filter record] → (record → ReaderT SqlBackend m (k, a)) → ReaderT SqlBackend m (Map k a) Source #

foldDbUTxO Source #

Arguments

MonadUnliftIO m 
⇒ (a → (TxIn C, TxOut CurrentEra) → a)

Folding function

→ a

Empty acc

Text

Path to Sqlite db

→ m a 

loadDbUTxOUTxOFold a → TextIO a Source #