asimov-patterns 25.5.0

ASIMOV Software Development Kit (SDK) for Rust
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
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84

// This is free and unencumbered software released into the public domain.

//! RDF entailment: the reasoner marker trait and serialization options.

use crate::Execute;
use alloc::{string::String, vec::Vec};
use bon::Builder;

/// An RDF entailer that derives consequences under a documented regime or rule system.
///
/// The program defines whether output includes the original statements or
/// only additional consequences, and how named graphs and inconsistent input
/// are handled. The pattern specifies no particular reasoning algorithm, rule
/// language, or completeness guarantee.
///
/// # Command-line contract
///
/// `PROGRAM [OPTIONS] [INPUT-FILE [OUTPUT-FILE]]`
///
/// Input and output default to stdin and stdout. A single operand selects
/// input; two select input then output, with `-` denoting a standard stream.
/// [`ReasonerOptions`] selects RDF serializations, both defaulting to `jsonl`.
///
/// `T` is the implementation's result representation. See [`crate::programs`]
/// for links to concrete execution behavior and the [reasoner specification][spec].
///
/// [spec]: https://asimov-specs.github.io/program-patterns/#reasoner
pub trait Reasoner<T>: Execute<T> {}

/// RDF input/output formats and additional arguments for a [`Reasoner`].
///
/// `Default` leaves formats unset and `other` empty. The process wrapper omits
/// unset flags and lets the program apply its defaults. These options do not
/// select a standard entailment regime or validate the RDF payloads.
///
/// # Examples
///
/// ```rust
/// use asimov_patterns::ReasonerOptions;
///
/// let options = ReasonerOptions::builder()
///     .input("jsonl")
///     .output("jsonl")
///     .build();
/// ```
#[derive(Clone, Debug, Default, Eq, Hash, Ord, PartialEq, PartialOrd, Builder)]
#[builder(derive(Debug), on(String, into))]
pub struct ReasonerOptions {
    /// Additional arguments, including optional input and output file operands.
    ///
    /// The wrapper appends these after generated format options. Put extension
    /// options before files; each string is one literal argument. See
    /// [`crate::programs`] for operand ordering and standard-stream selection.
    #[builder(field)]
    pub other: Vec<String>,

    /// RDF input serialization passed as `--input=FORMAT` (`-i` in the CLI).
    ///
    /// `None` omits the option; the specified program default is `jsonl`.
    /// This is a format token, not an input filename or a rule language.
    pub input: Option<String>,

    /// Entailed RDF serialization passed as `--output=FORMAT` (`-o` in the CLI).
    ///
    /// `None` omits the option; the specified program default is `jsonl`.
    /// This selects neither an output file nor whether input statements are included.
    pub output: Option<String>,
}

impl<S: reasoner_options_builder::State> ReasonerOptionsBuilder<S> {
    /// Appends one literal argument to [`ReasonerOptions::other`], preserving order.
    pub fn other(mut self, flag: impl Into<String>) -> Self {
        self.other.push(flag.into());
        self
    }

    /// Appends a present argument to [`ReasonerOptions::other`]; `None` adds nothing.
    pub fn maybe_other(mut self, flag: Option<impl Into<String>>) -> Self {
        if let Some(flag) = flag {
            self.other.push(flag.into());
        }
        self
    }
}