Stdio

[Source]

actor tag Stdio is
  Channel tag

Implements

• Channel tag

---

Constructors

create

[Source]

new tag create(
  out': OutStream tag,
  stdin': InputStream tag)
: Stdio tag^

Parameters

• out': OutStream tag
• stdin': InputStream tag

Returns

• Stdio tag^

---

Public fields

let out: OutStream tag

[Source]

---

let stdin: InputStream tag

[Source]

---

Public Behaviours

set_notifier

[Source]

be set_notifier(
  notifier: Notifier tag)

Parameters

• notifier: Notifier tag

---

send

[Source]

be send(
  msg: Message val)

Parameters

• msg: Message val

---

log

[Source]

Log data to the editor via window/logMessage

be log(
  data: String val,
  message_type: (Err val | Warning val | Info val | 
    Log val | Debug val) = reference)

Parameters

• data: String val
• message_type: (Err val | Warning val | Info val | Log val | Debug val) = reference

---

dispose

[Source]

be dispose()

---