amaru_kernel/cardano/
proposal.rs

1// Copyright 2025 PRAGMA
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7//     http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15pub use pallas_primitives::conway::ProposalProcedure as Proposal;
16#[cfg(any(test, feature = "test-utils"))]
17pub use tests::*;
18
19#[cfg(any(test, feature = "test-utils"))]
20mod tests {
21    use proptest::{prelude::*, prop_compose};
22
23    use crate::{Lovelace, Proposal, any_anchor, any_gov_action, any_reward_account};
24
25    prop_compose! {
26        pub fn any_proposal()(
27            deposit in any::<Lovelace>(),
28            reward_account in any_reward_account(),
29            gov_action in any_gov_action(),
30            anchor in any_anchor(),
31        ) -> Proposal {
32            Proposal {
33                deposit,
34                reward_account,
35                gov_action,
36                anchor,
37            }
38        }
39    }
40}
amaru_kernel/cardano/proposal.rs

amaru_kernel/cardano/
proposal.rs
