Functions — github.com/brendanzab/rust-nbe-for-mltt

hub / github.com/brendanzab/rust-nbe-for-mltt / functions

Functions404 in github.com/brendanzab/rust-nbe-for-mltt

⨍ Functions 404◇ Types & classes 69

Methodfrom

(src: &'a str)

crates/mltt-core/src/prim.rs:12

Methodfrom

(src: u32)

crates/mltt-core/src/meta.rs:22

Methodfrom

(src: u32)

crates/mltt-core/src/var.rs:59

Methodfrom

(src: usize)

crates/mltt-span/src/index/byte.rs:14

Methodfrom

(src: usize)

crates/mltt-span/src/index/line.rs:14

Methodfrom

(src: usize)

crates/mltt-span/src/index/column.rs:39

Methodfrom

(src: &Pattern<'file>)

crates/mltt-elaborate/src/clause.rs:228

Methodfrom_char_len_utf16

(ch: char)

crates/mltt-span/src/index/byte.rs:49

Methodfrom_char_len_utf8

(ch: char)

crates/mltt-span/src/index/byte.rs:45

Methodfrom_str

(source: Source, s: &str)

crates/mltt-span/src/span.rs:31

Methodfrom_str

( src: &str, line_start_byte: ByteIndex, column_byte: ByteIndex, )

crates/mltt-span/src/index/column.rs:11

Methodfrom_str_len_utf8

(s: &str)

crates/mltt-span/src/index/byte.rs:53

Functionfun_app_1

()

crates/mltt-parse/tests/parser.rs:293

Functionfun_app_2a

()

crates/mltt-parse/tests/parser.rs:303

Functionfun_app_2b

()

crates/mltt-parse/tests/parser.rs:314

Functionfun_app_implicit

()

crates/mltt-parse/tests/parser.rs:335

Functionfun_app_instance

()

crates/mltt-parse/tests/parser.rs:354

Functionfun_arrow_type

()

crates/mltt-parse/tests/parser.rs:180

Functionfun_arrow_type_fun_app

()

crates/mltt-parse/tests/parser.rs:199

Functionfun_arrow_type_nested

()

crates/mltt-parse/tests/parser.rs:188

Functionfun_intro

()

crates/mltt-parse/tests/parser.rs:227

Functionfun_intro_multi_params

()

crates/mltt-parse/tests/parser.rs:238

Functionfun_intro_multi_params_implicit

()

crates/mltt-parse/tests/parser.rs:251

Functionfun_intro_multi_params_instance

()

crates/mltt-parse/tests/parser.rs:272

Functionfun_ty

()

crates/mltt-parse/tests/parser.rs:118

Functionfun_ty_implicit

()

crates/mltt-parse/tests/parser.rs:144

Functionfun_ty_instance

()

crates/mltt-parse/tests/parser.rs:167

Functionhex_literal

()

crates/mltt-parse/tests/lexer.rs:129

Functionhole

()

crates/mltt-parse/tests/parser.rs:48

Functionif_expr

()

crates/mltt-parse/tests/parser.rs:100

Methodindex

(&self, index: FileId)

crates/mltt-span/src/file.rs:189

Methodinitial

Gives an empty span at the start of a source.

crates/mltt-span/src/span.rs:27

Functionint_literal

()

crates/mltt-parse/tests/parser.rs:69

Functionint_range_message

(radix: u8)

crates/mltt-elaborate/src/literal.rs:233

Functionis_bin_digit

(ch: char)

crates/mltt-parse/src/lexer.rs:63

Functionis_identifier_continue

(ch: char)

crates/mltt-parse/src/lexer.rs:56

Methodis_keyword

(&self, slice: &str)

crates/mltt-parse/src/token.rs:66

Methodis_whitespace

(&self)

crates/mltt-parse/src/token.rs:62

Functionkeywords

()

crates/mltt-parse/tests/lexer.rs:163

Functionlet_expr

()

crates/mltt-parse/tests/parser.rs:85

Functionline_doc

()

crates/mltt-parse/tests/lexer.rs:52

Functionline_span_sources

()

crates/mltt-span/src/file.rs:262

Functionline_starts

()

crates/mltt-span/src/file.rs:201

Methodliteral_intro

Construct a literal introduction.

crates/mltt-core/src/domain.rs:66

Methodliteral_intro

Construct a literal introduction.

crates/mltt-core/src/syntax.rs:110

Methodliteral_ty

Construct a literal type.

crates/mltt-core/src/domain.rs:61

Methodliteral_ty

Construct a literal type.

crates/mltt-core/src/syntax.rs:105

Methodlocation

(&self, file_id: FileId, byte: impl Into<ByteIndex>)

crates/mltt-span/src/file.rs:117

Methodlookup_entry

Lookup an entry in the environment.

crates/mltt-core/src/prim.rs:101

Functionmain

()

crates/mltt-cli/src/main.rs:7

Methodmerge

(self, other: Span<Source>)

crates/mltt-span/src/span.rs:35

Methodmeta

Construct a metavariable.

crates/mltt-core/src/domain.rs:51

Methodmeta

Construct a metavariable.

crates/mltt-core/src/syntax.rs:90

Methodname

Get the name of the file.

crates/mltt-span/src/file.rs:39

Methodnew

Create a new parser from an iterator of tokens.

crates/mltt-parse/src/parser.rs:204

Methodnew

Create a new lexer from the source file.

crates/mltt-parse/src/lexer.rs:110

Methodnew

( source: FileId, start: impl Into<ByteIndex>, slice: &'file str, )

crates/mltt-concrete/src/lib.rs:86

Methodnew

(names: var::Env<String>)

crates/mltt-core/src/pretty.rs:123

Methodnew

(term: Rc<Term>, values: var::Env<Rc<Value>>)

crates/mltt-core/src/domain.rs:124

Methodnew

Create a new context. We assume that the value and type environments are of the same length.

crates/mltt-core/src/validate.rs:32

Methodnew

Construct a new, empty environment.

crates/mltt-core/src/prim.rs:94

Methodnew

Create a new, empty environment.

crates/mltt-core/src/meta.rs:43

Methodnew

Create a new, empty environment.

crates/mltt-core/src/var.rs:16

Methodnew

( source: Source, start: impl Into<ByteIndex>, end: impl Into<ByteIndex>, )

crates/mltt-span/src/span.rs:13

Methodnew

Create a new, empty database.

crates/mltt-span/src/file.rs:67

Methodnew

( params: &'file [IntroParam<'file>], body_ty: Option<&'file Term<'file>>, body: &'fil

crates/mltt-elaborate/src/clause.rs:27

Functionnormalize_term

Fully normalize a term by first evaluating it, then reading it back.

crates/mltt-core/src/nbe.rs:365

Functionoct_literal

()

crates/mltt-parse/tests/lexer.rs:99

Functionparens

()

crates/mltt-parse/tests/parser.rs:110

Functionparse_float

( src: &SpannedString<'_>, )

crates/mltt-elaborate/src/literal.rs:351

Functionparse_int

(src: &SpannedString<'_>)

crates/mltt-elaborate/src/literal.rs:254

Functionparse_item

( tokens: impl Iterator<Item = Token<'file>> + 'file, )

crates/mltt-parse/src/parser.rs:81

Methodprim

Construct a primitive.

crates/mltt-core/src/domain.rs:56

Methodprim

Construct a primitive.

crates/mltt-core/src/syntax.rs:95

Functionrecord_intro

()

crates/mltt-parse/tests/parser.rs:414

Functionrecord_intro_fun_sugar

()

crates/mltt-parse/tests/parser.rs:435

Functionrecord_intro_trailing_semicolon

()

crates/mltt-parse/tests/parser.rs:464

Functionrecord_proj

()

crates/mltt-parse/tests/parser.rs:487

Functionrecord_proj_fun_app

()

crates/mltt-parse/tests/parser.rs:506

Functionrecord_proj_proj

()

crates/mltt-parse/tests/parser.rs:495

Functionrecord_type

()

crates/mltt-parse/tests/parser.rs:373

Functionrecord_type_trailing_semicolon

()

crates/mltt-parse/tests/parser.rs:392

Functionrun

Run the REPL with the given options.

crates/mltt-cli/src/repl.rs:27

Functionrun_elaborate_check_fail

(name: &str)

crates/mltt-test/src/support.rs:141

Functionrun_elaborate_check_pass

(name: &str)

crates/mltt-test/src/support.rs:124

Functionrun_elaborate_synth_fail

(name: &str)

crates/mltt-test/src/support.rs:177

Functionrun_elaborate_synth_pass

(name: &str)

crates/mltt-test/src/support.rs:160

Functionrun_sample

(name: &str)

crates/mltt-test/src/support.rs:104

Functionstring_literal

()

crates/mltt-parse/tests/parser.rs:53

Functionstring_literal

()

crates/mltt-parse/tests/lexer.rs:61

Methodsub

(self, other: u32)

crates/mltt-parse/src/parser.rs:167

Methodsub

(self, other: ByteIndex)

crates/mltt-span/src/index/byte.rs:36

Methodsub

(self, other: LineIndex)

crates/mltt-span/src/index/line.rs:36

Methodsub

(self, other: ColumnIndex)

crates/mltt-span/src/index/column.rs:61

Functionsymbols

()

crates/mltt-parse/tests/lexer.rs:195

Methodtake_diagnostics

Take the diagnostics from the lexer.

crates/mltt-parse/src/lexer.rs:130

Functionuniverse

()

crates/mltt-parse/tests/parser.rs:534

Methoduniverse

Construct a universe.

crates/mltt-core/src/domain.rs:71

Methoduniverse

Construct a universe.

crates/mltt-core/src/syntax.rs:115

Functionuniverse_level_0

()

crates/mltt-parse/tests/parser.rs:542

← previous next →301–400 of 404, ranked by callers