daemonic_error 0.1.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

use crate::daemonic::{NarrativeAnchor, SemanticAnchor, StructuralAnchor, SyntacticAnchor};
pub trait CompositeAnchor {}
pub trait StructAnchor: CompositeAnchor + StructuralAnchor + SyntacticAnchor {
	type Fields;
}
pub trait EnumAnchor: CompositeAnchor + StructuralAnchor + SyntacticAnchor {
	type Fields;
}
pub trait TraitAnchor: CompositeAnchor + StructuralAnchor + SyntacticAnchor {
	type Fields;
	type Behavior;
	type Constraints;
}
pub trait ClassAnchor: CompositeAnchor + StructuralAnchor + SyntacticAnchor {
	type Types;
}
pub trait ContractAnchor: CompositeAnchor + SemanticAnchor + NarrativeAnchor {
	type Promises;
	type Obligations;
	type ContractDescription;
}
pub trait FnAnchor: CompositeAnchor + SemanticAnchor + ContractAnchor {}
pub trait MethodAnchor: CompositeAnchor + StructAnchor + FnAnchor + TraitAnchor {}