framework/er

Relations expose keys; only the storage decoder supplies row proofs.

Types

opaque </>

pub opaque type Has(entity)

opaque </>

pub opaque type Held(entity)

opaque </>

pub opaque type Key(entity)

</>

pub type Link(entity) =
  option.Option(Key(entity))

</>

pub type Row

</>

pub fn from_row(row: Row) -> Has(entity)

</>

pub fn held_from_row(row: Row) -> Held(entity)

</>

pub fn key(raw: String) -> Key(entity)

</>

pub fn of(relation: Has(entity)) -> Key(entity)

</>

pub fn of_held(relation: Held(entity)) -> Key(entity)

</>

pub fn to_string(key: Key(entity)) -> String