Safe Haskell	None
Language	Haskell2010

Plutus.Trace.Emulator.ContractInstance

Contents

Instance state
Indexed block
Internals

Synopsis

contractThread :: forall w s e effs. (Member (State EmulatorThreads) effs, Member (Error EmulatorRuntimeError) effs, ContractConstraints s, Show e, ToJSON e, ToJSON w, Monoid w) => ContractHandle w s e -> Eff (EmulatorAgentThreadEffs effs) ()
getThread :: forall effs. (Member (State EmulatorThreads) effs, Member (Error EmulatorRuntimeError) effs) => ContractInstanceId -> Eff effs ThreadId
data EmulatorRuntimeError
runInstance :: forall w s e effs. (ContractConstraints s, Member (Error EmulatorRuntimeError) effs, Show e, ToJSON e, ToJSON w, Monoid w) => NetworkId -> Contract w s e () -> Maybe EmulatorMessage -> Eff (ContractInstanceThreadEffs w s e effs) ()
data ContractInstanceState w (s :: Row *) e a = ContractInstanceState {
- instContractState :: ResumableResult w e PABResp PABReq a
- instEvents :: Seq (Response PABResp)
- instHandlersHistory :: Seq [Request PABReq]
}
emptyInstanceState :: forall w (s :: Row *) e a. Monoid w => Contract w s e a -> ContractInstanceStateInternal w s e a
addEventInstanceState :: forall w s e a. Monoid w => Response PABResp -> ContractInstanceStateInternal w s e a -> Maybe (ContractInstanceStateInternal w s e a)
data IndexedBlock = IndexedBlock {
- ibUtxoSpent :: Map TxIn ChainIndexTx
- ibUtxoProduced :: Map CardanoAddress (NonEmpty ChainIndexTx)
}
indexBlock :: [ChainIndexTx] -> IndexedBlock
getHooks :: forall w s e effs. Member (State (ContractInstanceStateInternal w s e ())) effs => Eff effs [Request PABReq]
addResponse :: forall w s e effs. (Member (State (ContractInstanceStateInternal w s e ())) effs, Member (LogMsg ContractInstanceMsg) effs, Monoid w) => Response PABResp -> Eff effs ()

Documentation

contractThread :: forall w s e effs. (Member (State EmulatorThreads) effs, Member (Error EmulatorRuntimeError) effs, ContractConstraints s, Show e, ToJSON e, ToJSON w, Monoid w) => ContractHandle w s e -> Eff (EmulatorAgentThreadEffs effs) () Source #

Start a new thread for a contract. Most of the work happens in runInstance.

getThread :: forall effs. (Member (State EmulatorThreads) effs, Member (Error EmulatorRuntimeError) effs) => ContractInstanceId -> Eff effs ThreadId Source #

data EmulatorRuntimeError Source #

Instances

Instances details

Eq EmulatorRuntimeError Source #
Instance details Defined in Plutus.Trace.Emulator.Types Methods (==) :: EmulatorRuntimeError -> EmulatorRuntimeError -> Bool Source # (/=) :: EmulatorRuntimeError -> EmulatorRuntimeError -> Bool Source #
Show EmulatorRuntimeError Source #
Instance details Defined in Plutus.Trace.Emulator.Types Methods showsPrec :: Int -> EmulatorRuntimeError -> ShowS Source # show :: EmulatorRuntimeError -> String Source # showList :: [EmulatorRuntimeError] -> ShowS Source #
Generic EmulatorRuntimeError Source #
Instance details Defined in Plutus.Trace.Emulator.Types Associated Types type Rep EmulatorRuntimeError :: Type -> Type Source # Methods from :: EmulatorRuntimeError -> Rep EmulatorRuntimeError x Source # to :: Rep EmulatorRuntimeError x -> EmulatorRuntimeError Source #
FromJSON EmulatorRuntimeError Source #
Instance details Defined in Plutus.Trace.Emulator.Types Methods parseJSON :: Value -> Parser EmulatorRuntimeError parseJSONList :: Value -> Parser [EmulatorRuntimeError]
ToJSON EmulatorRuntimeError Source #
Instance details Defined in Plutus.Trace.Emulator.Types Methods toJSON :: EmulatorRuntimeError -> Value toEncoding :: EmulatorRuntimeError -> Encoding toJSONList :: [EmulatorRuntimeError] -> Value toEncodingList :: [EmulatorRuntimeError] -> Encoding
Pretty EmulatorRuntimeError Source #
Instance details Defined in Plutus.Trace.Emulator.Types Methods pretty :: EmulatorRuntimeError -> Doc ann prettyList :: [EmulatorRuntimeError] -> Doc ann
type Rep EmulatorRuntimeError Source #
Instance details Defined in Plutus.Trace.Emulator.Types type Rep EmulatorRuntimeError = D1 ('MetaData "EmulatorRuntimeError" "Plutus.Trace.Emulator.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) ((C1 ('MetaCons "ThreadIdNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractInstanceId)) :+: (C1 ('MetaCons "InstanceIdNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Wallet)) :+: C1 ('MetaCons "EmulatorJSONDecodingError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))) :+: (C1 ('MetaCons "GenericError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "EmulatedWalletError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletAPIError)) :+: C1 ('MetaCons "AssertionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

runInstance :: forall w s e effs. (ContractConstraints s, Member (Error EmulatorRuntimeError) effs, Show e, ToJSON e, ToJSON w, Monoid w) => NetworkId -> Contract w s e () -> Maybe EmulatorMessage -> Eff (ContractInstanceThreadEffs w s e effs) () Source #

Run an instance of a contract

Instance state

data ContractInstanceState w (s :: Row *) e a Source #

The state of a running contract instance with schema s and error type e Serialisable to JSON.

Constructors

ContractInstanceState
Fields instContractState :: ResumableResult w e PABResp PABReq a instEvents :: Seq (Response PABResp) Events received by the contract instance. (Used for debugging purposes) instHandlersHistory :: Seq [Request PABReq] Requests issued by the contract instance (Used for debugging purposes)

Instances

Instances details

Generic (ContractInstanceState w s e a) Source #
Instance details Defined in Plutus.Trace.Emulator.Types Associated Types type Rep (ContractInstanceState w s e a) :: Type -> Type Source # Methods from :: ContractInstanceState w s e a -> Rep (ContractInstanceState w s e a) x Source # to :: Rep (ContractInstanceState w s e a) x -> ContractInstanceState w s e a Source #
(FromJSON e, FromJSON a, FromJSON w) => FromJSON (ContractInstanceState w s e a) Source #
Instance details Defined in Plutus.Trace.Emulator.Types Methods parseJSON :: Value -> Parser (ContractInstanceState w s e a) parseJSONList :: Value -> Parser [ContractInstanceState w s e a]
(ToJSON e, ToJSON a, ToJSON w) => ToJSON (ContractInstanceState w s e a) Source #
Instance details Defined in Plutus.Trace.Emulator.Types Methods toJSON :: ContractInstanceState w s e a -> Value toEncoding :: ContractInstanceState w s e a -> Encoding toJSONList :: [ContractInstanceState w s e a] -> Value toEncodingList :: [ContractInstanceState w s e a] -> Encoding
type Rep (ContractInstanceState w s e a) Source #
Instance details Defined in Plutus.Trace.Emulator.Types type Rep (ContractInstanceState w s e a) = D1 ('MetaData "ContractInstanceState" "Plutus.Trace.Emulator.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "ContractInstanceState" 'PrefixI 'True) (S1 ('MetaSel ('Just "instContractState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ResumableResult w e PABResp PABReq a)) :: (S1 ('MetaSel ('Just "instEvents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (Response PABResp))) :: S1 ('MetaSel ('Just "instHandlersHistory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq [Request PABReq])))))

emptyInstanceState :: forall w (s :: Row *) e a. Monoid w => Contract w s e a -> ContractInstanceStateInternal w s e a Source #

addEventInstanceState :: forall w s e a. Monoid w => Response PABResp -> ContractInstanceStateInternal w s e a -> Maybe (ContractInstanceStateInternal w s e a) Source #

Indexed block

data IndexedBlock Source #

A block of transactions, indexed by tx outputs spent and by addresses on which new outputs are produced

Constructors

IndexedBlock
Fields ibUtxoSpent :: Map TxIn ChainIndexTx ibUtxoProduced :: Map CardanoAddress (NonEmpty ChainIndexTx)

Instances

Instances details

Semigroup IndexedBlock Source #
Instance details Defined in Plutus.Trace.Emulator.ContractInstance Methods (<>) :: IndexedBlock -> IndexedBlock -> IndexedBlock Source # sconcat :: NonEmpty IndexedBlock -> IndexedBlock Source # stimes :: Integral b => b -> IndexedBlock -> IndexedBlock Source #
Monoid IndexedBlock Source #
Instance details Defined in Plutus.Trace.Emulator.ContractInstance Methods mempty :: IndexedBlock Source # mappend :: IndexedBlock -> IndexedBlock -> IndexedBlock Source # mconcat :: [IndexedBlock] -> IndexedBlock Source #

indexBlock :: [ChainIndexTx] -> IndexedBlock Source #

Internals

getHooks :: forall w s e effs. Member (State (ContractInstanceStateInternal w s e ())) effs => Eff effs [Request PABReq] Source #

addResponse :: forall w s e effs. (Member (State (ContractInstanceStateInternal w s e ())) effs, Member (LogMsg ContractInstanceMsg) effs, Monoid w) => Response PABResp -> Eff effs () Source #

Add a Response to the contract instance state