finos/morphir-workbench-native-session/request does not have a README file

    Invalid

    pub(all) suberror Invalid {
    Invalid(String)
    }

    Framing diagnostics are stages, not native invocation error effects.

    Contract

    pub(all) enum Contract {
    Executions
    CapabilityChecks
    } derive(Eq)

    Exact native mappings. The selected mapping is retained by the page session.

    Contract::equal

    fn Contract::equal(Contract, Contract) -> Bool

    Contract::from_string

    fn Contract::from_string(value : String) -> Contract raise Invalid

    Contract::not_equal

    fn Contract::not_equal(x : Contract, y : Contract) -> Bool

    Contract::version

    fn Contract::version(self : Contract) -> String

    Request

    pub struct Request {
    // private fields
    }

    A syntactically admitted frame carries no caller, session or grant authority. The source documents remain unchanged for later admission and capture.

    Request::contract

    fn Request::contract(self : Request) -> Contract

    Request::operation

    fn Request::operation(self : Request) -> String

    Request::to_json

    decode

    fn decode(bytes : Bytes) -> Request raise Invalid

    Production native draft.1 decoder. This boundary only admits framing and closed shape; trusted caller checks, model/type admission and execution follow separately. Never call dispatch with a framework-decoded Json object.

    decode_current

    fn decode_current(bytes : Bytes) -> Request raise Invalid

    Host dispatch selects an explicit mapping before effects or caller admission.

    decode_policy

    fn decode_policy(bytes : Bytes) -> Request raise Invalid

    New exact mapping. The frozen decoder remains closed to all policy fields.