Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Utxo = Utxo {}
- onUtxoDefault :: OnUtxo TxoPrim (TxIn, Stxo)
- onUtxoIgnoreMissing :: OnUtxo TxoPrim (TxIn, Stxo)
- toEventsPrim :: State Utxo -> OnUtxo (Txo Unspent) (TxIn, Stxo) -> BlockInMode era -> (State Utxo, [Event Utxo])
- data Stxo = Stxo {}
- data TxoPrim = Txo {
- slotNo :: SlotNo
- blockHeaderHash :: Hash BlockHeader
- blockNo :: BlockNo
- txIndexInBlock :: TxIndexInBlock
- txIn :: TxIn
- value :: Value
- address :: AddressAny
- datumHash :: Maybe (Hash ScriptData)
- data Status
- type family Txo (status :: Status) where ...
- spend :: TxId -> SlotNo -> Txo Unspent -> Txo Spent
- unspentTxo :: SlotNo -> Hash BlockHeader -> BlockNo -> TxIndexInBlock -> TxIn -> TxOut CtxTx CurrentEra -> Txo Unspent
- type EventMap status = Map TxIn (Txo status)
- initialState :: GenesisConfig -> State Utxo
- storeStateFile :: FilePath -> SlotNoBhh -> State Utxo -> IO FilePath
- parseState :: FilePath -> IO (State Utxo)
- sqliteInit :: Connection -> String -> IO ()
- persistManySqlite :: Connection -> String -> [Event Utxo] -> IO ()
Documentation
Instances
Event
onUtxoDefault :: OnUtxo TxoPrim (TxIn, Stxo) #
onUtxoIgnoreMissing :: OnUtxo TxoPrim (TxIn, Stxo) #
toEventsPrim :: State Utxo -> OnUtxo (Txo Unspent) (TxIn, Stxo) -> BlockInMode era -> (State Utxo, [Event Utxo]) #
Txo | |
|
unspentTxo :: SlotNo -> Hash BlockHeader -> BlockNo -> TxIndexInBlock -> TxIn -> TxOut CtxTx CurrentEra -> Txo Unspent #
State
initialState :: GenesisConfig -> State Utxo #
Sqlite
sqliteInit :: Connection -> String -> IO () #