SetNetworkId only entails changing a state variable in an Env.

SetSocketPath likewise only entails a state variable change.

InitWallet just uses the name in a state variable and creates a fresh MVar with an empty FundQueue in it.

StartProtocol sets state variables for protocol and genesis, but via mkNodeConfig and mkConsensusProtocol. The first unravels to reading wide a variety of config files in makeNodeConfiguration and The second unravels to reading genesis content in helper functions spread across eras.

Delay translates to threadDelay via delay.

ReadSigningKey translates to a readFileTextEnvelopeAnyOf from Cardano.Api.SerialiseTextEnvelope on the signing key file and then drops it into a state variable via setEnvKeys.

DefineSigningKey is just a insert on the state variable.

AddFund is mostly a wrapper around walletRefInsertFund which in turn is just modifyMVar around insert.

WaitBenchmark signifies a waitCatch on the AsyncBenchmarkControl associated with the ID and also folds tracers into the completion.

Submit mostly wraps benchmarkTxStream which in turn wraps walletBenchmark which in turn wraps txSubmissionClient and functions local to that like requestTxs.

CancelBenchmark wraps a callback from the AsyncBenchmarkControl type, which is a shutdown action.

Reserved just emits an error and is a placeholder that helps with testing and quick fixes.

SetProtocolParameters has one option to read from a file and another to pass directly and just sets a state variable for the protoParams field of Env.

LogMsg logs its message calling traceDebug i.e. via the tracer.

SecureGenesis gets funds from a genesis via genesisSecureInitialFundForKey. This is where streams of transactions start.

Split makes payments with change depending on the pay mode. The splitting is from potentially sending the change to a different place.

SplitN divides the funds by N and divides them up into that many transactions in a finite sequence. The handling starts from a case in evalGenerator and has some complexity to it.

Sequence represents sequentially issuing a series in the form of a list of transaction series represented by Generator itself, but the nesting is done by first translating to ActionM, then a difficult-to-understand part follows in the form of for around each gList and is hard to interpret.

Cycle infinitely repeats the series of transactions in its argument, through evalGenerator as per cycle.

Take is easily interpreted via take.

RoundRobin wants interleaves but just errors out unimplemented.