Lib.rs

Macros for generating items from pint-generated contract ABI JSON.

The entry points for this crate are:

• from_file!
• from_str!

For a given contract, the following items are generated:

• A mod representing storage.
• For each predicate, a module with the following:
  • A Vars struct for the predicate's decision variables.

The aim for the generated items is to ease the construction of solutions including the encoding of keys, values and mutations from higher-level types. Items related to simplifying the process of building sets of Mutations and Keys for Solutions and queries.

See the mutations fn to start constructing a set of Mutations.

See the keys fn to start constructing a set of Keys.

The Mutations and Keys impls provides a set of builder methods that allow for writing Mutations and Keys to an inner Vec from higher-level values.

The final Vec<Mutation> or Vec<Key> can be produced using the From<Mutations> or From<Keys> conversion impls.