lamb

Types

pub type Access {
  Public
  Protected
  Private
}

</>

pub type Partial(record) {
  Records(List(record), Step)
  End(List(record))
}

</>

pub type Step

opaque </>

pub opaque type Table(index, record)

</>

pub fn all(
  from table: Table(a, b),
  where queries: List(Query(a, b)),
) -> List(c)

</>

pub fn batch(
  from table: Table(a, b),
  by limit: Int,
  where queries: List(Query(a, b)),
) -> Partial(b)

</>

pub fn continue(step: Step) -> Partial(a)

</>

pub fn count(
  from table: Table(a, b),
  where queries: List(Query(a, b)),
) -> Int

</>

pub fn create_table(
  access: Access,
  name: String,
) -> Result(Table(a, b), Nil)

</>

pub fn delete(table: Table(a, b), index: a) -> Nil

</>

pub fn delete_table(table: Table(a, b)) -> Nil

</>

pub fn from_name(name: String) -> Result(Table(a, b), Nil)

</>

pub fn get(table: Table(a, b), index: a) -> Result(b, Nil)

</>

pub fn insert(table: Table(a, b), index: a, record: b) -> Nil

</>

pub fn is_alive(table: Table(a, b)) -> Bool