neco_quotient_certificate/certificate

Types

Certificate

照合に提出する証明書。

pub type Certificate(s, rev, c, obs, r, e) {
  Certificate(
    rule_revision: String,
    source: source.SourceRef(s, rev),
    coordinate: c,
    digests: List(digest.ProjectionDigest),
    residuals: ResidualSet(r),
    observations: obs,
    evidence: e,
  )
}

Constructors

Certificate(
  rule_revision: String,
  source: source.SourceRef(s, rev),
  coordinate: c,
  digests: List(digest.ProjectionDigest),
  residuals: ResidualSet(r),
  observations: obs,
  evidence: e,
)

Expected

</>

証明書を照合する期待値。

pub type Expected(s, rev, c, obs, r) {
  Expected(
    rule_revision: String,
    source: source.SourceRef(s, rev),
    coordinate: c,
    observations: obs,
    residuals: ResidualSet(r),
  )
}

Constructors

Expected(
  rule_revision: String,
  source: source.SourceRef(s, rev),
  coordinate: c,
  observations: obs,
  residuals: ResidualSet(r),
)

ResidualSet

opaque </>

要素の所属で同一性を決める残余集合。

pub opaque type ResidualSet(r)

Values

residual_set

</>

pub fn residual_set(values: List(r)) -> ResidualSet(r)

重複を除いた残余集合を作る。

residual_values

</>

pub fn residual_values(set: ResidualSet(r)) -> List(r)

残余集合の要素を構築時の順で返す。

same_residuals

</>

pub fn same_residuals(
  left: ResidualSet(r),
  right: ResidualSet(r),
) -> Bool

二つの残余集合が同じ要素所属を持つか返す。