Struct fadroma::scrt::permit::Permit

source ·
pub struct Permit<P: Permission> {
    pub params: PermitParams<P>,
    pub address: String,
}
Expand description

The type the represents a signed permit. You shouldn’t try to instantiate this type yourself unless you are writing test code. Rather you set this as a parameter in your contract query functions that you wish to authenticate.

Fields§

§params: PermitParams<P>§address: String

Implementations§

source§

impl<P: Permission> Permit<P>

source

pub fn new(signer: impl Into<String>, params: PermitParams<P>) -> Self

Creates a new instance using the given params and signer which is the address that “signed” the permit. This method is only useful in test code to create mock a permit.

source§

impl<P: Permission> Permit<P>

source

pub fn validate( &self, deps: Deps<'_>, current_contract_addr: &str, hrp: Option<&str>, expected_permissions: &[P] ) -> StdResult<String>

Validates the permit by checking whether it contains the expected permissions, the current_contract_addr is allowed, the permit hasn’t been revoked (based on its name) and veryfing the cryptographic signature. If any of these prerequisites fails, an error is returned. Otherwise, returns the address that signed the permit.

Parameters:
  • deps: Needed to check whether the permit has been revoked and verify signature.
  • current_contract_addr: The contract address that is calling this function i.e env.contract.address.
  • hrp: The address prefix i.e the “secret” part of the address “secret1k0jntykt7e4g3y88ltc60czgjuqdy4c9e8fzek”. Should be left as None most of the time.
  • expected_permissions: The permission set that the permit needs to contains in order to successfully pass verification. Pass an empty slice (&[]) if you don’t need to check permissions.
source

pub fn assert_not_revoked( storage: &dyn Storage, account: &str, permit_name: &str ) -> StdResult<()>

Checks if the permit has been revoked based on the permit_name parameter. This is already being called by Permit::validate.

source

pub fn revoke(storage: &mut dyn Storage, account: &Addr, permit_name: &str)

Mark any permit with permit_name that is signed by account as revoked. Any such permit will fail verification.

source

pub fn has_permission(&self, permission: &P) -> bool

Check if the permit contains the given permission. This is already being called by Permit::validate.

source

pub fn is_for_contract(&self, contract: &str) -> bool

Check if the given contract address is allowed to use this permit. This is already being called by Permit::validate.

Trait Implementations§

source§

impl<P: Clone + Permission> Clone for Permit<P>

source§

fn clone(&self) -> Permit<P>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<P: Debug + Permission> Debug for Permit<P>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'de, P> Deserialize<'de> for Permit<P>where P: Deserialize<'de> + Permission,

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<P: Permission + JsonSchema> JsonSchema for Permit<P>

source§

fn schema_name() -> String

The name of the generated JSON Schema. Read more
source§

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type. Read more
source§

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword. Read more
source§

impl<P: PartialEq + Permission> PartialEq<Permit<P>> for Permit<P>

source§

fn eq(&self, other: &Permit<P>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<P> Serialize for Permit<P>where P: Serialize + Permission,

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl<P: Permission> StructuralPartialEq for Permit<P>

Auto Trait Implementations§

§

impl<P> RefUnwindSafe for Permit<P>where P: RefUnwindSafe,

§

impl<P> Send for Permit<P>where P: Send,

§

impl<P> Sync for Permit<P>where P: Sync,

§

impl<P> Unpin for Permit<P>where P: Unpin,

§

impl<P> UnwindSafe for Permit<P>where P: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> DynClone for Twhere T: Clone,

source§

fn __clone_box(&self, _: Private) -> *mut ()

source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

source§

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

source§

impl<T> Permission for Twhere T: Serialize + JsonSchema + Clone + PartialEq<T>,