{name}

1layer over ./Kind.obend
2edition ObjectiveBend 1
3import ./Abi.obend as Abi
4import ./List.obend as Lists
5import ./Form.obend as Form
6import ./Rows.obend as Rows
7type State = Super.State
8form make:
9  name: text 1..64
10  spween: text 0..16384
11def make(state: State, input: MakeInput, context: Abi.Context) -> Activity<Super.Done>:
12  Super.making(state, Lists.List.cons({head: {name: "name", value: input.name}, tail: Lists.List.cons({head: {name: "spween", value: input.spween}, tail: Lists.List.nil()})}), "", context)
13form place:
14  name: text 1..64
15  spween: text 0..16384
16  id: text 1..64
17def place(state: State, input: PlaceInput, context: Abi.Context) -> Activity<Super.Done>:
18  Super.making(state, Lists.List.cons({head: {name: "name", value: input.name}, tail: Lists.List.cons({head: {name: "spween", value: input.spween}, tail: Lists.List.cons({head: {name: "id", value: input.id}, tail: Lists.List.nil()})})}), "", context)

Each thing of this kind runs this layer over what the kind is of.

1layer over ./Record.obend
2edition ObjectiveBend 1
3import ./Abi.obend as Abi
4import ./List.obend as Lists
5import ./Document.obend as Document
6import ./Form.obend as Form
7import ./Plan.obend as Plans
8import ./World.obend as World
9import ./Card.obend as Card
10import ./Relation.obend as Relations
11import ./Rows.obend as Rows
12import ./Text.obend as Text
13import ./Scenes.obend as Scenes
14import ./Spween.obend as Spween
15# The all-night station's body, over the room's (`kind/station`, `of: kind/room`): a room that keeps no
16# time and hands things across its counter. Its scene (world/bodies/station.spween, the town's replies to
17# ember's #delve-room call, stitched) calls `vend` (`~ vend to: {request.subject} / what:
18# station/coffee`), which runs as every cast does, under the station's owner: the thing named, the
19# owner's, is asked for a copy made for the reader (THING's `copyFor`), offered into their hands until
20# taken; the reader takes it by `accept`.
21#
22# Time is broken here, and a visitor may still feel it: the station never writes the clock. An entering
23# leaves `tended` as it was, a departure keeps no clock minute (its cooldown is none), and one who comes
24# back is told it could have been a minute or a year. What moves is the scene's own: a wall clock a
25# choice winds, the cups poured, the one song.
26type State = Super.State
27type Done = Scenes.Done
28# The room's, named here for a kind of the station's (the parlour's `seen`).
29type Seen = Super.Seen
30form vend:
31  to: text 1..128
32  what: text 1..128
33def vend(state: State, input: VendInput, context: Abi.Context) -> Activity<Done>:
34  if context.principal != state.owner then Super.roomRefused({clause: "notOwner", reading: "Only the station's own scene hands things across the counter."}, context) else vending(input.to, input.what, context)
35def vending(to: String, what: String, context: Abi.Context) -> Activity<Done>:
36  match world.call::<Done>({object: {world: context.world, object: what}, method: "copyFor", argument: {to: to}}):
37    case returned(r): r.result
38    case refused(r): Super.roomRefused({clause: r.clause, reading: r.reading}, context)
39    case denied(_): Super.roomRefused({clause: "denied", reading: "{what} does not answer."}, context)
40# The owner reads a wing per turn. Stitch extends the scene; restitch replaces it from its first
41# wing (the room's `staging`, which `rescene` runs whole). Presence is reconciled after its last wing, so a reader
42# in a later wing keeps their place. Each successful wing keeps a chained SHA-256 mark of the text stitched, in
43# journal order.
44form stitch:
45  spween: text 1..8192
46form restitch:
47  spween: text 1..8192
48  part: natural 1..64
49  wings: natural 1..64
50def stitch(state: State, input: StitchInput, context: Abi.Context) -> Activity<Done>:
51  if context.principal != state.owner then Super.roomRefused({clause: "notOwner", reading: "Only the station's owner stitches a wing into its scene."}, context) else Super.staging(Spween.wing(input.spween), {text: input.spween, replace: false, finish: true, mark: stamp(input.spween, false, state, context)}, state, context)
52def restitch(state: State, input: RestitchInput, context: Abi.Context) -> Activity<Done>:
53  if context.principal != state.owner then Super.roomRefused({clause: "notOwner", reading: "Only the station's owner replaces its scene."}, context) else if input.part > input.wings then Super.roomRefused({clause: "spween", reading: "The wing number exceeds the scene's wing count."}, context) else Super.staging(Spween.wing(input.spween), {text: input.spween, replace: input.part == 1n, finish: input.part == input.wings, mark: stamp(input.spween, input.part == 1n, state, context)}, state, context)
54# The wing's mark: the digest of the scene's text so far, chained from the last wing's.
55def stamp(text: String, replace: Bool, state: State, context: Abi.Context) -> String:
56  let first = replace || Lists.length(state.passages) == 0n
57  let prior = if first then "" else sceneDigest(state)
58  let digest = sha256Text("{prior}{text}")
59  "station-scene-{digest}-{natText(context.height)}"
60def sceneDigest(state: State) -> String:
61  match Lists.find(Lists.reverse(Relations.order(state.marks, fn(m: Rows.Mark) -> Nat: m.at)), fn(m: Rows.Mark) -> Bool: Text.starts(m.name, "station-scene-")):
62    case some(m): textTake(textDrop(m.value.name, 14n), 64n)
63    case none(_): ""
64def actions(state: State, context: Abi.Context) -> Lists.List<String>:
65  Lists.concat(Super.actions(state, context), if context.principal == state.owner then Text.words("vend stitch restitch") else Text.words(""))
66def entering(at: String, after: State, context: Abi.Context) -> Activity<Done>:
67  let written(_) = write {presence: insert {who: context.principal, handle: context.handle, at: at, draw: Super.turnDraw(context)}}
68  match Super.indexPresence(context):
69    case indexed(_): entryTold(at, after, context)
70def entryTold(at: String, after: State, context: Abi.Context) -> Activity<Done>:
71  match Super.lastLeft(context.principal, after):
72    case some(l): Super.away(at, after, l.value.entry, context)
73    case none(_): Super.welcomed(at, after, Document.text(""), context)
74# A visitor's leaving is kept (`left`, for the register's want and the return); an inhabitant's (`@station/regular`,
75# acting as itself) is its own hours, not a visit, and keeps none.
76def recorded(vars: Lists.List<Super.Edit>, said: String, after: State, context: Abi.Context) -> Activity<Done>:
77  if Text.starts(context.principal, "@") then Super.varied(vars, Done.left({}), said, after, context) else visited(vars, said, after, context)
78def visited(vars: Lists.List<Super.Edit>, said: String, after: State, context: Abi.Context) -> Activity<Done>:
79  let written(_) = write {left: insert {at: 0n, who: context.principal, entry: context.height}}
80  Super.varied(vars, Done.left({}), said, after, context)
81# The radio's song is the overnight DJ's (`<station>/dj`, kind/dj): the newest it played, else its four bars, read into
82# the scene as the variable `song` whenever a card is shown and never kept, so the radio passage says `{song}`.
83def seen(state: State, context: Abi.Context) -> Activity<Super.Seen>:
84  match world.viewField::<Relations.Relation<Rows.Line>>({object: {world: context.world, object: "{context.object}/dj"}, field: "lines"}):
85    case viewed(v): Super.seen(extend(state, {vars: Lists.append(state.vars, {name: "song", value: songOf(Relations.order(v.state, fn(l: Rows.Line) -> Nat: l.n))})}), context)
86    case _: Super.seen(state, context)
87def songOf(lines: Lists.List<Rows.Line>) -> String:
88  match Lists.find(Lists.reverse(lines), fn(l: Rows.Line) -> Bool: l.verb == "play"):
89    case some(l): l.value.text
90    case none(_): "the same four bars, nearly resolving"
91def awayLines(state: State, since: Nat, changes: Lists.List<World.Change>, context: Abi.Context) -> Document.Document:
92  let written = Lists.map(Lists.filter(Lists.reverse(Relations.order(state.lines, fn(l: Rows.Line) -> Nat: l.n)), fn(l: Rows.Line) -> Bool: l.at > since && l.author != context.principal), fn(l: Rows.Line) -> String: "{Card.shown(l.author, l.handle, context)}: {Super.clip(l.text)}\n")
93  Document.text("You were away a minute, or a year; the station did not count which.\n{textJoin(Lists.take(written, 3n), \"\")}\n")