anodized-core 0.5.1

Core interoperability for the Anodized specification system
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

use bitflags::bitflags;

bitflags! {
    /// A combination of `fn` qualifiers.
    #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
    pub struct FnQualifiers: u32 {
        /// A deterministic `fn`'s return value depends only on its arguments.
        const DETERMINISTIC = 1 << 0;

        /// An effectfree `fn` has no side effects.
        const EFFECTFREE = 1 << 1;

        /// An infallible `fn` does not panic or abort.
        const INFALLIBLE = 1 << 2;

        /// A terminating `fn` does not run forever.
        const TERMINATING = 1 << 3;

        /// A pure `fn` is both deterministic and effectfree.
        const PURE = Self::DETERMINISTIC.bits() | Self::EFFECTFREE.bits();

        /// A total `fn` is both infallible and terminating.
        const TOTAL = Self::INFALLIBLE.bits() | Self::TERMINATING.bits();

        /// A functional `fn` is both pure and total.
        const FUNCTIONAL = Self::PURE.bits() | Self::TOTAL.bits();
    }
}