harn-parser 0.7.45

Parser, AST, and type checker for the Harn programming language
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

//! Harn Flow predicate result builtin signatures.
//!
//! Constructors and introspectors for `InvariantResult`, the value
//! shape predicates return — graded verdicts (`Allow`/`Warn`/`Block`/
//! `RequireApproval`), structured evidence, optional remediation, and a
//! confidence scalar. See issue #581 and the runtime registrations in
//! `crates/harn-vm/src/stdlib/flow.rs`.

use super::{BuiltinReturn, BuiltinSig};

pub(crate) const SIGNATURES: &[BuiltinSig] = &[
    BuiltinSig {
        name: "flow_evidence_atom",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_evidence_citation",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_evidence_metadata",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_evidence_transcript",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_invariant_allow",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_invariant_block",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_invariant_confidence",
        return_type: Some(BuiltinReturn::Named("float")),
    },
    BuiltinSig {
        name: "flow_invariant_is_blocking",
        return_type: Some(BuiltinReturn::Named("bool")),
    },
    BuiltinSig {
        name: "flow_invariant_kind",
        return_type: Some(BuiltinReturn::Named("string")),
    },
    BuiltinSig {
        name: "flow_invariant_require_approval",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_invariant_warn",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_remediation",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_with_confidence",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_with_evidence",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
    BuiltinSig {
        name: "flow_with_remediation",
        return_type: Some(BuiltinReturn::Named("dict")),
    },
];