{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
10def make(state: State, input: MakeInput, context: Abi.Context) -> Activity<Super.Done>:
11  Super.making(state, Lists.List.cons({head: {name: "name", value: input.name}, tail: Lists.List.nil()}), "", context)
12form place:
13  name: text 1..64
14  id: text 1..64
15def place(state: State, input: PlaceInput, context: Abi.Context) -> Activity<Super.Done>:
16  Super.making(state, Lists.List.cons({head: {name: "name", value: input.name}, 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 ./Scenes.obend as Scenes
11import ./Relation.obend as Relations
12import ./Rows.obend as Rows
13import ./Text.obend as Text
14# The door's body, over RECORD (docs/METAPHYSICS.md §7.5; SEEDING §4, the flood's sluice): a
15# record whose knocks are its lines, each with who knocked, and whose one mark is `open`, made by
16# the first knock: anyone's, or a thing's call (a cistern's rule when it passes its mark), so the
17# card says who opened it. A door opens once; knocks go on. A lantern made by it places its rule here.
18type State = Super.State
19form knock:
20form write:
21  text: text 1..280
22form lines:
23  from: natural 0..1000000000
24form door:
25  label: text 1..32
26  to: text 1..128
27form undoor:
28  label: text 1..32
29def knock(state: State, context: Abi.Context) -> Activity<Bool>:
30  let written(_) = write {lines: insert {author: knocker(context), handle: if context.caller == "" then context.handle else "", verb: "knock", text: if Super.marked(state, "open") then "knocked" else "knocked, and it opened", at: context.height, n: state.next}, next: add 1n}
31  if Super.marked(state, "open") then false else Super.markWritten({name: "open", who: knocker(context), handle: if context.caller == "" then context.handle else "", at: context.height})
32# Who knocked: the object whose call it was, else the principal.
33def knocker(context: Abi.Context) -> String:
34  if context.caller == "" then context.principal else context.caller
35def write(state: State, input: WriteInput, context: Abi.Context) -> Activity<Nat>:
36  Super.write(state, {text: input.text}, context)
37def lines(state: State, input: LinesInput, context: Abi.Context) -> Activity<Card.Replied>:
38  Super.lines(state, {from: input.from}, context)
39def door(state: State, input: DoorInput, context: Abi.Context) -> Activity<Card.Replied>:
40  Super.door(state, {label: input.label, to: input.to}, context)
41def undoor(state: State, input: UndoorInput, context: Abi.Context) -> Activity<Card.Replied>:
42  Super.undoor(state, {label: input.label}, context)
43def actions(state: State, context: Abi.Context) -> Lists.List<String>:
44  if context.principal == state.owner then Text.words("knock lines door undoor") else Text.words("knock lines")
45def openedBy(state: State, context: Abi.Context) -> String:
46  match Relations.lookup(state.marks, {name: "open"}):
47    case some(m): "open, opened by {Card.shown(m.value.who, m.value.handle, context)}"
48    case none(_): "shut"
49def entry(state: State, context: Abi.Context, line: Rows.Line) -> Document.Document:
50  Document.text("{Card.shown(line.author, line.handle, context)}{Card.mine(line.author, context)} {line.text}\n")
51def headLine(state: State, context: Abi.Context, id: String) -> Document.Document:
52  let name = if state.head == "" then "A DOOR" else state.head
53  Document.text("{name}, {openedBy(state, context)}. Knock:\n  delvetalk {id} knock\n» your knock on it; the first opens it and marks it open (a rule reads \"open\" in new.marks.name)\n{knocksHead(state)}")
54def knocksHead(state: State) -> String:
55  if Relations.count(state.lines) == 0n then "" else "Knocks:\n"