Enum WriteDomain 

pub enum WriteDomain {
    Everything(DomainPrefixes),
    Documents(DomainPrefixes),
}

The set of prefixes one actor may write under, and what it may write inside them.

Exhaustive rather than a set plus a flag: “every file here” and “the Markdown documents here” are two policies, and the second one is what City Hall’s residents are given so that a planner which may not build is a type rather than a sentence in a prompt.

Variants

Everything(DomainPrefixes)

Every file under the prefixes.

Documents(DomainPrefixes)

Markdown documents under the prefixes, and never a plan file: Roadmap.md has one editing entrance, and it is the plan tool.

Implementations

impl WriteDomain

pub fn new(prefixes: Vec<Address>) -> Result<WriteDomain, AxError>

The ordinary domain: every file under these prefixes.

Errors

Propagates DomainPrefixes::new.

pub fn documents(prefixes: Vec<Address>) -> Result<WriteDomain, AxError>

The documents-only domain.

Errors

Propagates DomainPrefixes::new.

pub fn prefixes(&self) -> impl Iterator<Item = &Address>

pub fn reaches(&self, area: &Address) -> bool

Whether a declared area lies inside this domain at all: the prefix half of admits, for the subject that has no file name. A tool declares the room it works in, and a room is neither Markdown nor code.

pub fn admits(&self, target: &Address) -> DomainVerdict

The domain door’s primitive. Reserved targets are Outside no matter what the set says, and a documents domain answers a third way: inside the prefixes, and still not a file it writes.

Trait Implementations

impl Clone for WriteDomain

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WriteDomain

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

Formats the value using the given formatter.

impl Eq for WriteDomain

impl PartialEq for WriteDomain

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WriteDomain