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 {
}
data UtxoPayloadDatum where
- NoUtxoPayloadDatum :: UtxoPayloadDatum
- SomeUtxoPayloadDatum :: DatumConstrs dat => dat -> Bool -> UtxoPayloadDatum
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 :: UtxoPayloadDatum The optional datum stored in this UTxO 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 #

data UtxoPayloadDatum where Source #

A simplified version of a TxSkelOutDatum which only stores the actual datum and whether it is hashed or inline.

Constructors

NoUtxoPayloadDatum :: UtxoPayloadDatum
SomeUtxoPayloadDatum :: DatumConstrs dat => dat -> Bool -> UtxoPayloadDatum

Instances

Instances details

Show UtxoPayloadDatum Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods showsPrec :: Int -> UtxoPayloadDatum -> ShowS # show :: UtxoPayloadDatum -> String # showList :: [UtxoPayloadDatum] -> ShowS #
Eq UtxoPayloadDatum Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods (==) :: UtxoPayloadDatum -> UtxoPayloadDatum -> Bool # (/=) :: UtxoPayloadDatum -> UtxoPayloadDatum -> Bool #
Ord UtxoPayloadDatum Source #
Instance details Defined in Cooked.MockChain.UtxoState Methods compare :: UtxoPayloadDatum -> UtxoPayloadDatum -> Ordering # (<) :: UtxoPayloadDatum -> UtxoPayloadDatum -> Bool # (<=) :: UtxoPayloadDatum -> UtxoPayloadDatum -> Bool # (>) :: UtxoPayloadDatum -> UtxoPayloadDatum -> Bool # (>=) :: UtxoPayloadDatum -> UtxoPayloadDatum -> Bool # max :: UtxoPayloadDatum -> UtxoPayloadDatum -> UtxoPayloadDatum # min :: UtxoPayloadDatum -> UtxoPayloadDatum -> UtxoPayloadDatum #

holdsInState :: ToAddress a => a -> UtxoState -> Value Source #

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