daemonic_error 0.2.0

Errors that compose, predict, and leave receipts - Compose: algebraic combination (in active development) - Predict: Glass/Severity - Receipts: audit trail, position, checksum - Reflection: Runtime Reflection through TopologySegment (in active development) 
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

use crate::{
	daemonic::{
		frame::{Frame, FrameType, ReferenceFrame},
		glass::{Glass, Observation},
		Anchor,
		AnchorDomainSet,
		SymbolicAnchor,
		TopologySegment
	},
	DaemonicError,
	SemanticAnchor,
};
pub use daemonic::*;
pub use generic::*;
use crate::compiler::DaemonicC;

pub mod compiler;
impl Frame for Error {
	fn frame_type(&self) -> FrameType {
		todo!()
	}
}
impl Anchor for Error {
	fn anchor_domains(&self) -> AnchorDomainSet {
		todo!()
	}
}
impl ReferenceFrame for Error {
	fn origin(&self) -> &TopologySegment {
		todo!()
	}
	
	fn transform_to<GLASS>(&self, observation: &impl Glass<GLASS>, target_frame: &dyn ReferenceFrame) -> Option<Observation<GLASS>>
		where
			GLASS: Clone,
			Self: Sized,
	{
		todo!()
	}
}
pub enum Error {
	/// Use generic variant for simple or quick errors
	Generic(GenericError),
	/// Use this variant for LIBC compatible errors with ERRNO table and conversion methods
	OS(os::OsError),
	/// Daemonic Error variants with richer context than Generic or OS level returns
	/// Shade, Entity, and Symbolic errors are here.
	Daemonic(DaemonicVariants),
	Compiler(DaemonicC),
}
static ERROR_SEGMENT: TopologySegment = TopologySegment::new("Daemonic::Glass::Error");
impl<'error> DaemonicError<'error> for Error {
	fn position(&self) -> &TopologySegment {
		&ERROR_SEGMENT
	}
	
	fn emit(&self) -> Error {
		todo!("needs shit")
	}
}
pub mod os;
pub mod daemonic;
pub mod generic;
pub mod physics_violation;