necoherence/core

Types

Basis

pub type Basis {
  Basis(resource: ResourceId, revision: Revision)
}

Constructors

Basis(resource: ResourceId, revision: Revision)

Command

pub type Command(intent) {
  Command(intent: intent, basis: Basis)
}

Constructors

```
Command(intent: intent, basis: Basis)
```

Lookup

pub type Lookup {
  Found(Revision)
  Unknown(UnknownResource)
}

Constructors

```
Found(Revision)
```
```
Unknown(UnknownResource)
```

Observation

pub type Observation(payload) {
  Observation(payload: payload, basis: Basis, observed_at: Int)
}

Constructors

Observation(payload: payload, basis: Basis, observed_at: Int)

Outcome

Closed four-branch outcome: applied, rejected, conflicted, or a boundary failure translated from an external touchpoint.

pub type Outcome(applied, rejected, conflicted, boundary) {
  Applied(applied)
  Rejected(rejected)
  Conflicted(conflicted)
  BoundaryFailed(boundary)
}

Constructors

```
Applied(applied)
```
```
Rejected(rejected)
```
```
Conflicted(conflicted)
```
```
BoundaryFailed(boundary)
```

ResourceId

pub type ResourceId {
  ResourceId(kind: String, name: String)
}

Constructors

```
ResourceId(kind: String, name: String)
```

Revision

pub type Revision {
  Revision(value: Int)
}

Constructors

```
Revision(value: Int)
```

StaleBasis

pub type StaleBasis {
  StaleBasis(expected: Revision, actual: Revision)
}

Constructors

StaleBasis(expected: Revision, actual: Revision)

UnknownResource

pub type UnknownResource {
  UnknownResource(resource: ResourceId)
}

Constructors

```
UnknownResource(resource: ResourceId)
```

World

pub type World {
  World(entries: List(#(ResourceId, Revision)))
}

Constructors

World(entries: List(#(ResourceId, Revision)))

Values

apply

pub fn apply(
  world: World,
  command: Command(intent),
) -> Outcome(
  #(intent, World),
  UnknownResource,
  StaleBasis,
  boundary,
)

Apply a command against world. boundary never occurs here: the four-branch outcome type is shared with the other feature families (Store.apply, file effect) that do produce boundary failures.

bump

pub fn bump(world: World, resource: ResourceId) -> World

command_of

pub fn command_of(
  observation: Observation(payload),
  intent: intent,
) -> Command(intent)

lookup

pub fn lookup(world: World, resource: ResourceId) -> Lookup

resource

pub fn resource(kind: String, name: String) -> ResourceId

revision

pub fn revision(value: Int) -> Revision

revision_value

pub fn revision_value(value: Revision) -> Int

world

pub fn world(entries: List(#(ResourceId, Revision))) -> World

world_entries

pub fn world_entries(
  value: World,
) -> List(#(ResourceId, Revision))