plutus-chain-index-core-1.2.0.0
Safe Haskell None
Language Haskell2010

Plutus.ChainIndex.Emulator.DiskState

Description

The disk state is the part of the chain index that is kept on disk. This module defines an in-memory implementation of the disk state which can be used in the emulator.

Synopsis

Documentation

data DiskState Source #

Data that we keep on disk. (This type is used for testing only - we need other structures for the disk-backed storage)

Instances

Instances details
Eq DiskState Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

(==) :: DiskState -> DiskState -> Bool Source #

(/=) :: DiskState -> DiskState -> Bool Source #

Show DiskState Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

showsPrec :: Int -> DiskState -> ShowS Source #

show :: DiskState -> String Source #

showList :: [ DiskState ] -> ShowS Source #

Generic DiskState Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Associated Types

type Rep DiskState :: Type -> Type Source #

Methods

from :: DiskState -> Rep DiskState x Source #

to :: Rep DiskState x -> DiskState Source #

Semigroup DiskState Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

(<>) :: DiskState -> DiskState -> DiskState Source #

sconcat :: NonEmpty DiskState -> DiskState Source #

stimes :: Integral b => b -> DiskState -> DiskState Source #

Monoid DiskState Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

mempty :: DiskState Source #

mappend :: DiskState -> DiskState -> DiskState Source #

mconcat :: [ DiskState ] -> DiskState Source #

type Rep DiskState Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

type Rep DiskState = D1 (' MetaData "DiskState" "Plutus.ChainIndex.Emulator.DiskState" "plutus-chain-index-core-1.2.0.0-vEgAIGWZqMIuVHBPih2W5" ' False ) ( C1 (' MetaCons "DiskState" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "_DataMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map DatumHash Datum )) :*: ( S1 (' MetaSel (' Just "_ScriptMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ScriptHash (Versioned Script ))) :*: S1 (' MetaSel (' Just "_RedeemerMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map RedeemerHash Redeemer )))) :*: ( S1 (' MetaSel (' Just "_TxMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map TxId ChainIndexTx )) :*: ( S1 (' MetaSel (' Just "_AddressMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 CredentialMap ) :*: S1 (' MetaSel (' Just "_AssetClassMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 AssetClassMap )))))

dataMap :: Lens' DiskState ( Map DatumHash Datum ) Source #

scriptMap :: Lens' DiskState ( Map ScriptHash (Versioned Script )) Source #

redeemerMap :: Lens' DiskState ( Map RedeemerHash Redeemer ) Source #

txMap :: Lens' DiskState ( Map TxId ChainIndexTx ) Source #

addressMap :: Lens' DiskState CredentialMap Source #

assetClassMap :: Lens' DiskState AssetClassMap Source #

fromTx :: ChainIndexTx -> DiskState Source #

The data we store on disk for a given ChainIndexTx

data CredentialMap Source #

Set of transaction output references for each address.

Instances

Instances details
Eq CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

(==) :: CredentialMap -> CredentialMap -> Bool Source #

(/=) :: CredentialMap -> CredentialMap -> Bool Source #

Show CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

showsPrec :: Int -> CredentialMap -> ShowS Source #

show :: CredentialMap -> String Source #

showList :: [ CredentialMap ] -> ShowS Source #

Generic CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Associated Types

type Rep CredentialMap :: Type -> Type Source #

Methods

from :: CredentialMap -> Rep CredentialMap x Source #

to :: Rep CredentialMap x -> CredentialMap Source #

Semigroup CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

(<>) :: CredentialMap -> CredentialMap -> CredentialMap Source #

sconcat :: NonEmpty CredentialMap -> CredentialMap Source #

stimes :: Integral b => b -> CredentialMap -> CredentialMap Source #

Monoid CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

mempty :: CredentialMap Source #

mappend :: CredentialMap -> CredentialMap -> CredentialMap Source #

mconcat :: [ CredentialMap ] -> CredentialMap Source #

Ixed CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

ix :: Index CredentialMap -> Traversal' CredentialMap ( IxValue CredentialMap ) Source #

At CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

at :: Index CredentialMap -> Lens' CredentialMap ( Maybe ( IxValue CredentialMap )) Source #

type Rep CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

type Rep CredentialMap = D1 (' MetaData "CredentialMap" "Plutus.ChainIndex.Emulator.DiskState" "plutus-chain-index-core-1.2.0.0-vEgAIGWZqMIuVHBPih2W5" ' True ) ( C1 (' MetaCons "CredentialMap" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_unCredentialMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map Credential ( Set TxOutRef )))))
type Index CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

type Index CredentialMap = Credential
type IxValue CredentialMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

type IxValue CredentialMap = Set TxOutRef

unCredentialMap :: Iso' CredentialMap ( Map Credential ( Set TxOutRef )) Source #

data AssetClassMap Source #

Set of transaction output references for each asset class.

Instances

Instances details
Eq AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

(==) :: AssetClassMap -> AssetClassMap -> Bool Source #

(/=) :: AssetClassMap -> AssetClassMap -> Bool Source #

Show AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

showsPrec :: Int -> AssetClassMap -> ShowS Source #

show :: AssetClassMap -> String Source #

showList :: [ AssetClassMap ] -> ShowS Source #

Generic AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Associated Types

type Rep AssetClassMap :: Type -> Type Source #

Methods

from :: AssetClassMap -> Rep AssetClassMap x Source #

to :: Rep AssetClassMap x -> AssetClassMap Source #

Semigroup AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

(<>) :: AssetClassMap -> AssetClassMap -> AssetClassMap Source #

sconcat :: NonEmpty AssetClassMap -> AssetClassMap Source #

stimes :: Integral b => b -> AssetClassMap -> AssetClassMap Source #

Monoid AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

mempty :: AssetClassMap Source #

mappend :: AssetClassMap -> AssetClassMap -> AssetClassMap Source #

mconcat :: [ AssetClassMap ] -> AssetClassMap Source #

Ixed AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

ix :: Index AssetClassMap -> Traversal' AssetClassMap ( IxValue AssetClassMap ) Source #

At AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

Methods

at :: Index AssetClassMap -> Lens' AssetClassMap ( Maybe ( IxValue AssetClassMap )) Source #

type Rep AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

type Rep AssetClassMap = D1 (' MetaData "AssetClassMap" "Plutus.ChainIndex.Emulator.DiskState" "plutus-chain-index-core-1.2.0.0-vEgAIGWZqMIuVHBPih2W5" ' True ) ( C1 (' MetaCons "AssetClassMap" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_unAssetClassMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map AssetId ( Set TxOutRef )))))
type Index AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

type Index AssetClassMap = AssetId
type IxValue AssetClassMap Source #
Instance details

Defined in Plutus.ChainIndex.Emulator.DiskState

type IxValue AssetClassMap = Set TxOutRef

unAssetClassMap :: Iso' AssetClassMap ( Map AssetId ( Set TxOutRef )) Source #

diagnostics :: DiskState -> Diagnostics Source #