Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.MockChain.UtxoState

Description

This module provides a depiction of the internal state we carry around to emulate the blockchain index. This is mostly useful in the Direct implementation of the MonadBlockChain.

Synopsis

newtype UtxoState = UtxoState {
- utxoState :: Map Address UtxoPayloadSet
}
newtype UtxoPayloadSet = UtxoPayloadSet {
- utxoPayloadSet :: [UtxoPayload]
}
data UtxoPayload = UtxoPayload {
}
holdsInState :: Address -> UtxoState -> Value

Documentation

newtype UtxoState Source #

A description of who owns what in a blockchain. Owners are addresses and they each own a UtxoPayloadSet.

Constructors

UtxoState
Fields utxoState :: Map Address UtxoPayloadSet

Instances

Instances details

Semigroup UtxoState Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (<>) :: UtxoState -> UtxoState -> UtxoState # sconcat :: NonEmpty UtxoState -> UtxoState # stimes :: Integral b => b -> UtxoState -> UtxoState #
PrettyCooked UtxoState Source #	Pretty print a `UtxoState`. Print the known wallets first, then unknown pubkeys, then scripts.
Instance details Defined in Cooked.Pretty.Cooked Methods prettyCooked :: UtxoState -> DocCooked Source # prettyCookedOpt :: PrettyCookedOpts -> UtxoState -> DocCooked Source #
Eq UtxoState Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (==) :: UtxoState -> UtxoState -> Bool # (/=) :: UtxoState -> UtxoState -> Bool #
Show a => PrettyCooked (MockChainReturn a UtxoState) Source #
Instance details Defined in Cooked.Pretty.Cooked Methods prettyCooked :: MockChainReturn a UtxoState -> DocCooked Source # prettyCookedOpt :: PrettyCookedOpts -> MockChainReturn a UtxoState -> DocCooked Source #
Show a => PrettyCooked (a, UtxoState) Source #
Instance details Defined in Cooked.Pretty.Cooked Methods prettyCooked :: (a, UtxoState) -> DocCooked Source # prettyCookedOpt :: PrettyCookedOpts -> (a, UtxoState) -> DocCooked Source #

newtype UtxoPayloadSet Source #

Represents a set of payloads.

Constructors

UtxoPayloadSet
Fields utxoPayloadSet :: [UtxoPayload]

Instances

Instances details

Monoid UtxoPayloadSet Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods mempty :: UtxoPayloadSet # mappend :: UtxoPayloadSet -> UtxoPayloadSet -> UtxoPayloadSet # mconcat :: [UtxoPayloadSet] -> UtxoPayloadSet #
Semigroup UtxoPayloadSet Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (<>) :: UtxoPayloadSet -> UtxoPayloadSet -> UtxoPayloadSet # sconcat :: NonEmpty UtxoPayloadSet -> UtxoPayloadSet # stimes :: Integral b => b -> UtxoPayloadSet -> UtxoPayloadSet #
Show UtxoPayloadSet Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods showsPrec :: Int -> UtxoPayloadSet -> ShowS # show :: UtxoPayloadSet -> String # showList :: [UtxoPayloadSet] -> ShowS #
Eq UtxoPayloadSet Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (==) :: UtxoPayloadSet -> UtxoPayloadSet -> Bool # (/=) :: UtxoPayloadSet -> UtxoPayloadSet -> Bool #

data UtxoPayload Source #

A convenient wrapping of the interesting information of a UTxO.

Constructors

UtxoPayload
Fields utxoPayloadTxOutRef :: TxOutRef utxoPayloadValue :: Value utxoPayloadSkelOutDatum :: TxSkelOutDatum utxoPayloadReferenceScript :: Maybe ScriptHash

Instances

Instances details

Show UtxoPayload Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods showsPrec :: Int -> UtxoPayload -> ShowS # show :: UtxoPayload -> String # showList :: [UtxoPayload] -> ShowS #
Eq UtxoPayload Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (==) :: UtxoPayload -> UtxoPayload -> Bool # (/=) :: UtxoPayload -> UtxoPayload -> Bool #

holdsInState :: Address -> UtxoState -> Value Source #

Total value accessible to what's pointed by the address.