WIP

crates/rules/src/rules/matrix.rs

@@ -0,0 +1,85 @@
+use std::marker::PhantomData;
+
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub enum RoleKind {
+    PrimaryRole,
+    RecoveryRole,
+    ConfirmationRole,
+}
+
+pub trait IsRole {
+    fn role_kind() -> RoleKind;
+}
+
+pub trait IsRoleObjectSafe {
+    fn get_role_kind(&self) -> RoleKind;
+}
+
+impl<T: IsRole> IsRoleObjectSafe for T {
+    fn get_role_kind(&self) -> RoleKind {
+        T::role_kind()
+    }
+}
+
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub struct TagPrimaryRole;
+
+impl IsRole for TagPrimaryRole {
+    fn role_kind() -> RoleKind {
+        RoleKind::PrimaryRole
+    }
+}
+
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub struct TagConfirmationRole;
+
+impl IsRole for TagConfirmationRole {
+    fn role_kind() -> RoleKind {
+        RoleKind::ConfirmationRole
+    }
+}
+
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub struct TagRecoveryRole;
+
+impl IsRole for TagRecoveryRole {
+    fn role_kind() -> RoleKind {
+        RoleKind::RecoveryRole
+    }
+}
+
+// pub trait AnyRoleWithFactors: IsRoleObjectSafe {}
+
+pub trait RoleWithFactors<RoleTag: IsRole> {}
+
+// pub trait
+
+pub struct Matrix<P, R, C>
+where
+    P: RoleWithFactors<TagPrimaryRole>,
+    R: RoleWithFactors<TagRecoveryRole>,
+    C: RoleWithFactors<TagConfirmationRole> {
+        p: PhantomData<P>,
+        r: PhantomData<R>,
+        c: PhantomData<C>,
+    }
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn is_primary_role() {
+        assert_eq!(TagPrimaryRole::role_kind(), RoleKind::PrimaryRole);
+    }
+
+    #[test]
+    fn is_recovery_role() {
+        assert_eq!(TagRecoveryRole::role_kind(), RoleKind::RecoveryRole);
+    }
+
+    #[test]
+    fn is_confirmation_role() {
+        assert_eq!(TagConfirmationRole::role_kind(), RoleKind::ConfirmationRole);
+    }
+}

crates/rules/src/rules/mod.rs

@@ -1,3 +1,5 @@
 mod error;
+mod matrix;
 
-pub use error::*;
+pub use error::*;
+pub use matrix::*;