necoherence/semantic_generation_http

Types

Failure

pub type Failure {
  Callback(semantic_generation_runtime.CallbackFailure)
  Network(network_effect.NetworkFailure)
  Transport(network_effect.NetworkTerminal)
  ObservationUnavailable
}

Constructors

Callback(semantic_generation_runtime.CallbackFailure)

```
Network(network_effect.NetworkFailure)
```

Transport(network_effect.NetworkTerminal)

```
ObservationUnavailable
```

Outcome

pub type Outcome(o) {
  Completed(state: network_effect.NetworkState, value: o)
  Pending(
    state: network_effect.NetworkState,
    pending: PendingCall(o),
  )
  Failed(state: network_effect.NetworkState, failure: Failure)
  Observed(
    state: network_effect.NetworkState,
    observation: network_effect.NetworkStep,
  )
}

Constructors

Completed(state: network_effect.NetworkState, value: o)

Pending(
  state: network_effect.NetworkState,
  pending: PendingCall(o),
)

Failed(state: network_effect.NetworkState, failure: Failure)

Observed(
  state: network_effect.NetworkState,
  observation: network_effect.NetworkStep,
)

PendingCall

opaque

pub opaque type PendingCall(o)

Values

dispatch

pub fn dispatch(
  state: network_effect.NetworkState,
  input: network_effect.AttemptInput,
  decode: fn(
    network_effect.RawHttpResponse,
    network_effect.HeaderProvenance,
    network_effect.EffectStatus,
  ) -> Result(o, semantic_generation_runtime.CallbackFailure),
  ports: network_host.AdapterPorts,
) -> Outcome(o)

resume

pub fn resume(pending: PendingCall(o)) -> Outcome(o)