necoherence/call

Types

BoundaryDiagnosis

What a boundary failure carries: the query sent, the reply shape expected, and the observation the judgment was actually made against.

pub type BoundaryDiagnosis(outbound, expectation, observed) {
  BoundaryDiagnosis(
    outbound: outbound,
    expectation: expectation,
    observed: observed,
  )
}

Constructors

BoundaryDiagnosis(
  outbound: outbound,
  expectation: expectation,
  observed: observed,
)

CallResult

Closed sum of a settled output and a projection failure.

pub type CallResult(a) {
  CallOk(a)
  CallFailed(ProjectionFailed)
}

Constructors

```
CallOk(a)
```
```
CallFailed(ProjectionFailed)
```

Deferred

Declaration whose issuance returns a slot; the reply is a later observation.

pub type Deferred(req, slot) {
  Deferred(
    identity: String,
    required: List(String),
    output: fn(req) -> slot,
  )
}

Constructors

Deferred(
  identity: String,
  required: List(String),
  output: fn(req) -> slot,
)

Immediate

Declaration whose output settles at the call itself.

pub type Immediate(req, prd) {
  Immediate(
    identity: String,
    required: List(String),
    output: fn(req) -> prd,
  )
}

Constructors

Immediate(
  identity: String,
  required: List(String),
  output: fn(req) -> prd,
)

ProjectionFailed

Declared failure when the request lacks required field names.

pub type ProjectionFailed {
  ProjectionFailed(declaration: String, fields: List(String))
}

Constructors

ProjectionFailed(declaration: String, fields: List(String))

Request

A request value: a payload of the declared input type together with the field names present on it.

pub type Request(req) {
  Request(payload: req, fields: List(String))
}

Constructors

Request(payload: req, fields: List(String))

Values

deferred_of

pub fn deferred_of(
  identity: String,
  required: List(String),
  output: fn(req) -> slot,
) -> Deferred(req, slot)

Build a deferred declaration from an explicit required-name list.

immediate_of

pub fn immediate_of(
  identity: String,
  required: List(String),
  output: fn(req) -> prd,
) -> Immediate(req, prd)

Build an immediate declaration from an explicit required-name list.

io

pub fn io(
  declaration: Immediate(req, prd),
  request: Request(req),
) -> CallResult(prd)

Call an immediate declaration: match field names, then apply output to the payload.

issue

pub fn issue(
  declaration: Deferred(req, slot),
  request: Request(req),
) -> CallResult(slot)

Call a deferred declaration: match field names, then apply output to the payload.