This introduces a module for simple type-based verification checks using two kinds of wrapper types:
Verified: Generic wrapper
DynVerified: Wrapper with dynamic dispatch
These signify that a package manager is installed and is safe to interact with. The constructors of these types internally use is_installed function provided in this module. The private internal fields ensure that they cannot be constructed directly without calling the provided new constructors.
A Verify trait is also included, which provides constructors directly on all T that implement PackageManager.
This module is placed behind a feature gate: verify
This introduces a module for simple type-based verification checks using two kinds of wrapper types:
Verified: Generic wrapperDynVerified: Wrapper with dynamic dispatchThese signify that a package manager is installed and is safe to interact with. The constructors of these types internally use
is_installedfunction provided in this module. The private internal fields ensure that they cannot be constructed directly without calling the providednewconstructors.A Verify trait is also included, which provides constructors directly on all
Tthat implementPackageManager.This module is placed behind a feature gate:
verify