Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.MockChain.UtxoState

Description

This module provides a depiction of the state we return when running a MockChain.

Synopsis

data UtxoState = UtxoState {
- availableUtxos :: Map Address UtxoPayloadSet
- consumedUtxos :: Map Address UtxoPayloadSet
}
newtype UtxoPayloadSet = UtxoPayloadSet {
- utxoPayloadSet :: [UtxoPayload]
}
data UtxoPayload = UtxoPayload {
- utxoPayloadTxOutRef :: TxOutRef
- utxoPayloadValue :: Value
- utxoPayloadDatum :: Maybe (DatumContent, Bool)
- utxoPayloadReferenceScript :: Maybe ScriptHash
}
holdsInState :: ToAddress a => a -> UtxoState -> Value

Documentation

data UtxoState Source #

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

Constructors

UtxoState
Fields availableUtxos :: Map Address UtxoPayloadSet consumedUtxos :: Map Address UtxoPayloadSet

Instances

Instances details

Monoid UtxoState Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods mempty :: UtxoState # mappend :: UtxoState -> UtxoState -> UtxoState # mconcat :: [UtxoState] -> UtxoState #
Semigroup UtxoState Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (<>) :: UtxoState -> UtxoState -> UtxoState # sconcat :: NonEmpty UtxoState -> UtxoState # stimes :: Integral b => b -> UtxoState -> UtxoState #
PrettyCookedList UtxoState Source #
Instance details Defined in Cooked.Pretty.MockChain Methods prettyCookedOptList :: PrettyCookedOpts -> UtxoState -> [DocCooked] Source # prettyCookedOptListMaybe :: PrettyCookedOpts -> UtxoState -> [Maybe DocCooked] Source # prettyCookedList :: UtxoState -> [DocCooked] Source #
Eq UtxoState Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (==) :: UtxoState -> UtxoState -> Bool # (/=) :: UtxoState -> UtxoState -> Bool #

newtype UtxoPayloadSet Source #

Represents a set of payloads.

Constructors

UtxoPayloadSet
Fields utxoPayloadSet :: [UtxoPayload] List of UTxOs contained in this `UtxoPayloadSet`

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 #
PrettyCookedList UtxoPayloadSet Source #	Pretty prints the state of an address, that is the list of UTxOs (including value and datum), grouped
Instance details Defined in Cooked.Pretty.MockChain Methods prettyCookedOptList :: PrettyCookedOpts -> UtxoPayloadSet -> [DocCooked] Source # prettyCookedOptListMaybe :: PrettyCookedOpts -> UtxoPayloadSet -> [Maybe DocCooked] Source # prettyCookedList :: UtxoPayloadSet -> [DocCooked] Source #
Eq UtxoPayloadSet Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (==) :: UtxoPayloadSet -> UtxoPayloadSet -> Bool # (/=) :: UtxoPayloadSet -> UtxoPayloadSet -> Bool #
PrettyCooked (Map Address UtxoPayloadSet) Source #	Pretty print a `UtxoState`. Print the known wallets first, then unknown pubkeys, then scripts.
Instance details Defined in Cooked.Pretty.MockChain Methods prettyCookedOpt :: PrettyCookedOpts -> Map Address UtxoPayloadSet -> DocCooked Source # prettyCooked :: Map Address UtxoPayloadSet -> DocCooked Source #

data UtxoPayload Source #

A convenient wrapping of the interesting information of a UTxO.

Constructors

UtxoPayload
Fields utxoPayloadTxOutRef :: TxOutRef The reference of this UTxO utxoPayloadValue :: Value The value stored in this UTxO utxoPayloadDatum :: Maybe (DatumContent, Bool) The optional datum stored in this UTxO and whether it is hashed (`True`) or inline (`False`) utxoPayloadReferenceScript :: Maybe ScriptHash The optional reference script stored in this UTxO

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 :: ToAddress a => a -> UtxoState -> Value Source #

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