lamb

Types

pub type Access {
  Public
  Protected
  Private
}

</>

pub type Error {
  AlreadyRegistered(Name)
}

</>

pub type Kind {
  Set
  OrderedSet
  Bag
  DuplicateBag
}

</>

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

</>

pub type Step

</>

pub type Table(index, record) {
  Table(
    reference: TableId,
    name: Name,
    kind: Kind,
    access: Access,
    registered: Bool,
  )
}

Table(
  reference: TableId,
  name: Name,
  kind: Kind,
  access: Access,
  registered: Bool,
)

</>

pub fn any(from table: Table(a, b), is index: a) -> Bool

</>

pub fn batch(
  from table: Table(a, b),
  by limit: Int,
  where query: #(#(c, d), List(Nil), List(e)),
) -> Partial(f)

</>

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

</>

pub fn count(
  from table: Table(a, b),
  where query: #(#(c, d), List(Nil), List(e)),
) -> Int

</>

pub fn create(
  name name: String,
  access access: Access,
  kind kind: Kind,
  registered registered: Bool,
) -> Result(Table(a, b), Error)

</>

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

</>

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

</>

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

</>

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

</>

pub fn lookup(from table: Table(a, b), is index: a) -> List(b)

</>

pub fn remove(
  table: Table(a, b),
  where query: #(#(c, d), List(Nil), List(e)),
) -> Int

</>

pub fn search(
  from table: Table(a, b),
  where query: #(#(c, d), List(Nil), List(e)),
) -> List(f)