binator_core 0.0.2

This contains all cores traits needed to work with binator
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 core::{
  fmt::Display,
  ops::{
    Add,
    BitOr,
  },
};

/// Contexting is a trait used to report failure and error.
/// This idea is too have a tree of context that will help final user to
/// understand the error. It's can also help for debugging purpose.
pub trait Contexting<Atom>:
  Sized + Add<Atom, Output = Self> + BitOr<Output = Self> + ProvideElement
{
  /// Create a new Context from a Atom.
  /// Implementation should try to avoid allocate for only one Atom.
  fn new(atom: Atom) -> Self;
}

/// This is an utily trait
pub trait ProvideElement {
  /// Element associate with a Context.
  /// This is often an enum of different Atom.
  type Element: Display;

  /// return the last Element added to a Context
  fn last(&self) -> &Self::Element;
}