neco_quotient_certificate/failure

Types

Mismatch

照合の失敗。provenance は呼び出す側の値をそのまま保持する。

pub type Mismatch(p) {
  Mismatch(
    operation: String,
    stage: Stage,
    expected: String,
    actual: String,
    origin: Origin,
    provenance: p,
    contributing: List(Mismatch(p)),
  )
}

Constructors

Mismatch(
  operation: String,
  stage: Stage,
  expected: String,
  actual: String,
  origin: Origin,
  provenance: p,
  contributing: List(Mismatch(p)),
)

Origin

</>

不一致の対象となる証明書のリビジョンと入力の表示。

pub type Origin {
  Origin(
    rule_revision: String,
    source_identity: String,
    source_revision: String,
  )
}

Constructors

Origin(
  rule_revision: String,
  source_identity: String,
  source_revision: String,
)

Stage

</>

不一致を報告する照合の段階。

pub type Stage {
  Decode
  Source
  Coordinate
  Observations
  Digest
  Residual
}

Constructors

```
Decode
```
```
Source
```
```
Coordinate
```
```
Observations
```
```
Digest
```
```
Residual
```

Values

describe

</>

pub fn describe(mismatch: Mismatch(p)) -> String

失敗の表示。操作、段階、期待値、実際の値、規則のリビジョン、入力を一文にする。

stage_name

</>

pub fn stage_name(stage: Stage) -> String

段階の表示名。