reaching/app/init

Types

Model

</>

pub type Model {
  Pending
  ReachingLink
  AttestantVerifyingKeys
  Salts
  WebSocket
  Done
}

Constructors

```
Pending
```
```
ReachingLink
```
```
AttestantVerifyingKeys
```
```
Salts
```
```
WebSocket
```
```
Done
```

Msg

</>

pub type Msg {
  WebSocketInitialized
  WebSocketInitializationFailed
  ReachingLinkInitRequired
  DownloadedAttestantVerifyingKeys(BitArray)
  DownloadedSalts(BitArray)
  UnknownAttestantVerifyingKeysResponse
  UnknownSaltsResponse
}

Constructors

```
WebSocketInitialized
```
```
WebSocketInitializationFailed
```
```
ReachingLinkInitRequired
```

DownloadedAttestantVerifyingKeys(BitArray)

```
DownloadedSalts(BitArray)
```
```
UnknownAttestantVerifyingKeysResponse
```
```
UnknownSaltsResponse
```

Values

ialize

</>

pub fn ialize(uri: String, target: Model) -> Effect(Msg)

websocket_init

</>

pub fn websocket_init(uri: String) -> Effect(Msg)

✨