hopper-runtime 0.2.1

Canonical low-level runtime surface for Hopper. Hopper Native is the primary backend; legacy Pinocchio and solana-program compatibility are explicit opt-ins.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

//! Proof-carrying account markers.
//!
//! This is the lightweight capability layer over `AccountView` checks. Each
//! method consumes a proof and returns the same account with an extra marker in
//! the type, so downstream helpers can require `OwnerChecked`, `SignerChecked`,
//! `LayoutChecked<T>`, or any tuple composition of those markers.

use core::marker::PhantomData;

use crate::{AccountView, Address, LayoutContract, ProgramError};

#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct Unchecked;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct OwnerChecked;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct LayoutChecked<T>(PhantomData<T>);
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct SignerChecked;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct WritableChecked;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct ExecutableChecked;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct TokenExtensionsChecked;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct SeedsChecked;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub struct HasOneChecked;

#[derive(Clone, Copy)]
pub struct AccountProof<'a, P = Unchecked> {
    account: &'a AccountView,
    _proof: PhantomData<P>,
}

impl<'a> AccountProof<'a, Unchecked> {
    #[inline(always)]
    pub const fn new(account: &'a AccountView) -> Self {
        Self {
            account,
            _proof: PhantomData,
        }
    }
}

impl<'a, P> AccountProof<'a, P> {
    #[inline(always)]
    pub const fn account(&self) -> &'a AccountView {
        self.account
    }

    #[inline(always)]
    pub fn check_owner(
        self,
        expected: &Address,
    ) -> Result<AccountProof<'a, (P, OwnerChecked)>, ProgramError> {
        self.account.check_owned_by(expected)?;
        Ok(AccountProof::<'a, (P, OwnerChecked)> {
            account: self.account,
            _proof: PhantomData,
        })
    }

    #[inline(always)]
    pub fn check_layout<T: LayoutContract>(
        self,
    ) -> Result<AccountProof<'a, (P, LayoutChecked<T>)>, ProgramError> {
        self.account.check_layout::<T>()?;
        Ok(AccountProof::<'a, (P, LayoutChecked<T>)> {
            account: self.account,
            _proof: PhantomData,
        })
    }

    #[inline(always)]
    pub fn check_signer(self) -> Result<AccountProof<'a, (P, SignerChecked)>, ProgramError> {
        self.account.check_signer()?;
        Ok(AccountProof::<'a, (P, SignerChecked)> {
            account: self.account,
            _proof: PhantomData,
        })
    }

    #[inline(always)]
    pub fn check_writable(self) -> Result<AccountProof<'a, (P, WritableChecked)>, ProgramError> {
        self.account.check_writable()?;
        Ok(AccountProof::<'a, (P, WritableChecked)> {
            account: self.account,
            _proof: PhantomData,
        })
    }

    #[inline(always)]
    pub fn check_executable(
        self,
    ) -> Result<AccountProof<'a, (P, ExecutableChecked)>, ProgramError> {
        self.account.check_executable()?;
        Ok(AccountProof::<'a, (P, ExecutableChecked)> {
            account: self.account,
            _proof: PhantomData,
        })
    }

    #[inline(always)]
    pub const fn assume_token_extensions_checked(
        self,
    ) -> AccountProof<'a, (P, TokenExtensionsChecked)> {
        AccountProof::<'a, (P, TokenExtensionsChecked)> {
            account: self.account,
            _proof: PhantomData,
        }
    }
}