mylsm.bend fails

raw source on the hub · import 0x05fa0e42448e8e221df592b204de523d/mylsm.bend as Mylsm

10 imports

import Base
import ./src/Keys.bend as Keys
import ./src/MemTable.bend as MemTable
import ./src/SortedRun.bend as SortedRun
import ./src/Sstable.bend as Sstable
import ./src/SstFile.bend as SstFile
import ./src/Wal.bend as Wal
import ./src/Manifest.bend as Manifest
import ./src/MergeIter.bend as MergeIter
import ./src/Db.bend as Db

Types

type Sess source · line 68 · raw

@-a:Quant -> @-A:Kind(a) -> Kind(a <&> &1)

--- Level 1: Sess session monad (primary API) ---

Sess

@-a:Quant -> @-A:Kind(a) -> @run:(@_:0x05fa0e42448e8e221df592b204de523d/src/Db.Db -> Pair(0x05fa0e42448e8e221df592b204de523d/src/Db.Db, A)) -> Sess<a, A>

Definitions

def cmp source · line 13 · raw

@+a:String -> @+b:String -> Cmp

--- Level 2: part control (1:1 delegates) ---

def eq source · line 16 · raw

@+a:String -> @+b:String -> Bool

def mem_empty source · line 19 · raw

0x05fa0e42448e8e221df592b204de523d/src/MemTable.MemTable

def mem_put source · line 22 · raw

@t:0x05fa0e42448e8e221df592b204de523d/src/MemTable.MemTable -> @k:String -> @v:String -> 0x05fa0e42448e8e221df592b204de523d/src/MemTable.MemTable

def mem_del source · line 25 · raw

@t:0x05fa0e42448e8e221df592b204de523d/src/MemTable.MemTable -> @k:String -> 0x05fa0e42448e8e221df592b204de523d/src/MemTable.MemTable

def mem_get source · line 28 · raw

@t:0x05fa0e42448e8e221df592b204de523d/src/MemTable.MemTable -> @+k:String -> Maybe<&2, String>

def mem_count source · line 31 · raw

@t:0x05fa0e42448e8e221df592b204de523d/src/MemTable.MemTable -> Nat

def sort_newest source · line 34 · raw

@entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry>

def range_scan source · line 37 · raw

@+merged:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @lo:String -> @hi:String -> List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry>

def sst_build source · line 40 · raw

@+entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @est_keys:Nat -> 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table

def sst_from_sorted_unique source · line 43 · raw

@+entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table

def sst_build_sorted source · line 46 · raw

@+entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @est_keys:Nat -> 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table

def wal_encode source · line 49 · raw

@b:0x05fa0e42448e8e221df592b204de523d/src/Wal.Batch -> String

def wal_decode source · line 52 · raw

@+s:String -> Maybe<&2, 0x05fa0e42448e8e221df592b204de523d/src/Wal.Batch>

def sst_serialize source · line 55 · raw

@+entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @+level:Nat -> String

def sst_parse source · line 58 · raw

@+encoded:String -> Maybe<&2, 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table>

def mfst_serialize source · line 61 · raw

@m:0x05fa0e42448e8e221df592b204de523d/src/Manifest.Manifest -> String

def mfst_parse source · line 64 · raw

@+s:String -> Maybe<&2, 0x05fa0e42448e8e221df592b204de523d/src/Manifest.Manifest>

def Sess.pure source · line 71 · raw

@-a:Quant -> @-A:Kind(a) -> @x:A -> Sess<a, A>

def Sess.run_go source · line 74 · raw

@-b:Quant -> @-B:Kind(b) -> @s:Sess<b, B> -> @st:0x05fa0e42448e8e221df592b204de523d/src/Db.Db -> Pair(0x05fa0e42448e8e221df592b204de523d/src/Db.Db, B)

def Sess.apply source · line 78 · raw

@-a:Quant -> @-A:Kind(a) -> @-b:Quant -> @-B:Kind(b) -> @p:Pair(0x05fa0e42448e8e221df592b204de523d/src/Db.Db, A) -> @f:(@_:A -> Sess<b, B>) -> Pair(0x05fa0e42448e8e221df592b204de523d/src/Db.Db, B)

def Sess.bind source · line 82 · raw

@-a:Quant -> @-A:Kind(a) -> @-B:Kind(a) -> @m:Sess<a, A> -> @f:(@_:A -> Sess<a, B>) -> Sess<a, B>

def open source · line 85 · raw

@+dir:String -> 0x05fa0e42448e8e221df592b204de523d/src/Db.Db

def put_go source · line 88 · raw

@+db:0x05fa0e42448e8e221df592b204de523d/src/Db.Db -> @+k:String -> @+v:String -> 0x05fa0e42448e8e221df592b204de523d/src/Db.Db

def del_go source · line 93 · raw

@+db:0x05fa0e42448e8e221df592b204de523d/src/Db.Db -> @+k:String -> 0x05fa0e42448e8e221df592b204de523d/src/Db.Db

def batch_go source · line 98 · raw

@+db:0x05fa0e42448e8e221df592b204de523d/src/Db.Db -> @+muts:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/Wal.Mut> -> 0x05fa0e42448e8e221df592b204de523d/src/Db.Db

def sget_go source · line 103 · raw

@+db:0x05fa0e42448e8e221df592b204de523d/src/Db.Db -> @+k:String -> Pair(0x05fa0e42448e8e221df592b204de523d/src/Db.Db, Maybe<&2, String>)

def sput source · line 106 · raw

@+k:String -> @+v:String -> Sess<&2, Unit>

def sdel source · line 109 · raw

@+k:String -> Sess<&2, Unit>

def sbatch source · line 112 · raw

@+muts:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/Wal.Mut> -> Sess<&2, Unit>

def sget source · line 115 · raw

@+k:String -> Sess<&2, Maybe<&2, String>>

def run_sess source · line 118 · raw

@-a:Quant -> @-A:Kind(a) -> @st:0x05fa0e42448e8e221df592b204de523d/src/Db.Db -> @s:Sess<a, A> -> Pair(0x05fa0e42448e8e221df592b204de523d/src/Db.Db, A)

def value_of source · line 121 · raw

@-a:Quant -> @-A:Kind(a) -> @p:Pair(0x05fa0e42448e8e221df592b204de523d/src/Db.Db, A) -> A

def encode_batch source · line 125 · raw

@b:0x05fa0e42448e8e221df592b204de523d/src/Wal.Batch -> String