class Failure - Kiuatan 1.6.1-272798c

Skip to content

Kiuatan 1.6.1-272798c

class Failure

The result of a failed match.

class box Failure[S: (Any #read & Equatable[S]), optional D: Any #share, optional V: Any #share]

Constructors¶

create¶

new ref create(
  node': RuleNode[S, D, V] box,
  start': Loc[S] val,
  message': (String val | None val) = reference,
  inner': (Failure[S, D, V] box | None val) = reference,
  from_error': Bool val = false)
: Failure[S, D, V] ref^

Parameters¶

node': RuleNode[S, D, V] box
start': Loc[S] val
message': (String val | None val) = reference
inner': (Failure[S, D, V] box | None val) = reference
from_error': Bool val = false

Returns¶

Failure[S, D, V] ref^

Public fields¶

let node: RuleNode[S, D, V] box¶

let start: Loc[S] val¶

let message: (String val | None val)¶

let inner: (Failure[S, D, V] box | None val)¶

let from_error: Bool val¶

Public Functions¶

get_message¶

fun box get_message()
: String val

Returns¶

String val

string¶

fun box string()
: String iso^

Returns¶

String iso^