nibble/pratt

Types

Config

pub opaque type Config(a, tok, ctx)

Operator

</>

pub opaque type Operator(a, tok, ctx)

Functions

expression

</>

pub fn expression(one_of first: List(
    fn(Config(a, b, c)) -> Parser(a, b, c),
  ), and_then then: List(Operator(a, b, c)), dropping spaces: Parser(
    Nil,
    b,
    c,
  )) -> Parser(a, b, c)

infix_left

</>

pub fn infix_left(precedence: Int, operator: Parser(Nil, a, b), apply: fn(
    c,
    c,
  ) -> c) -> Operator(c, a, b)

infix_right

</>

pub fn infix_right(precedence: Int, operator: Parser(Nil, a, b), apply: fn(
    c,
    c,
  ) -> c) -> Operator(c, a, b)

postfix

</>

pub fn postfix(precedence: Int, operator: Parser(Nil, a, b), apply: fn(
    c,
  ) -> c) -> Operator(c, a, b)

prefix

</>

pub fn prefix(precedence: Int, operator: Parser(Nil, a, b), apply: fn(
    c,
  ) -> c) -> fn(Config(c, a, b)) -> Parser(c, a, b)

sub_expression

</>

pub fn sub_expression(config: Config(a, b, c), precedence: Int) -> Parser(
  a,
  b,
  c,
)