moonrockz/gleam-parser/fuel

README
U
Arg
U
ArgNames
U
Assert
U
AssignName
U
Assignment
U
AssignmentKind
U
BinOp
U
BitArrayOption
U
BitArraySegment
U
BitArraySize
U
Budget
U
CallArg
U
Clause
U
ClauseGuard
U
Comment
U
CommentKind
U
Config
U
ConfigError
U
Constant
U
Control
U
CustomType
U
DecodeError
U
Definition
U
DefinitionCst
U
DefinitionKind
U
Deprecation
U
Diagnostic
U
Dialect
U
Documentation
U
EnterEvent
U
Environment
U
Event
U
EventReader
U
EventSource
U
Expr
U
External
U
FormatError
U
Fuel
U
FuelExhausted
U
Function
U
FunctionLiteralKind
U
Handler
U
ImplicitCallArgOrigin
U
Import
U
ImportAlias
U
IncorrectNamePosition
U
IntOperator
U
Keyword
U
Label
U
LeaveEvent
U
LexicalErrorType
U
Module
U
ModuleConstant
U
ModuleCst
U
ModuleExtra
U
NodePath
U
NodeRef
U
Operation
U
OracleOutput
U
ParseError
U
ParseErrorDetails
U
ParseErrorType
U
ParseResult
U
Parsed
U
Partial
U
PathStep
U
Pattern
U
Position
U
Publicity
U
RecordBeingUpdated
U
RecordConstructor
U
RecordConstructorArg
U
RecordUpdateArg
U
Rule
U
Severity
U
Source
U
SourceText
U
SpannedString
U
Spent
U
SrcSpan
U
Statement
U
StringPrefixLeftSideAssignment
U
TailPattern
U
Target
U
TargetedDefinition
U
TodoKind
U
Token
U
TokenKind
U
TokenStream
U
Tree
U
TreeCursor
U
Trivia
U
TypeAlias
U
TypeAst
U
TypeAstConstructor
U
TypeAstConstructorName
U
TypeAstFn
U
TypeAstHole
U
TypeAstTuple
U
TypeAstVar
U
UnicodeEscapeError
U
UnqualifiedImport
U
Use
U
UseAssignment
U
Visitor
U
Warning
V
accept
V
canonical
V
decode_expr
V
decode_oracle_output
V
decode_parsed
V
default_budget
V
diagnostic_description
V
encode_diagnostics
V
encode_expr
V
encode_oracle_output
V
encode_parsed
V
fold
V
format
V
format_parsed
V
kind_table
V
parse_float_value
V
parse_int_value
V
parse_module
V
parse_text
V
push_events
V
reduce
V
reduce_with_fields
V
render_plain
V
render_terminal
V
tokenize
V
tokenize_text
V
version
V
walk

moonrockz/gleam-parser/fuel does not have a README file

FuelExhausted

pub(all) suberror FuelExhausted {
  FuelExhausted(budget~ : Budget, spent~ : Array[Spent])
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The budget ran out: spent is the stack at that moment, outermost first.

Budget

source

pub struct Budget(Int) derive(Compare, Eq, @moonbitlang/core/debug.Debug
Debug)

Units of fuel, at least 1.

test {
  debug_inspect(@fuel.Budget::new(100).map(b => b.units()), content="Some(100)")
  debug_inspect(@fuel.Budget::new(0), content="None")
}

Budget::new

source

fn Budget::new(units : Int) -> Budget?

A budget of units; None below 1.

Budget::units

source

fn Budget::units(self : Budget) -> Int

The number of units.

Fuel

source

pub struct Fuel {
  budget : Budget
  left : Int
  ops : @moonbitlang/core/list.List
List[Operation]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

An immutable fuel value: the budget, the units not yet spent, and the operations on the stack (innermost first). spend gives a new value; there is no restore: the enclosing operation keeps its own Fuel.

test {
  let f = @fuel.Fuel::new(budget=@fuel.Budget::new(2).unwrap())
  let inner = f.spend(@fuel.Operation::new("expression"))
  inspect(inner.left(), content="1")
  inspect(f.left(), content="2")
}

Fuel::budget

source

fn Fuel::budget(self : Fuel) -> Budget

The budget this fuel started with.

Fuel::left

source

fn Fuel::left(self : Fuel) -> Int

The units not yet spent.

Fuel::new

source

fn Fuel::new(budget? : Budget) -> Fuel

A full budget (default_budget when none is given).

Fuel::spend

source

fn Fuel::spend(self : Fuel, op : Operation) -> Fuel raise FuelExhausted

Enter a nested operation: one unit less, op on the stack. Raises FuelExhausted with the budget and the stack when no unit is left.

Fuel::spent

source

fn Fuel::spent(self : Fuel) -> Array[Spent]

The distinct operations on the stack, outermost first, each with the number of levels it holds.

Operation

source

pub struct Operation(String) derive(Eq, Hash, @moonbitlang/core/debug.Debug
Debug)

The name of a fuel-checked operation (expression, pattern, ...). Each package that spends fuel defines its operations as constants.

Operation::name

source

fn Operation::name(self : Operation) -> String

The operation's name.

Operation::new

source

fn Operation::new(name : String) -> Operation

An operation with this name; the name appears in FuelExhausted.

Spent

source

pub(all) struct Spent {
  operation : Operation
  levels : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

One operation on the stack with the number of nested levels it holds.

default_budget

source

let default_budget : Budget

The default budget, 100 units: measured safe on wasm, the smallest stack (it overflows at about 140 nested lists). Raise it only on native or js.

Source Files

fuel.mbt

Site source Report issue Packages Build queue Skills Statistics

#FuelExhausted

#Budget

#Budget::new

#Budget::units

#Fuel

#Fuel::budget

#Fuel::left

#Fuel::new

#Fuel::spend

#Fuel::spent

#Operation

#Operation::name

#Operation::new

#Spent

#default_budget

Source Files

FuelExhausted

Budget

Budget::new

Budget::units

Fuel

Fuel::budget

Fuel::left

Fuel::new

Fuel::spend

Fuel::spent

Operation

Operation::name

Operation::new

Spent

default_budget