FromPredicate creates an option to focus on a property type any.

ValidateAndDecode validates a data structure against a schema and then decodes it.

ValidateContract validates the given contract against the contract schema.

ContractMonoid is a monoid that allows to merge contracts.

MonoidEnv contains the monoids for the fields in the env type.

MonoidWorkload contains the monoids for the fields in the workload.

OpticContract contains the optical elements to access fields in the contract.

OpticDockerContentTrust contains the optical elements to access fields in the docker content trust section.

OpticEnv contains the optical elements to access fields in the env section.

OpticEnvVolume contains the optical elements to access fields in an env volume.

OpticImages contains the optical elements to access fields in the images section.

OpticLogDNA contains the optical elements to access fields in the logDNA section.

OpticRedHatSigning contains the optical elements to access fields in the red had signing section.

OpticSysLog contains the optical elements to access fields in the syslog section.

OpticWorkload contains the optical elements to access fields in the workload section.

OpticWorkloadVolume contains the optical elements to access fields in a workload volume.