cooked-validators
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

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

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

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

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.

data SkelContext Source #

The missing information on a TxSkel that can only be resolved by querying the state of the blockchain.

Constructors

SkelContext 

Fields