README
- ::equalViewError::equal
- ::from_jsonViewError::from_json
- ::not_equalViewError::not_equal
- ::to_jsonViewError::to_json
- ::to_reprViewError::to_repr
- ::equalEtsRow::equal
- ::from_jsonEtsRow::from_json
- ::not_equalEtsRow::not_equal
- ::to_jsonEtsRow::to_json
- ::to_reprEtsRow::to_repr
- ::equalMemorySummary::equal
- ::from_jsonMemorySummary::from_json
- ::not_equalMemorySummary::not_equal
- ::to_jsonMemorySummary::to_json
- ::to_reprMemorySummary::to_repr
- ::equalNodeRequest::equal
- ::from_jsonNodeRequest::from_json
- ::not_equalNodeRequest::not_equal
- ::to_jsonNodeRequest::to_json
- ::to_reprNodeRequest::to_repr
- ::equalObserverSnapshot::equal
- ::from_jsonObserverSnapshot::from_json
- ::not_equalObserverSnapshot::not_equal
- ::to_jsonObserverSnapshot::to_json
- ::to_reprObserverSnapshot::to_repr
- ::equalPortSummary::equal
- ::from_jsonPortSummary::from_json
- ::not_equalPortSummary::not_equal
- ::to_jsonPortSummary::to_json
- ::to_reprPortSummary::to_repr
- ::equalProcessRow::equal
- ::from_jsonProcessRow::from_json
- ::not_equalProcessRow::not_equal
- ::to_jsonProcessRow::to_json
- ::to_reprProcessRow::to_repr
V
fetch_ets
V
fetch_memory
V
fetch_ports
V
fetch_processes
V
fetch_snapshot

moonbit-observer-proton-shared

Shared typed contracts for Proton App.

Download zip

Author

thy1016

Version

0.1.0

License

Apache-2.0

Last updated

9 hours ago

Downloads

moonbit-community/proton_contract0.7.0

#moonbit-observer-proton（模块）

observer-proton workspace 三模块之一。总览/开发/真网验证见仓根 ../README.md（桌面观察器 GUI 形——proton isomorphic 路）。

ViewError

source

pub(all) suberror ViewError {
  ShapeMismatch(String)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson, @moonbitlang/core/json.ToJson
ToJson)

视图错误(数据面诚实拒——ShapeMismatch 形;frontend/backend 双端同形)

ViewError::equal

source

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

ViewError::from_json

source

fn ViewError::from_json(@moonbitlang/core/json.Json
Json, @moonbitlang/core/json.JsonPath
JsonPath) -> ViewError raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

ViewError::not_equal

source

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

ViewError::to_json

source

fn ViewError::to_json(ViewError) -> @moonbitlang/core/json.Json
Json

ViewError::to_repr

source

fn ViewError::to_repr(ViewError) -> @moonbitlang/core/debug.Repr
Repr

EtsRow

source

pub(all) struct EtsRow {
  name : String
  size : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson, @moonbitlang/core/json.ToJson
ToJson)

ETS 表行(表名+大小——骨架形)

EtsRow::equal

source

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

EtsRow::from_json

source

fn EtsRow::from_json(@moonbitlang/core/json.Json
Json, @moonbitlang/core/json.JsonPath
JsonPath) -> EtsRow raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

EtsRow::not_equal

source

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

EtsRow::to_json

source

fn EtsRow::to_json(EtsRow) -> @moonbitlang/core/json.Json
Json

EtsRow::to_repr

source

fn EtsRow::to_repr(EtsRow) -> @moonbitlang/core/debug.Repr
Repr

MemorySummary

source

pub(all) struct MemorySummary {
  total : Int
  processes : Int
  ets : Int
  atom : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson, @moonbitlang/core/json.ToJson
ToJson)

内存摘要(erlang:memory() 词对四键摘)

MemorySummary::equal

source

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

MemorySummary::from_json

source

fn MemorySummary::from_json(@moonbitlang/core/json.Json
Json, @moonbitlang/core/json.JsonPath
JsonPath) -> MemorySummary raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

MemorySummary::not_equal

source

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

MemorySummary::to_json

source

fn MemorySummary::to_json(MemorySummary) -> @moonbitlang/core/json.Json
Json

MemorySummary::to_repr

source

fn MemorySummary::to_repr(MemorySummary) -> @moonbitlang/core/debug.Repr
Repr

NodeRequest

source

pub(all) struct NodeRequest {
  node : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson, @moonbitlang/core/json.ToJson
ToJson)

命令请求形(观察器五词——node 指示+空载荷形)

NodeRequest::equal

source

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

NodeRequest::from_json

source

fn NodeRequest::from_json(@moonbitlang/core/json.Json
Json, @moonbitlang/core/json.JsonPath
JsonPath) -> NodeRequest raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

NodeRequest::not_equal

source

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

NodeRequest::to_json

source

fn NodeRequest::to_json(NodeRequest) -> @moonbitlang/core/json.Json
Json

NodeRequest::to_repr

source

fn NodeRequest::to_repr(NodeRequest) -> @moonbitlang/core/debug.Repr
Repr

ObserverSnapshot

source

pub(all) struct ObserverSnapshot {
  process_rows : Array[ProcessRow]
  memory : MemorySummary
  ets_rows : Array[EtsRow]
  ports : PortSummary
} derive(Eq, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson, @moonbitlang/core/json.ToJson
ToJson)

观察器快照(五面拉全链载荷——refresh 编排对位)

ObserverSnapshot::equal

source

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

ObserverSnapshot::from_json

source

fn ObserverSnapshot::from_json(@moonbitlang/core/json.Json
Json, @moonbitlang/core/json.JsonPath
JsonPath) -> ObserverSnapshot raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

ObserverSnapshot::not_equal

source

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

ObserverSnapshot::to_json

source

fn ObserverSnapshot::to_json(ObserverSnapshot) -> @moonbitlang/core/json.Json
Json

ObserverSnapshot::to_repr

source

fn ObserverSnapshot::to_repr(ObserverSnapshot) -> @moonbitlang/core/debug.Repr
Repr

PortSummary

source

pub(all) struct PortSummary {
  count : Int
  names : Array[String]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson, @moonbitlang/core/json.ToJson
ToJson)

端口摘要(端口数+端口名清单——骨架形)

PortSummary::equal

source

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

PortSummary::from_json

source

fn PortSummary::from_json(@moonbitlang/core/json.Json
Json, @moonbitlang/core/json.JsonPath
JsonPath) -> PortSummary raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

PortSummary::not_equal

source

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

PortSummary::to_json

source

fn PortSummary::to_json(PortSummary) -> @moonbitlang/core/json.Json
Json

PortSummary::to_repr

source

fn PortSummary::to_repr(PortSummary) -> @moonbitlang/core/debug.Repr
Repr

ProcessRow

source

pub(all) struct ProcessRow {
  pid : String
  name : String
  memory_bytes : Int
  message_queue_len : Int
  reductions : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson, @moonbitlang/core/json.ToJson
ToJson)

进程行(pid 标识+name+内存+消息队列长——五键简化路 v2)

ProcessRow::equal

source

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

ProcessRow::from_json

source

fn ProcessRow::from_json(@moonbitlang/core/json.Json
Json, @moonbitlang/core/json.JsonPath
JsonPath) -> ProcessRow raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

ProcessRow::not_equal

source

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

ProcessRow::to_json

source

fn ProcessRow::to_json(ProcessRow) -> @moonbitlang/core/json.Json
Json

ProcessRow::to_repr

source

fn ProcessRow::to_repr(ProcessRow) -> @moonbitlang/core/debug.Repr
Repr

fetch_ets

source

let fetch_ets : @moonbit-community/proton_contract.Command
Command[NodeRequest, Array[EtsRow]]

fetch_memory

source

let fetch_memory : @moonbit-community/proton_contract.Command
Command[NodeRequest, MemorySummary]

fetch_ports

source

let fetch_ports : @moonbit-community/proton_contract.Command
Command[NodeRequest, PortSummary]

fetch_processes

source

let fetch_processes : @moonbit-community/proton_contract.Command
Command[NodeRequest, Array[ProcessRow]]

命令描述符五词(proton_contract.Command[Request, Reply] 形—— 照 todo_contract list_todos 形;backend registrar.bind 对位)

fetch_snapshot

source

let fetch_snapshot : @moonbit-community/proton_contract.Command
Command[NodeRequest, ObserverSnapshot]

Source Files

observer_contract.mbt

Install

Download zip

Shared typed contracts for Proton App.

thy1016

Apache-2.0

Updated 9 hours ago

6 downloads

Site source Report issue Modules Skills CLI Build queue Statistics

moonbit-observer-proton-shared

#moonbit-observer-proton（模块）

#ViewError

#ViewError::equal

#ViewError::from_json

#ViewError::not_equal

#ViewError::to_json

#ViewError::to_repr

#EtsRow

#EtsRow::equal

#EtsRow::from_json

#EtsRow::not_equal

#EtsRow::to_json

#EtsRow::to_repr

#MemorySummary

#MemorySummary::equal

#MemorySummary::from_json

#MemorySummary::not_equal

#MemorySummary::to_json

#MemorySummary::to_repr

#NodeRequest

#NodeRequest::equal

#NodeRequest::from_json

#NodeRequest::not_equal

#NodeRequest::to_json

#NodeRequest::to_repr

#ObserverSnapshot

#ObserverSnapshot::equal

#ObserverSnapshot::from_json

#ObserverSnapshot::not_equal

#ObserverSnapshot::to_json

#ObserverSnapshot::to_repr

#PortSummary

#PortSummary::equal

#PortSummary::from_json

#PortSummary::not_equal

#PortSummary::to_json

#PortSummary::to_repr

#ProcessRow

#ProcessRow::equal

#ProcessRow::from_json

#ProcessRow::not_equal

#ProcessRow::to_json

#ProcessRow::to_repr

#fetch_ets

#fetch_memory

#fetch_ports

#fetch_processes

#fetch_snapshot

Source Files

ViewError

ViewError::equal

ViewError::from_json

ViewError::not_equal

ViewError::to_json

ViewError::to_repr

EtsRow

EtsRow::equal

EtsRow::from_json

EtsRow::not_equal

EtsRow::to_json

EtsRow::to_repr

MemorySummary

MemorySummary::equal

MemorySummary::from_json

MemorySummary::not_equal

MemorySummary::to_json

MemorySummary::to_repr

NodeRequest

NodeRequest::equal

NodeRequest::from_json

NodeRequest::not_equal

NodeRequest::to_json

NodeRequest::to_repr

ObserverSnapshot

ObserverSnapshot::equal

ObserverSnapshot::from_json

ObserverSnapshot::not_equal

ObserverSnapshot::to_json

ObserverSnapshot::to_repr

PortSummary

PortSummary::equal

PortSummary::from_json

PortSummary::not_equal

PortSummary::to_json

PortSummary::to_repr

ProcessRow

ProcessRow::equal

ProcessRow::from_json

ProcessRow::not_equal

ProcessRow::to_json

ProcessRow::to_repr

fetch_ets

fetch_memory

fetch_ports

fetch_processes

fetch_snapshot