Skip to content

~/bend-docscommunity

core.bend checks

raw source on the hub · import 0x9fc0cec754888f0fecabce899ddf2ee5/core.bend as Core

1 import

import Base

Types

type CExp source · line 12 · raw

Data

CVar
```
@idx:U32 -> CExp
```
CLit
```
@val:Nat -> CExp
```
CAdd
```
@a:CExp -> @b:CExp -> CExp
```
CLam
```
@body:CExp -> CExp
```
CApp
```
@f:CExp -> @x:CExp -> CExp
```
CLet
```
@v:CExp -> @b:CExp -> CExp
```
CCase
```
@s:CExp -> @z:CExp -> @sd:CExp -> CExp
```

type CVal source · line 21 · raw

Data

VNum
```
@v:Nat -> CVal
```

VClos

@body:CExp -> @env:List<&2, CVal> -> CVal

VThunk
```
@e:CExp -> @env:List<&2, CVal> -> CVal
```

type CK source · line 26 · raw

Data

CDone
```
CK
```
CAddR
```
@a:CVal -> @k:CK -> CK
```

CAppA

@x:CExp -> @env:List<&2, CVal> -> @k:CK -> CK

CCaseK

@z:CExp -> @sd:CExp -> @env:List<&2, CVal> -> @k:CK -> CK

type CTask source · line 32 · raw

Data

CEval

@e:CExp -> @env:List<&2, CVal> -> @k:CK -> CTask

CRet
```
@k:CK -> @v:CVal -> CTask
```

CLook

@n:Nat -> @env:List<&2, CVal> -> @k:CK -> CTask

Definitions

def c_num_add source · line 37 · raw

@+a:CVal -> @+b:CVal -> CVal

def c_run source · line 44 · raw

@+f:Nat -> @+t:CTask -> CVal

def c_eval source · line 104 · raw

@+f:Nat -> @+e:CExp -> CVal

def c_batch source · line 107 · raw

@+f:Nat -> @+es:List<&2, CExp> -> List<&2, CVal>

def c_batch_gpu source · line 115 · raw

@+f:Nat -> @+es:List<&2, CExp> -> List<&2, CVal>

def main source · line 118 · raw

List<&2, CVal>