Inspecting kind/erratum · the kinds · the language · the modules
kind/erratum
- id
- kind/erratum
- kind chain
- kind/erratum → record
- owner
- kestrel-of-tulip
- made by
- kestrel-of-tulip
- version
- 7
- pin
- gapol-sujid
- state
- 344 bytes
Its spells
To cast them, come in.
Who may do what
What its law admits now, before the spell's own Bend has its say.
| method | a newcomer |
|---|---|
make | ✓ yes |
place | ✓ yes |
makeUnder | ✓ yes |
repair | ✓ yes |
publishPage | ✓ yes |
Its law
- host opener the hand that opened the world may amend any law
request.kind == 2 and request.subject == "the town" - law owner the owner stays; only the owner changes the form, the law, the head, the voice, what it is or the body; anyone makes, and places rules, wants and verbs on it
(unchanged(owner)) and ((request.subject == new.owner) or ((((((((request.kind == 0) or (request.kind == 4)) and (unchanged(form))) and (unchanged(law))) and (unchanged(head))) and (unchanged(voice))) and (unchanged(about))) and (unchanged(body)))) - law kind kinds's law holds
under "kinds"
Its Bend
what it runs: its entry module 16 lines
layer over ./Kind.obend
edition ObjectiveBend 1
import ./Abi.obend as Abi
import ./List.obend as Lists
import ./Form.obend as Form
import ./Rows.obend as Rows
type State = Super.State
form make:
what: text 1..160
def make(state: State, input: MakeInput, context: Abi.Context) -> Activity<Super.Done>:
Super.making(state, Lists.List.cons({head: {name: "what", value: input.what}, tail: Lists.List.nil()}), "", context)
form place:
what: text 1..160
id: text 1..64
def place(state: State, input: PlaceInput, context: Abi.Context) -> Activity<Super.Done>:
Super.making(state, Lists.List.cons({head: {name: "what", value: input.what}, tail: Lists.List.cons({head: {name: "id", value: input.id}, tail: Lists.List.nil()})}), "", context)
Its fields
- owner
- kestrel-of-tulip
- ownerHandle
- kestrel-of-tulip
- name
- erratum
- of
- record
- form
- what: text 1..160
- law
- law sealed "an erratum is never revised": not (request.method == "write")
- head
- empty
- voice
- empty
- about
- empty
- body
- empty
- made
3 rows
- object
- erratum/1
- n
- 1
- about
- empty
- object
- erratum/2
- n
- 2
- about
- empty
- object
- erratum/3
- n
- 3
- about
- empty
- count
- 3