main.bend checks

raw source on the hub · import 0xf5507d46d06a1a8043dcb1a582194615/main.bend as Main

2 imports

import Base
import 0xd684886d10b431b9dce6c3b2d1ef1980/main.bend as V

Types

type Error source · line 4 · raw

Data

InvalidId
```
Error
```
Exhausted
```
Error
```

type Table source · line 8 · raw

Type

InternTable

@names:0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<String> -> @forward:Map<&2, Maybe<&2, U32>> -> Table

Definitions

def Table.bounded source · line 11 · raw

@limit:U32 -> Table

def Table.new source · line 14 · raw

Table

def metadata source · line 17 · raw

@m:Map<&2, Maybe<&2, U32>> -> @r:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<String>, U32) -> Pair(Table, U32)

def Table.length source · line 21 · raw

@t:Table -> Pair(Table, U32)

def Table.limit source · line 26 · raw

@t:Table -> Pair(Table, U32)

def found source · line 31 · raw

@v:0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<String> -> @r:Pair(Map<&2, Maybe<&2, U32>>, Maybe<&2, U32>) -> Pair(Table, Maybe<&2, U32>)

def Table.find source · line 35 · raw

@t:Table -> @name:String -> Pair(Table, Maybe<&2, U32>)

def inserted source · line 40 · raw

@m:Map<&2, Maybe<&2, U32>> -> @name:String -> @+id:U32 -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<String>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, Unit>) -> Pair(Table, Result<&1, &1, Error, U32>)

def append_name source · line 49 · raw

@m:Map<&2, Maybe<&2, U32>> -> @+name:String -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<String>, U32) -> Pair(Table, Result<&1, &1, Error, U32>)

def intern_found source · line 54 · raw

@v:0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<String> -> @name:String -> @pair:Pair(Map<&2, Maybe<&2, U32>>, Maybe<&2, U32>) -> Pair(Table, Result<&1, &1, Error, U32>)

def Table.intern source · line 63 · raw

@t:Table -> @+name:String -> Pair(Table, Result<&1, &1, Error, U32>)

def resolved source · line 68 · raw

@m:Map<&2, Maybe<&2, U32>> -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<String>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, String>) -> Pair(Table, Result<&1, &1, Error, String>)

def Table.resolve source · line 76 · raw

@t:Table -> @id:U32 -> Pair(Table, Result<&1, &1, Error, String>)