Unavailable. Nobody can download this version any more, with elm or with the Lamdera compiler: github.com/quietgarden/elm-web3 is gone (deleted or private); Software Heritage not asked yet (this run's --swh-calls were used up); no fork with tag 1.0.0 found (5 same-name repos checked); no cached copy. Use another version.
Wallet connection state machine.
The wallet is modeled as an explicit state — you can't accidentally call a contract without a connected wallet because the compiler won't give you an Address from a Disconnected state.
case model.wallet of
Connected info ->
-- info.address is available here
buy info.address amount
_ ->
-- can't buy, no address to use
showConnectButtonMessages from the JS wallet port.
Commands to send to JS via port.
A wallet provider discovered via EIP-6963.
Command to request wallet disconnection.
Command to switch chain.
Command to select a specific wallet by its RDNS identifier (EIP-6963).
selectWallet "io.metamask"True if the wallet is in the Connected state.
Extract the connected address, if any.
Extract the connected chain ID, if any.
Wallet connection state. Every possible state is explicit.