Struct fj_core::layers::Layer

source ·
pub struct Layer<S> { /* private fields */ }
Expand description

A generic layer, which controls access to layer state

Layer is a generic wrapper around some state and controls access to it. It Derefs to the state it wraps, for easy read access, but prevents any direct write access.

Instead, each write access to state is reified as a command, which are processed by Layer::process. Processing a command can result in any number of events, which can then be used as commands for other layers.

This design takes inspiration from, and uses the nomenclature of, this article: https://thinkbeforecoding.com/post/2021/12/17/functional-event-sourcing-decider

Implementations§

source§

impl Layer<Geometry>

source

pub fn define_half_edge( &mut self, half_edge: Handle<HalfEdge>, geometry: HalfEdgeGeometry )

Define the geometry of the provided half-edge

source

pub fn define_surface( &mut self, surface: Handle<Surface>, geometry: SurfaceGeometry )

Define the geometry of the provided surface

source§

impl Layer<Objects>

source

pub fn insert( &mut self, object: AnyObject<AboutToBeStored>, geometry: &Geometry, validation: &mut Layer<Validation> )

Insert an object into the stores

Passes any events produced to the validation layer.

source§

impl Layer<Presentation>

source

pub fn set_color(&mut self, region: Handle<Region>, color: Color)

Set the color of a region

source

pub fn derive_object( &mut self, original: AnyObject<Stored>, derived: AnyObject<Stored> )

Mark an object as being derived from another

source§

impl Layer<Validation>

source

pub fn take_errors(&mut self) -> Result<(), ValidationErrors>

Take all errors stored in the validation layer

source§

impl<S> Layer<S>

source

pub fn new(state: S) -> Self

Create an instance of Layer

source

pub fn process<C>( &mut self, command: C, events: &mut Vec<C::Event> ) -> C::Result
where C: Command<S>,

Process a command

The command is processed synchronously. When this method returns, the state has been updated.

source

pub fn into_state(self) -> S

Drop this instance, returning the wrapped state

Trait Implementations§

source§

impl<S> Default for Layer<S>
where S: Default,

source§

fn default() -> Self

Returns the “default value” for a type. Read more
source§

impl<S> Deref for Layer<S>

§

type Target = S

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.

Auto Trait Implementations§

§

impl<S> Freeze for Layer<S>
where S: Freeze,

§

impl<S> RefUnwindSafe for Layer<S>
where S: RefUnwindSafe,

§

impl<S> Send for Layer<S>
where S: Send,

§

impl<S> Sync for Layer<S>
where S: Sync,

§

impl<S> Unpin for Layer<S>
where S: Unpin,

§

impl<S> UnwindSafe for Layer<S>
where S: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> Downcast for T
where T: Any,

source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.