Header menu logo XParsec

ErrorType<'T, 'State> Type

Describes why a parser failed. The default formatParseError renders these in a tree, but consumers are free to pattern-match and emit their own format.

Union cases

Union case Description

Empty

Full Usage: Empty

Unspecified failure — analogous to FParsec's "empty error message list". Produced by `pzero`. Aggregating combinators filter `Empty` children before constructing nested errors, and the default formatter renders nothing.

EndOfInput

Full Usage: EndOfInput

The parser hit end-of-input but expected more.

Expected 'T

Full Usage: Expected 'T

Parameters:
    Item : 'T

A specific item was expected at this position.

Item : 'T

ExpectedOneOf 'T seq

Full Usage: ExpectedOneOf 'T seq

Parameters:
    Item : 'T seq

One of several alternative items was expected.

Item : 'T seq

ExpectedSeq 'T seq

Full Usage: ExpectedSeq 'T seq

Parameters:
    Item : 'T seq

A specific sequence of items was expected.

Item : 'T seq

ExpectedSeqOneOf 'T seq seq

Full Usage: ExpectedSeqOneOf 'T seq seq

Parameters:
    Item : 'T seq seq

One of several alternative sequences was expected.

Item : 'T seq seq

Message string

Full Usage: Message string

Parameters:
    Item : string

A free-form parser-supplied message.

Item : string

Nested(parent, children)

Full Usage: Nested(parent, children)

Parameters:

A `parent` error caused by the listed `children` (typical for combinators like `<|>`, `choice`, and the `*Till` family that aggregate sub-errors).

parent : ErrorType<'T, 'State>
children : ParseError<'T, 'State> list

Unexpected 'T

Full Usage: Unexpected 'T

Parameters:
    Item : 'T

An item was encountered that should not have been.

Item : 'T

UnexpectedSeq 'T seq

Full Usage: UnexpectedSeq 'T seq

Parameters:
    Item : 'T seq

A sequence of items was encountered that should not have been.

Item : 'T seq

Instance members

Instance member Description

this.IsEmpty

Full Usage: this.IsEmpty

Returns: bool
Returns: bool

this.IsEndOfInput

Full Usage: this.IsEndOfInput

Returns: bool
Returns: bool

this.IsExpected

Full Usage: this.IsExpected

Returns: bool
Returns: bool

this.IsExpectedOneOf

Full Usage: this.IsExpectedOneOf

Returns: bool
Returns: bool

this.IsExpectedSeq

Full Usage: this.IsExpectedSeq

Returns: bool
Returns: bool

this.IsExpectedSeqOneOf

Full Usage: this.IsExpectedSeqOneOf

Returns: bool
Returns: bool

this.IsMessage

Full Usage: this.IsMessage

Returns: bool
Returns: bool

this.IsNested

Full Usage: this.IsNested

Returns: bool
Returns: bool

this.IsUnexpected

Full Usage: this.IsUnexpected

Returns: bool
Returns: bool

this.IsUnexpectedSeq

Full Usage: this.IsUnexpectedSeq

Returns: bool
Returns: bool

Type something to start searching.