Safe Haskell	None
Language	Haskell2010

Wallet.Emulator.MultiAgent

Synopsis

data Assertion
- = IsValidated CardanoTx
- | OwnFundsEqual Wallet Value
data EmulatorTimeEvent e = EmulatorTimeEvent {
- _eteEmulatorTime :: Slot
- _eteEvent :: e
}
eteEvent :: forall e e. Lens (EmulatorTimeEvent e) (EmulatorTimeEvent e) e e
eteEmulatorTime :: forall e. Lens' (EmulatorTimeEvent e) Slot
emulatorTimeEvent :: Slot -> Prism' (EmulatorTimeEvent e) e
data EmulatorEvent'
- = ChainEvent ChainEvent
- | ClientEvent Wallet NodeClientEvent
- | WalletEvent Wallet WalletEvent
- | ChainIndexEvent Wallet ChainIndexLog
- | SchedulerEvent SchedulerLog
- | InstanceEvent ContractInstanceLog
- | UserThreadEvent UserThreadMsg
type EmulatorEvent = EmulatorTimeEvent EmulatorEvent'
chainEvent :: Prism' EmulatorEvent' ChainEvent
walletClientEvent :: Wallet -> Prism' EmulatorEvent' NodeClientEvent
walletEvent :: Wallet -> Prism' EmulatorEvent' WalletEvent
walletEvent' :: Prism' EmulatorEvent' (Wallet, WalletEvent)
chainIndexEvent :: Wallet -> Prism' EmulatorEvent' ChainIndexLog
schedulerEvent :: Prism' EmulatorEvent' SchedulerLog
instanceEvent :: Prism' EmulatorEvent' ContractInstanceLog
userThreadEvent :: Prism' EmulatorEvent' UserThreadMsg
type EmulatedWalletControlEffects = '[NodeClientControlEffect, ChainIndexControlEffect, SigningProcessControlEffect, LogObserve (LogMessage Text), LogMsg Text]
data MultiAgentEffect r where
- WalletAction :: Wallet -> Eff EmulatedWalletEffects r -> MultiAgentEffect r
data MultiAgentControlEffect r where
- WalletControlAction :: Wallet -> Eff EmulatedWalletControlEffects r -> MultiAgentControlEffect r
- Assertion :: Assertion -> MultiAgentControlEffect ()
walletAction :: Member MultiAgentEffect effs => Wallet -> Eff EmulatedWalletEffects r -> Eff effs r
handleMultiAgentEffects :: forall effs. Member MultiAgentEffect effs => Wallet -> Eff (EmulatedWalletEffects' effs) ~> Eff effs
raiseWallet :: forall f effs. (Member f EmulatedWalletEffects, Member MultiAgentEffect effs) => Wallet -> f ~> Eff effs
walletControlAction :: Member MultiAgentControlEffect effs => Wallet -> Eff EmulatedWalletControlEffects r -> Eff effs r
assertion :: Member MultiAgentControlEffect effs => Assertion -> Eff effs ()
assertOwnFundsEq :: Member MultiAgentControlEffect effs => Wallet -> Value -> Eff effs ()
assertIsValidated :: Member MultiAgentControlEffect effs => CardanoTx -> Eff effs ()
data EmulatorState = EmulatorState {
- _chainState :: ChainState
- _walletStates :: Map Wallet WalletState
- _emulatorLog :: [LogMessage EmulatorEvent]
}
walletStates :: Lens' EmulatorState (Map Wallet WalletState)
emulatorLog :: Lens' EmulatorState [LogMessage EmulatorEvent]
chainState :: Lens' EmulatorState ChainState
walletState :: Wallet -> Lens' EmulatorState WalletState
chainOldestFirst :: Lens' EmulatorState Blockchain
chainUtxo :: Getter EmulatorState AddressMap
fundsDistribution :: EmulatorState -> Map Wallet Value
emLog :: EmulatorState -> [LogMessage EmulatorEvent]
emptyEmulatorState :: EmulatorState
emulatorState :: Blockchain -> EmulatorState
emulatorStatePool :: TxPool -> EmulatorState
emulatorStateInitialDist :: Params -> Map PaymentPubKeyHash Value -> Either ToCardanoError EmulatorState
type MultiAgentEffs = '[State EmulatorState, LogMsg EmulatorEvent', Error WalletAPIError, Error ChainIndexError, Error AssertionError, ChainEffect, ChainControlEffect]
handleMultiAgentControl :: forall effs. Members MultiAgentEffs effs => Eff (MultiAgentControlEffect ': effs) ~> Eff effs
handleMultiAgent :: forall effs. Members MultiAgentEffs effs => Eff (MultiAgentEffect ': effs) ~> Eff effs
assert :: Members MultiAgentEffs effs => Assertion -> Eff effs ()
ownFundsEqual :: Members MultiAgentEffs effs => Wallet -> Value -> Eff effs ()
isValidated :: Members MultiAgentEffs effs => CardanoTx -> Eff effs ()
_singleton :: AReview [a] a

Documentation

data Assertion Source #

Assertions which will be checked during execution of the emulator.

Constructors

IsValidated CardanoTx	Assert that the given transaction is validated.
OwnFundsEqual Wallet Value	Assert that the funds belonging to a wallet's public-key address are equal to a value.

data EmulatorTimeEvent e Source #

An event with a timestamp measured in emulator time (currently: Slot)

Constructors

EmulatorTimeEvent
Fields _eteEmulatorTime :: Slot _eteEvent :: e

Instances

Instances details

Functor EmulatorTimeEvent Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods fmap :: (a -> b) -> EmulatorTimeEvent a -> EmulatorTimeEvent b Source # (<$) :: a -> EmulatorTimeEvent b -> EmulatorTimeEvent a Source #
Foldable EmulatorTimeEvent Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods fold :: Monoid m => EmulatorTimeEvent m -> m Source # foldMap :: Monoid m => (a -> m) -> EmulatorTimeEvent a -> m Source # foldMap' :: Monoid m => (a -> m) -> EmulatorTimeEvent a -> m Source # foldr :: (a -> b -> b) -> b -> EmulatorTimeEvent a -> b Source # foldr' :: (a -> b -> b) -> b -> EmulatorTimeEvent a -> b Source # foldl :: (b -> a -> b) -> b -> EmulatorTimeEvent a -> b Source # foldl' :: (b -> a -> b) -> b -> EmulatorTimeEvent a -> b Source # foldr1 :: (a -> a -> a) -> EmulatorTimeEvent a -> a Source # foldl1 :: (a -> a -> a) -> EmulatorTimeEvent a -> a Source # toList :: EmulatorTimeEvent a -> [a] Source # null :: EmulatorTimeEvent a -> Bool Source # length :: EmulatorTimeEvent a -> Int Source # elem :: Eq a => a -> EmulatorTimeEvent a -> Bool Source # maximum :: Ord a => EmulatorTimeEvent a -> a Source # minimum :: Ord a => EmulatorTimeEvent a -> a Source # sum :: Num a => EmulatorTimeEvent a -> a Source # product :: Num a => EmulatorTimeEvent a -> a Source #
Traversable EmulatorTimeEvent Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods traverse :: Applicative f => (a -> f b) -> EmulatorTimeEvent a -> f (EmulatorTimeEvent b) Source # sequenceA :: Applicative f => EmulatorTimeEvent (f a) -> f (EmulatorTimeEvent a) Source # mapM :: Monad m => (a -> m b) -> EmulatorTimeEvent a -> m (EmulatorTimeEvent b) Source # sequence :: Monad m => EmulatorTimeEvent (m a) -> m (EmulatorTimeEvent a) Source #
Eq e => Eq (EmulatorTimeEvent e) Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods (==) :: EmulatorTimeEvent e -> EmulatorTimeEvent e -> Bool Source # (/=) :: EmulatorTimeEvent e -> EmulatorTimeEvent e -> Bool Source #
Show e => Show (EmulatorTimeEvent e) Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods showsPrec :: Int -> EmulatorTimeEvent e -> ShowS Source # show :: EmulatorTimeEvent e -> String Source # showList :: [EmulatorTimeEvent e] -> ShowS Source #
Generic (EmulatorTimeEvent e) Source #
Instance details Defined in Wallet.Emulator.MultiAgent Associated Types type Rep (EmulatorTimeEvent e) :: Type -> Type Source # Methods from :: EmulatorTimeEvent e -> Rep (EmulatorTimeEvent e) x Source # to :: Rep (EmulatorTimeEvent e) x -> EmulatorTimeEvent e Source #
ToJSON e => ToJSON (EmulatorTimeEvent e) Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods toJSON :: EmulatorTimeEvent e -> Value Source # toEncoding :: EmulatorTimeEvent e -> Encoding Source # toJSONList :: [EmulatorTimeEvent e] -> Value Source # toEncodingList :: [EmulatorTimeEvent e] -> Encoding Source #
FromJSON e => FromJSON (EmulatorTimeEvent e) Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods parseJSON :: Value -> Parser (EmulatorTimeEvent e) Source # parseJSONList :: Value -> Parser [EmulatorTimeEvent e] Source #
Pretty e => Pretty (EmulatorTimeEvent e) Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods pretty :: EmulatorTimeEvent e -> Doc ann Source # prettyList :: [EmulatorTimeEvent e] -> Doc ann Source #
type Rep (EmulatorTimeEvent e) Source #
Instance details Defined in Wallet.Emulator.MultiAgent type Rep (EmulatorTimeEvent e) = D1 ('MetaData "EmulatorTimeEvent" "Wallet.Emulator.MultiAgent" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "EmulatorTimeEvent" 'PrefixI 'True) (S1 ('MetaSel ('Just "_eteEmulatorTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot) :*: S1 ('MetaSel ('Just "_eteEvent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e)))

eteEvent :: forall e e. Lens (EmulatorTimeEvent e) (EmulatorTimeEvent e) e e Source #

eteEmulatorTime :: forall e. Lens' (EmulatorTimeEvent e) Slot Source #

emulatorTimeEvent :: Slot -> Prism' (EmulatorTimeEvent e) e Source #

data EmulatorEvent' Source #

Events produced by the blockchain emulator.

Constructors

ChainEvent ChainEvent
ClientEvent Wallet NodeClientEvent
WalletEvent Wallet WalletEvent
ChainIndexEvent Wallet ChainIndexLog
SchedulerEvent SchedulerLog
InstanceEvent ContractInstanceLog
UserThreadEvent UserThreadMsg

Instances

Instances details

Eq EmulatorEvent' Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods (==) :: EmulatorEvent' -> EmulatorEvent' -> Bool Source # (/=) :: EmulatorEvent' -> EmulatorEvent' -> Bool Source #
Show EmulatorEvent' Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods showsPrec :: Int -> EmulatorEvent' -> ShowS Source # show :: EmulatorEvent' -> String Source # showList :: [EmulatorEvent'] -> ShowS Source #
Generic EmulatorEvent' Source #
Instance details Defined in Wallet.Emulator.MultiAgent Associated Types type Rep EmulatorEvent' :: Type -> Type Source # Methods from :: EmulatorEvent' -> Rep EmulatorEvent' x Source # to :: Rep EmulatorEvent' x -> EmulatorEvent' Source #
ToJSON EmulatorEvent' Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods toJSON :: EmulatorEvent' -> Value Source # toEncoding :: EmulatorEvent' -> Encoding Source # toJSONList :: [EmulatorEvent'] -> Value Source # toEncodingList :: [EmulatorEvent'] -> Encoding Source #
FromJSON EmulatorEvent' Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods parseJSON :: Value -> Parser EmulatorEvent' Source # parseJSONList :: Value -> Parser [EmulatorEvent'] Source #
Pretty EmulatorEvent' Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods pretty :: EmulatorEvent' -> Doc ann Source # prettyList :: [EmulatorEvent'] -> Doc ann Source #
type Rep EmulatorEvent' Source #
Instance details Defined in Wallet.Emulator.MultiAgent type Rep EmulatorEvent' = D1 ('MetaData "EmulatorEvent'" "Wallet.Emulator.MultiAgent" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) ((C1 ('MetaCons "ChainEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainEvent)) :+: (C1 ('MetaCons "ClientEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Wallet) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeClientEvent)) :+: C1 ('MetaCons "WalletEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Wallet) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletEvent)))) :+: ((C1 ('MetaCons "ChainIndexEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Wallet) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainIndexLog)) :+: C1 ('MetaCons "SchedulerEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SchedulerLog))) :+: (C1 ('MetaCons "InstanceEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractInstanceLog)) :+: C1 ('MetaCons "UserThreadEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserThreadMsg)))))

type EmulatorEvent = EmulatorTimeEvent EmulatorEvent' Source #

chainEvent :: Prism' EmulatorEvent' ChainEvent Source #

walletClientEvent :: Wallet -> Prism' EmulatorEvent' NodeClientEvent Source #

walletEvent :: Wallet -> Prism' EmulatorEvent' WalletEvent Source #

walletEvent' :: Prism' EmulatorEvent' (Wallet, WalletEvent) Source #

chainIndexEvent :: Wallet -> Prism' EmulatorEvent' ChainIndexLog Source #

schedulerEvent :: Prism' EmulatorEvent' SchedulerLog Source #

instanceEvent :: Prism' EmulatorEvent' ContractInstanceLog Source #

userThreadEvent :: Prism' EmulatorEvent' UserThreadMsg Source #

type EmulatedWalletControlEffects = '[NodeClientControlEffect, ChainIndexControlEffect, SigningProcessControlEffect, LogObserve (LogMessage Text), LogMsg Text] Source #

data MultiAgentEffect r where Source #

The type of actions in the emulator.

Constructors

WalletAction :: Wallet -> Eff EmulatedWalletEffects r -> MultiAgentEffect r

A direct action performed by a wallet. Usually represents a "user action", as it is triggered externally.

data MultiAgentControlEffect r where Source #

Constructors

WalletControlAction :: Wallet -> Eff EmulatedWalletControlEffects r -> MultiAgentControlEffect r	An action affecting the emulated parts of a wallet (only available in emulator - see note [Control effects].)
Assertion :: Assertion -> MultiAgentControlEffect ()	An assertion in the event stream, which can inspect the current state.

walletAction :: Member MultiAgentEffect effs => Wallet -> Eff EmulatedWalletEffects r -> Eff effs r Source #

Run an action in the context of a wallet (ie. agent)

handleMultiAgentEffects :: forall effs. Member MultiAgentEffect effs => Wallet -> Eff (EmulatedWalletEffects' effs) ~> Eff effs Source #

raiseWallet :: forall f effs. (Member f EmulatedWalletEffects, Member MultiAgentEffect effs) => Wallet -> f ~> Eff effs Source #

walletControlAction :: Member MultiAgentControlEffect effs => Wallet -> Eff EmulatedWalletControlEffects r -> Eff effs r Source #

Run a control action in the context of a wallet

assertion :: Member MultiAgentControlEffect effs => Assertion -> Eff effs () Source #

assertOwnFundsEq :: Member MultiAgentControlEffect effs => Wallet -> Value -> Eff effs () Source #

Issue an assertion that the funds for a given wallet have the given value.

assertIsValidated :: Member MultiAgentControlEffect effs => CardanoTx -> Eff effs () Source #

Issue an assertion that the given transaction has been validated.

data EmulatorState Source #

The state of the emulator itself.

Constructors

EmulatorState
Fields _chainState :: ChainState Mockchain _walletStates :: Map Wallet WalletState The state of each agent. _emulatorLog :: [LogMessage EmulatorEvent] The emulator log messages, with the newest last.

Instances

Instances details

Show EmulatorState Source #
Instance details Defined in Wallet.Emulator.MultiAgent Methods showsPrec :: Int -> EmulatorState -> ShowS Source # show :: EmulatorState -> String Source # showList :: [EmulatorState] -> ShowS Source #