Zafu/Text/Parse/Error

source code:

• src/Zafu/Text/Parse/Error.bosatsu

Index

• Types: Caret, Error, Expectation
• Values: expectation_eq, merge_contexts, merge_errors, merge_expectations, push_context, replace_expected

Types

Caret

type Caret

Constructors

• Caret(offset: Int, line: Int, column: Int)

Error

type Error

Constructors

• Error(input: String, failed_at: Int, expected: List[Expectation], contexts: List[String])

Expectation

type Expectation

Constructors

• ExpectedChar(ch: Char)
• ExpectedEnd
• ExpectedPredicate(label: String)
• ExpectedString(value: String)
• FailWith(message: String)
• InContext(label: String)
• InRange(lower: Char, upper: Char)

Values

expectation_eq

references: Bool, Expectation

def expectation_eq(left: Expectation, right: Expectation) -> Bool

merge_contexts

references: List, String

def merge_contexts(left: List[String], right: List[String]) -> List[String]

merge_errors

references: Error

def merge_errors(left: Error, right: Error) -> Error

merge_expectations

references: Expectation, List

def merge_expectations(left: List[Expectation], right: List[Expectation]) -> List[Expectation]

push_context

references: Error, String

def push_context(err: Error, ctx: String) -> Error

replace_expected

references: Error, String

def replace_expected(err: Error, expected_label: String) -> Error