pub trait QueryReadRuntime: Send + Sync {
// Required methods
fn inspect_json<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
target: &'life1 str,
target_kind: SemanticTargetKindRepr,
agent_id: &'life2 str,
allowed_namespaces: Option<&'life3 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait;
fn trace_json<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
target: &'life1 str,
target_kind: SemanticTargetKindRepr,
agent_id: &'life2 str,
allowed_namespaces: Option<&'life3 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait;
fn explain_causes_json<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
query: &'life1 str,
depth: u32,
namespace: Option<&'life2 str>,
allowed_namespaces: Option<&'life3 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait;
fn what_if_json<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
&'life0 self,
intervention: &'life1 str,
outcome: &'life2 str,
namespace: Option<&'life3 str>,
allowed_namespaces: Option<&'life4 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait;
fn counterfactual_json<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
&'life0 self,
antecedent: &'life1 str,
consequent: &'life2 str,
namespace: Option<&'life3 str>,
allowed_namespaces: Option<&'life4 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait;
fn show_policies_json<'life0, 'life1, 'life2, 'async_trait>(
&'life0 self,
principal_kind: Option<&'life1 str>,
principal_name: Option<&'life2 str>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait;
fn explain_policy_json<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
&'life0 self,
principal_kind: &'life1 str,
principal_name: &'life2 str,
resource_type: &'life3 str,
resource_name: &'life4 str,
action: &'life5 str,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait;
}Required Methods§
fn inspect_json<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
target: &'life1 str,
target_kind: SemanticTargetKindRepr,
agent_id: &'life2 str,
allowed_namespaces: Option<&'life3 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
fn trace_json<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
target: &'life1 str,
target_kind: SemanticTargetKindRepr,
agent_id: &'life2 str,
allowed_namespaces: Option<&'life3 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
fn explain_causes_json<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
query: &'life1 str,
depth: u32,
namespace: Option<&'life2 str>,
allowed_namespaces: Option<&'life3 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
fn what_if_json<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
&'life0 self,
intervention: &'life1 str,
outcome: &'life2 str,
namespace: Option<&'life3 str>,
allowed_namespaces: Option<&'life4 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
fn counterfactual_json<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
&'life0 self,
antecedent: &'life1 str,
consequent: &'life2 str,
namespace: Option<&'life3 str>,
allowed_namespaces: Option<&'life4 [String]>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
fn show_policies_json<'life0, 'life1, 'life2, 'async_trait>(
&'life0 self,
principal_kind: Option<&'life1 str>,
principal_name: Option<&'life2 str>,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
fn explain_policy_json<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>(
&'life0 self,
principal_kind: &'life1 str,
principal_name: &'life2 str,
resource_type: &'life3 str,
resource_name: &'life4 str,
action: &'life5 str,
) -> Pin<Box<dyn Future<Output = HirnResult<Vec<u8>>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
'life5: 'async_trait,
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".