Enum GDeclarationGroup

pub enum GDeclarationGroup<Id> {
    NonRec(Id),
    Rec(Vec<Id>),
}

A (group of) top-level declaration(s), properly reordered. “G” stands for “generic”

Variants

NonRec(Id)

A non-recursive declaration

Rec(Vec<Id>)

A (group of mutually) recursive declaration(s)

Implementations

impl<Id> GDeclarationGroup<Id>

pub fn variant_index_arity(&self) -> (u32, usize)

impl<Id> GDeclarationGroup<Id>

pub fn variant_name(&self) -> &'static str

impl<Id> GDeclarationGroup<Id>

pub fn as_non_rec(&self) -> Option<&Id>

pub fn as_rec(&self) -> Option<&Vec<Id>>

impl<Id> GDeclarationGroup<Id>

pub fn as_non_rec_mut(&mut self) -> Option<&mut Id>

pub fn as_rec_mut(&mut self) -> Option<&mut Vec<Id>>

impl<Id> GDeclarationGroup<Id>

pub fn is_non_rec(&self) -> bool

pub fn is_rec(&self) -> bool

impl<Id: Copy> GDeclarationGroup<Id>

pub fn get_ids(&self) -> &[Id]

pub fn get_any_trans_ids(&self) -> Vec<AnyTransId>

where Id: Into<AnyTransId>,

fn make_group(is_rec: bool, gr: impl Iterator<Item = AnyTransId>) -> Self

where Id: TryFrom<AnyTransId>, Id::Error: Debug,

Trait Implementations

impl<Id: Clone> Clone for GDeclarationGroup<Id>

fn clone(&self) -> GDeclarationGroup<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for GDeclarationGroup<Id>

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

Formats the value using the given formatter.

impl<'de, Id> Deserialize<'de> for GDeclarationGroup<Id>

where Id: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Id: Display> Display for GDeclarationGroup<Id>

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

Formats the value using the given formatter.

impl<Id: Copy, C: AstFormatter + Formatter<Id>> FmtWithCtx<C> for GDeclarationGroup<Id>

fn fmt_with_ctx(&self, ctx: &C) -> String

fn fmt_with_ctx_and_indent(&self, _tab: &str, _ctx: &C) -> String

fn with_ctx<'a>(&'a self, ctx: &'a C) -> impl Display + 'a

Returns a struct that implements Display. This allows the following:

impl<Id> Serialize for GDeclarationGroup<Id>

where Id: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.