Skip to content

Readline

[Source]

Line editing, history, and tab completion.

class ref Readline is
  ANSINotify ref

Implements


Constructors

create

[Source]

Create a readline handler to be passed to stdin. It begins blocked. Set an initial prompt on the ANSITerm to begin processing.

new iso create(
  notify: ReadlineNotify iso,
  out: OutStream tag,
  path: (FilePath val | None val) = reference,
  maxlen: USize val = 0)
: Readline iso^

Parameters

Returns


Public Functions

apply

[Source]

Receives input.

fun ref apply(
  term: ANSITerm ref,
  input: U8 val)
: None val

Parameters

Returns


prompt

[Source]

Set a new prompt, unblock, and handle the pending queue.

fun ref prompt(
  term: ANSITerm ref,
  value: String val)
: None val

Parameters

Returns


closed

[Source]

No more input is available.

fun ref closed()
: None val

Returns


up

[Source]

Previous line.

fun ref up(
  ctrl: Bool val = false,
  alt: Bool val = false,
  shift: Bool val = false)
: None val

Parameters

  • ctrl: Bool val = false
  • alt: Bool val = false
  • shift: Bool val = false

Returns


down

[Source]

Next line.

fun ref down(
  ctrl: Bool val = false,
  alt: Bool val = false,
  shift: Bool val = false)
: None val

Parameters

  • ctrl: Bool val = false
  • alt: Bool val = false
  • shift: Bool val = false

Returns


left

[Source]

Move left.

fun ref left(
  ctrl: Bool val = false,
  alt: Bool val = false,
  shift: Bool val = false)
: None val

Parameters

  • ctrl: Bool val = false
  • alt: Bool val = false
  • shift: Bool val = false

Returns


[Source]

Move right.

fun ref right(
  ctrl: Bool val = false,
  alt: Bool val = false,
  shift: Bool val = false)
: None val

Parameters

  • ctrl: Bool val = false
  • alt: Bool val = false
  • shift: Bool val = false

Returns


home

[Source]

Beginning of the line.

fun ref home(
  ctrl: Bool val = false,
  alt: Bool val = false,
  shift: Bool val = false)
: None val

Parameters

  • ctrl: Bool val = false
  • alt: Bool val = false
  • shift: Bool val = false

Returns


end_key

[Source]

End of the line.

fun ref end_key(
  ctrl: Bool val = false,
  alt: Bool val = false,
  shift: Bool val = false)
: None val

Parameters

  • ctrl: Bool val = false
  • alt: Bool val = false
  • shift: Bool val = false

Returns


delete

[Source]

Forward delete.

fun ref delete(
  ctrl: Bool val = false,
  alt: Bool val = false,
  shift: Bool val = false)
: None val

Parameters

  • ctrl: Bool val = false
  • alt: Bool val = false
  • shift: Bool val = false

Returns


insert

[Source]

fun ref insert(
  ctrl: Bool val,
  alt: Bool val,
  shift: Bool val)
: None val

Parameters

Returns


page_up

[Source]

fun ref page_up(
  ctrl: Bool val,
  alt: Bool val,
  shift: Bool val)
: None val

Parameters

Returns


page_down

[Source]

fun ref page_down(
  ctrl: Bool val,
  alt: Bool val,
  shift: Bool val)
: None val

Parameters

Returns


fn_key

[Source]

fun ref fn_key(
  i: U8 val,
  ctrl: Bool val,
  alt: Bool val,
  shift: Bool val)
: None val

Parameters

Returns


size

[Source]

fun ref size(
  rows: U16 val,
  cols: U16 val)
: None val

Parameters

Returns