Terminal¶

Handles terminal escape codes from stdin.

actor tag Terminal

Constructors¶

create¶

[Source]

Create a new ANSI term.

new tag create(
  notify: TerminalNotify iso,
  source: DisposableActor tag,
  timers: Timers tag = reference,
  options: TermOptions val = reference)
: Terminal tag^

Parameters¶

notify: TerminalNotify iso
source: DisposableActor tag
timers: Timers tag = reference
options: TermOptions val = reference

Returns¶

Terminal tag^

Public Behaviours¶

apply¶

[Source]

Receives input from stdin.

be apply(
  data: Array[U8 val] iso)

Parameters¶

data: Array[U8 val] iso

prompt¶

[Source]

Pass a prompt along to the notifier.

be prompt(
  value: String val)

Parameters¶

value: String val

size¶

[Source]

be size()

input¶

[Source]

Pass the provided input to the notifier.

be input(
  input': U8 val)

Parameters¶

input': U8 val

dispose¶

[Source]

Stop accepting input, inform the notifier we have closed, and dispose of our source.

be dispose()