amaru_kernel/cardano/
vote.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::Vote;
16#[cfg(any(test, feature = "test-utils"))]
17pub use tests::*;
18
19#[cfg(any(test, feature = "test-utils"))]
20mod tests {
21    use proptest::prelude::*;
22
23    use crate::Vote;
24
25    pub static VOTE_YES: Vote = Vote::Yes;
26    pub static VOTE_NO: Vote = Vote::No;
27    pub static VOTE_ABSTAIN: Vote = Vote::Abstain;
28
29    pub fn any_vote() -> impl Strategy<Value = Vote> {
30        prop_oneof![Just(Vote::Yes), Just(Vote::No), Just(Vote::Abstain)]
31    }
32
33    pub fn any_vote_ref() -> impl Strategy<Value = &'static Vote> {
34        prop_oneof![Just(&VOTE_YES), Just(&VOTE_NO), Just(&VOTE_ABSTAIN)]
35    }
36}
amaru_kernel/cardano/vote.rs

amaru_kernel/cardano/
vote.rs
