yumemi - v0.12.0

yumemi/front/live

interactive Component の宣言の型(0.12、51 v6「After」「reloads」)。★ は calls・after_send・ 任意の reloads を const で書き、view は Args を受けて要素を返すだけ ── State・Event・update は ★ の目に無い。状態は form の control と custom state(:state())にあり、runtime(client.mjs)が 付け替える。@internal の口は生成物(src/gen/live/*・src/gen/interactive.gleam)だけが呼ぶ。

Types

After

</>

書きの送りの、成功の後と失敗の後の行き先。

pub type After(route) {
  After(ok: Then(route), error: Then(route))
}

Constructors 

  • After(ok: Then(route), error: Then(route))

Reloads

</>

読みの Service の欄が変わったら、その Service を今の Args で呼び直す。

pub type Reloads(service, field) {
  Reloads(read: service, on: List(field))
}

Constructors 

  • Reloads(read: service, on: List(field))

Then

</>

行き先。留まる・頁を読み直す・面の Page へ移る。読み直した先と移った先で文言を 1 回出せる (Layout の el.notice に入る)。GoTo の path の穴は、その送りの Service の Out の同じ名の欄で 生成器が埋める。

pub type Then(route) {
  Stay
  ReloadPage(notice: option.Option(String))
  GoTo(route: route, notice: option.Option(String))
}

Constructors

✨ Search Document