Enum Writer 

pub enum Writer {
    ForgeRepository,
    LeanWorkspace,
}

A flint writer kind, identified by the cell it arbitrates on.

Variants

ForgeRepository

flint-forge-syncer over a bare git repository.

LeanWorkspace

A flint-sync syncer over a lean workspace. Forge’s legible export is one of these, published by forge rather than by an agent’s syncer.

Implementations

impl Writer

pub const ALL: [Writer; 2]

pub fn epoch_key(&self, prefix: &str) -> String

This kind’s epoch cell under prefix (no trailing slash).

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

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

The knob an operator would reach for to correct it.

Trait Implementations

impl Clone for Writer

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Writer

impl Debug for Writer

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

Formats the value using the given formatter.

impl Eq for Writer

impl PartialEq for Writer

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Writer