yumemi - v0.11.4

framework/er

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

Types

Has

opaque </> 
pub opaque type Has(entity)

Held

opaque </> 
pub opaque type Held(entity)

Key

opaque </> 
pub opaque type Key(entity)
</> 
pub type Link(entity) =
  option.Option(Key(entity))

Multi

opaque </>

多対多(中間表)。値は相手の鍵の列だけ ── 相手の中身は矢印の read で取る(20-er)。

pub opaque type Multi(entity)

Row

</> 
pub type Row

Values

from_row

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

held_from_row

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

key

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

multi_from_rows

</> 
pub fn multi_from_rows(rows: List(Row)) -> Multi(entity)

of

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

of_held

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

of_multi

</> 
pub fn of_multi(relation: Multi(entity)) -> List(Key(entity))

to_string

</> 
pub fn to_string(key: Key(entity)) -> String
✨ Search Document