Skip to main content

Module proof

Module proof 

Source
Expand description

Proof that an invoice passed a named profile. Formats stamp BT-24 from this.

Structs§

Check
Builder that records suppressions. prove fails if any id was suppressed — a proof must see every fatal.
En16931
Type-level Profile::En16931.
PeppolBis3
Type-level Profile::PeppolBis3.
Pint
Type-level Profile::Pint.
PintMy
Type-level Profile::PintMy.
Validated
An invoice validated against P. Cannot be constructed from a suppressed run.

Enums§

ProveError
Why a proof could not be minted.

Traits§

ProfileMarker
A profile at the type level.
Underlies
Q: Underlies<P> means every document valid under P is valid under Q.