An Nld a is a parser that produces values of type a from a sequence of tokens. It explores multiple parse branches lazily, preferring matches where tokens appear in the specified order and closer together.

Run a parser on TokenPositions and return all results.

Run a parser on a list of tokens and return all results. Results are ordered by priority (best matches first).

runList (word "hello") [ "hello", "world" ]
--> [ "hello" ]


runList (tuple2 (word "delete") (word "file")) [ "file", "delete" ]
--> [ ( "delete", "file" ) ]

Run a parser and take only the first n results.

runTake 1 (word "cat") [ "the", "cat", "sat" ]
--> [ "cat" ]

Match a specific word/token.

runList (word "delete") [ "please", "delete", "this" ]
--> [ "delete" ]

Match any of the given words, preferring earlier ones in the list. Useful for synonyms.

runList (words [ "delete", "remove", "erase" ]) [ "please", "erase", "this" ]
--> [ "delete" ]

The result is canonicalized to the first word in the list.

Match any token and return it.

runTake 1 token [ "anything" ]
--> [ "anything" ]

Match a natural number (non-negative integer).

runList (tuple2 (word "buy") nat) [ "buy", "3", "apples" ]
--> [ ( "buy", 3 ) ]

Match tokens satisfying a predicate.

runList (tokenMatching (String.endsWith ".txt")) [ "open", "report.txt" ]
--> [ "report.txt" ]

Match any of several weighted tokens. Lower weights are preferred.

runTake 1 (minimalToken [ ( 0.0, "delete" ), ( 1.0, "remove" ) ]) [ "remove", "delete" ]
--> [ "delete" ]

Match a specific word and return both the word and its position.

runList (indexedWord "cat") [ "the", "cat", "sat" ]
--> [ ( "cat", 1 ) ]

Match any of the given words and return the canonical (first) word with its position.

Note: Like words, this canonicalizes the result to the first word in the list. For example, indexedWords ["hello", "hi"] with input ["hi"] returns [("hello", 0)].

Match any token and return it with its position.

Match a natural number and return it with its position.

Match tokens satisfying a predicate and return with position.

A parser that always succeeds with the given value without consuming any tokens.

This is the fundamental building block for applicative-style parsing with andMap.

runList (succeed 42) [ "any", "tokens" ]
--> [ 42 ]


-- Use with choice for default values:
runList (choice [ nat, succeed 1 ]) [ "not-a-number" ]
--> [ 1 ]

Transform the result of a parser.

runList (map String.toUpper (word "hello")) [ "hello" ]
--> [ "HELLO" ]

Combine two parsers.

Combine three parsers.

Sequence two parsers. The second parser can depend on the result of the first.

Apply a parser producing a function to a parser producing a value.

This enables pipe-style composition for building parsers with arbitrary arity:

runList
    (succeed Tuple.pair
        |> andMap (word "buy")
        |> andMap nat
    )
    [ "buy", "3" ]
--> [ ( "buy", 3 ) ]

Works with any number of fields - no need for map4, map5, etc:

runList
    (succeed (\a b c -> { x = a, y = b, z = c })
        |> andMap (word "a")
        |> andMap (word "b")
        |> andMap (word "c")
    )
    [ "a", "b", "c" ]
--> [ { x = "a", y = "b", z = "c" } ]

Combine two parsers into a tuple.

runList (tuple2 (word "delete") (word "file")) [ "delete", "file" ]
--> [ ( "delete", "file" ) ]

Combine three parsers into a tuple.

Try multiple parsers and return all successful parses.

runList (choice [ word "delete", word "add" ]) [ "delete" ]
--> [ "delete" ]

Match zero or more occurrences of a parser.

Returns all prefixes of the greedy (in-order) match:

• For repeat nat with ["1", "2", "3"], returns: [[1, 2, 3], [1, 2], [1], []]

The greedy collection always takes elements in position order.

Get autocomplete suggestions as a Peach.

This walks the parse tree, collecting suggestions at every point where the parser fails due to missing tokens. The result is a lazy stream of suggestion sets, ordered by parse weight.

Get autocomplete suggestions for incomplete input. Returns a list of sets of tokens that could complete the parse.

topK 5 (word "buy") []
-- Returns [ Set.fromList [ "buy" ] ]


topK 5 (tuple2 (word "buy") (word "apples")) [ "buy" ]
-- Returns [ Set.fromList [ "apples" ] ]

This explores the parse tree lazily, finding all points where the parser needs tokens that aren't present in the input.