Chapter names for everyone.

This commit is contained in:
Curtis Yarvin 2018-05-28 23:42:16 -07:00
parent 3c3130c37d
commit ddb0fc22f4
11 changed files with 113 additions and 106 deletions

View File

@ -578,7 +578,7 @@
[%leaf "Could not find help"]~
(flop (print-item u.to-display))
:: # %models
+|
+| %models
::
:: an overview of all named things in the type.
::
@ -633,7 +633,7 @@
:: # %searching
:: #
:: functions which find what to print
+|
+| %searching
:: returns the item to print while searching through {topic}.
::
:: this gate is called recursively to find the path {topic} in the type
@ -886,7 +886,7 @@
:: # %printing
:: #
:: functions which display output of various types.
+|
+| %printing
++ print-item
|: itm=$:item
^- tang

View File

@ -28,7 +28,7 @@
|%
:: # %state
:: state data structures
+|
+| %state
++ state :: application state
$: stories/(map name story) :: conversations
outbox/(map serial tracking) :: sent messages
@ -53,7 +53,7 @@
== ::
:: # %deltas
:: changes to state
+|
+| %deltas
++ delta ::
$% :: public state ::
{$public add/? cir/circle} :: show/hide membership
@ -88,7 +88,7 @@
== ::
:: # %out
:: outgoing data
+|
+| %out
++ move (pair bone card) :: all actions
++ lime :: diff fruit
$% {$hall-prize prize} ::
@ -121,7 +121,7 @@
::
:: # %transition
:: prep transition
+|
+| %transition
++ prep
:: adapts state.
::
@ -232,7 +232,7 @@
::
:: # %engines
:: main cores.
+|
+| %engines
::
++ ta
:: thinker core, used for processing pokes into deltas.
@ -241,7 +241,7 @@
::
deltas/(list delta)
:: # %resolve
+|
+| %resolve
::
++ ta-done
:: resolve core
@ -261,7 +261,7 @@
:: # %emitters
:: #
:: arms that create outward changes.
+|
+| %emitters
::
++ ta-delta
:: adds a delta to the head of {deltas}.
@ -310,7 +310,7 @@
:: # %data
:: #
:: utility functions for data retrieval.
+|
+| %data
::
++ ta-know
:: story monad
@ -332,7 +332,7 @@
:: # %interaction-events
:: #
:: arms that apply events we received.
+|
+| %interaction-events
::
++ ta-init
:: initialize app
@ -408,7 +408,7 @@
:: story, crashing if it doesn't exist.
|%
:: # %utility
+|
+| %utility
++ work :: perform action
^+ ..ta-action
?- -.act
@ -474,7 +474,7 @@
[%present h s dif]
::
:: # %circle-configuration
+|
+| %circle-configuration
++ action-create
:: creates a story with the specified parameters.
::
@ -557,7 +557,7 @@
so-done:(~(so-usage so nom ~ u.soy) add tas)
::
:: # %messaging
+|
+| %messaging
++ action-convey
:: post exact
::
@ -583,7 +583,7 @@
[sir aud [now.bol i.ses]]
::
:: # %personal-metadata
+|
+| %personal-metadata
::
++ action-notify
:: our presence update
@ -604,7 +604,7 @@
(present aud %human %full man)
::
:: # %changing-shared-ui
+|
+| %changing-shared-ui
++ action-nick
:: new identity
::
@ -635,7 +635,7 @@
:: # %subscription-events
:: #
:: arms that react to subscription events.
+|
+| %subscription-events
::
++ ta-observe
:: watch burden bearer
@ -792,7 +792,7 @@
:: # %messaging
:: #
:: arms for sending and processing messages.
+|
+| %messaging
::
++ ta-think
:: publish or review
@ -855,7 +855,7 @@
:: # %stories
:: #
:: arms for modifying stories.
+|
+| %stories
::
++ so
:: story core, used for doing work on a story.
@ -870,7 +870,7 @@
==
::
:: # %resolve
+|
+| %resolve
++ so-done
:: apply actions generated by story operations.
::TODO maybe produce list of actions, apply in ++ta
@ -886,7 +886,7 @@
:: # %emitters
:: #
:: arms that create outward changes.
+|
+| %emitters
::
++ so-act
:: stores a hall action.
@ -938,7 +938,7 @@
:: # %data
:: #
:: utility functions for data retrieval.
+|
+| %data
::
++ so-cir [our.bol nom] :: us as circle
::
@ -946,7 +946,7 @@
:: # %interaction-events
:: #
:: arms that apply events we received.
+|
+| %interaction-events
::
++ so-take
:: apply the prize as if it were rumors.
@ -1129,7 +1129,7 @@
:: # %changes
:: #
:: arms that make miscellaneous changes to this story.
+|
+| %changes
::
++ so-present
:: accept status diff
@ -1280,7 +1280,7 @@
:: # %subscriptions
:: #
:: arms for starting and ending subscriptions
+|
+| %subscriptions
::
++ so-greet
:: subscription started
@ -1404,7 +1404,7 @@
:: # %messaging
:: #
:: arms for adding to this story's messages.
+|
+| %messaging
::
++ so-sane
:: sanitize %lin speech according to our settings.
@ -1508,7 +1508,7 @@
:: # %permissions
:: #
:: arms relating to story permissions.
+|
+| %permissions
::
++ so-permit
:: invite/banish
@ -1575,7 +1575,7 @@
::
moves/(list move)
:: # %resolve
+|
+| %resolve
::
++ da-done
:: resolve core
@ -1592,7 +1592,7 @@
:: # %emitters
:: #
:: arms that create outward changes.
+|
+| %emitters
::
++ da-emil
:: emit move list
@ -1628,7 +1628,7 @@
:: # %change-application
:: #
:: arms that change the application state.
+|
+| %change-application
::
++ da-change
:: apply delta
@ -1757,7 +1757,7 @@
:: # %stories
:: #
:: arms for modifying stories.
+|
+| %stories
::
++ da-change-story
:: apply circle delta
@ -1815,7 +1815,7 @@
story
==
:: # %resolve
+|
+| %resolve
::
++ sa-done
:: apply changes
@ -1828,7 +1828,7 @@
:: # %emitters
:: #
:: arms that create outward changes.
+|
+| %emitters
::
++ sa-emil
:: emit move list
@ -1858,7 +1858,7 @@
:: # %data
:: #
:: utility functions for data retrieval.
+|
+| %data
::
++ sa-cir [our.bol nom]
::
@ -1866,7 +1866,7 @@
:: # %delta-application
:: #
:: arms for applying deltas.
+|
+| %delta-application
::
++ sa-delete
:: deletion of story
@ -2060,7 +2060,7 @@
:: # %subscriptions
:: #
:: arms for starting and ending subscriptions
+|
+| %subscriptions
::
++ sa-acquire
:: subscribes this story to each circle.
@ -2127,7 +2127,7 @@
:: #
:: # %wire-utility
:: #
+|
+| %wire-utility
::
++ circle-wire
:: /circle peer wire
@ -2260,7 +2260,7 @@
:: #
:: # %new-events
:: #
+|
+| %new-events
++ bake
:: apply state delta
::
@ -2683,7 +2683,7 @@
:: #
:: # %poke-events
:: #
+|
+| %poke-events
::
++ poke-hall-command
:: accept command
@ -2721,7 +2721,7 @@
:: #
:: # %subscription-events
:: #
+|
+| %subscription-events
::
++ diff-hall-prize
:: accept prize
@ -2866,7 +2866,7 @@
:: #
:: # %logging
:: #
+|
+| %logging
::
++ poke-hall-save
:: save as log

View File

@ -117,7 +117,7 @@
::
:: # %transition
:: prep transition
+|
+| %transition
::
++ prep
:: adapts state
@ -195,7 +195,7 @@
:: # %utility
:: #
:: small utility functions.
+|
+| %utility
::
++ self
(true-self our.bol)
@ -292,7 +292,7 @@
:: # %engines
:: #
:: main cores.
+|
+| %engines
::
++ ta
:: per transaction
@ -311,7 +311,7 @@
moves/(list move)
::
:: # %resolve
+|
+| %resolve
::
++ ta-done
:: resolve core
@ -346,7 +346,7 @@
:: # %emitters
:: #
:: arms that create outward changes.
+|
+| %emitters
::
++ ta-emil
:: emit move list
@ -367,7 +367,7 @@
:: # %interaction-events
:: #
:: arms that apply events we received.
+|
+| %interaction-events
::
++ ta-init
:: subscribes to our hall.
@ -503,7 +503,7 @@
:: # %messages
:: #
:: storing and updating messages.
+|
+| %messages
::
++ ta-unpack
:: open envelopes
@ -566,7 +566,7 @@
:: # %console
:: #
:: arms for shell functionality.
+|
+| %console
::
++ ta-console
:: initialize the shell of this client.
@ -598,7 +598,7 @@
==
::
:: # %resolve
+|
+| %resolve
::
++ sh-done
:: stores changes to the cli.
@ -610,7 +610,7 @@
:: # %emitters
:: #
:: arms that create outward changes.
+|
+| %emitters
::
++ sh-fact
:: adds a console effect to ++ta's moves.
@ -639,7 +639,7 @@
:: # %cli-interaction
:: #
:: processing user input as it happens.
+|
+| %cli-interaction
::
++ sh-sole
:: applies sole action.
@ -1032,7 +1032,7 @@
:: # %user-action
:: #
:: processing user actions.
+|
+| %user-action
::
++ sh-work
:: do work
@ -1049,7 +1049,7 @@
:: #
:: # %helpers
:: #
+|
+| %helpers
::
++ work
:: call correct worker
@ -1167,7 +1167,7 @@
:: #
:: # %circle-management
:: #
+|
+| %circle-management
::
++ join
:: %join
@ -1271,7 +1271,7 @@
:: #
:: # %personal-metadata
:: #
+|
+| %personal-metadata
::
++ attend
:: sets our presence to {pec} for {aud}.
@ -1290,7 +1290,7 @@
:: #
:: # %messaging
:: #
+|
+| %messaging
::
++ say
:: sends message.
@ -1342,7 +1342,7 @@
:: #
:: # %displaying-info
:: #
+|
+| %displaying-info
::
++ who
:: %who
@ -1453,7 +1453,7 @@
:: #
:: # %ui-settings
:: #
+|
+| %ui-settings
::
++ bind
:: %bind
@ -1568,7 +1568,7 @@
:: #
:: # %miscellaneous
:: #
+|
+| %miscellaneous
::
++ public
:: show/hide membership
@ -1649,7 +1649,7 @@
:: # %differs
:: #
:: arms that calculate differences between datasets.
+|
+| %differs
::
++ sh-group-diff
:: group diff parts
@ -1773,7 +1773,7 @@
:: # %printers
:: #
:: arms for printing data to the cli.
+|
+| %printers
::
++ sh-lame
:: send error
@ -1968,7 +1968,7 @@
:: # %renderers
:: #
:: rendering cores.
+|
+| %renderers
::
++ cr
:: circle renderer
@ -2441,7 +2441,7 @@
:: #
:: # %events
:: #
+|
+| %events
::
++ quit-server-client
|= wir/wire

View File

@ -17,7 +17,7 @@
:: # %case-nodes
:: #
:: transforms raw unicode data into sequential case nodes.
+|
+| %case-nodes
++ build-case-nodes
:: raw list of unicode data lines to a compact list of chardata
|= a=(list line:unicode-data)
@ -185,7 +185,7 @@
:: # %tree-building
:: #
:: builds a binary search tree out of the list
+|
+| %tree-building
++ build-tree
|= a=(list case-node:unicode-data)
^- case-tree:unicode-data

View File

@ -175,7 +175,7 @@
|%
:: # %basic
:: basic list manipulation
+|
+| %basic
::
++ head
:: returns the first item in the list, which must be non-empty.
@ -229,7 +229,7 @@
::
:: # %transformations
:: functions which change a list into another list
+|
+| %transformations
::
++ map
:: applies a gate to each item in the list.
@ -311,7 +311,7 @@
::
:: # %folds
:: functions which reduce a list to a value
+|
+| %folds
::
++ foldl
:: left associative fold
@ -368,7 +368,7 @@
::
:: # %building
:: functions which build lists
+|
+| %building
++ scanl
:: returns a list of successive reduced values from the left.
|* [a=(list) b=* c=$-({* *} *)]
@ -453,7 +453,7 @@
::
:: # %sublists
:: functions which return a portion of the list
+|
+| %sublists
::
++ take
:: returns the first {a} elements of {b}.
@ -586,7 +586,7 @@
::
:: # %predicates
:: functions which compare lists
+|
+| %predicates
::
++ is-prefix-of
:: returns %.y if the first list is a prefix of the second.
@ -686,7 +686,7 @@
::
:: # %indexing
:: finding indices in lists
+|
+| %indexing
::
++ elem-index
:: returns {maybe} the first occurrence of {a} occur in list {b}.
@ -773,7 +773,7 @@
::
:: # %set
:: set operations on lists
+|
+| %set
++ unique
:: removes duplicates elements from {a}
::
@ -859,7 +859,7 @@
|%
:: # %query
:: looks up values in the dict.
+|
+| %query
++ empty
:: is the dict empty?
|* a=(dict)
@ -905,7 +905,7 @@
:: lookupLT.
::
:: # %insertion
+|
+| %insertion
++ put
:: inserts a new key/value pair, replacing the current value if it exists.
::
@ -1002,7 +1002,7 @@
[-.rec [n.d [n.a l.a l.d] r.d]]
::
:: # %delete-update
+|
+| %delete-update
::
++ delete
:: deletes entry at {key}.
@ -1093,7 +1093,7 @@
[n.d [n.a l.a l.d] r.d]
::
:: # %combine
+|
+| %combine
::
++ union
:: returns the union of {a} and {b}, preferring the value from {a} if dupe
@ -1178,7 +1178,7 @@
:: :: ++intersection-with-key
::
:: # %traversal
+|
+| %traversal
::
++ map
:: applies {fun} to each value in {a}.
@ -1297,7 +1297,7 @@
?&((b p.n.a q.n.a) $(a l.a) $(a r.a))
::
:: # %conversion
+|
+| %conversion
++ elems
:: return all values in the dict.
|* a=(dict)
@ -1325,7 +1325,7 @@
[[n.a (fun n.a)] $(a l.a) $(a r.a)]
::
:: # %lists
+|
+| %lists
::
++ to-list
:: creates a list of pairs from the tree.
@ -1358,7 +1358,7 @@
:: on them probably don't make sense. i'm skipping them for now.
::
:: # %filters
+|
+| %filters
++ filter
:: filters a dict of all values that satisfy {fun}.
|* [a=(dict) fun=$-(* ?)]
@ -1480,7 +1480,7 @@
::
:: # %impl
:: implementation details
+|
+| %impl
++ pop-top
:: removes the head of the tree and rebalances the tree below.
|* a=(dict)

View File

@ -3,7 +3,7 @@
:: testing utilities
|%
:: # %models
+|
+| %models
+= tests
:: a hierarchical structure of tests
::
@ -17,7 +17,7 @@
::
:: # %generate
:: utilities for generating ++tests from files and directories.
+|
+| %generate
++ merge-base-and-recur
:: combine the current file and subdirectory.
::
@ -81,7 +81,7 @@
:: # %check
:: #
:: gates for quick check style tests.
+|
+| %check
++ check
|* [generator=$-(@uvJ *) test=$-(* ?)]
|- ^- tang
@ -134,7 +134,7 @@
:: # %test
:: #
:: test expectation functions
+|
+| %test
:: todo: unit testing libraries have a lot more to them than just eq.
++ expect-eq
|= a=vase
@ -149,7 +149,7 @@
:: # %formatting
:: #
:: test result presentation
+|
+| %formatting
++ category
|= [a=tape b=tang] ^- tang
?: =(~ b) ~ :: test OK

View File

@ -11,7 +11,7 @@
:: # %wrappers
:: #
:: wrapper molds, for semantic clarity.
+|
+| %wrappers
::
::TODO rename
++ name term :: circle name
@ -22,7 +22,7 @@
:: # %query-models
:: #
:: models relating to queries, their results and updates.
+|
+| %query-models
::
++ query :: query paths
$% {$client ~} :: shared ui state
@ -133,7 +133,7 @@
:: # %client-communication
:: #
:: hall interfaces for clients.
+|
+| %client-communication
::
++ action :: user action
$% :: circle configuration ::
@ -162,7 +162,7 @@
:: # %hall-communication
:: #
:: structures for communicating between halls.
+|
+| %hall-communication
::
++ command :: effect on story
$% {$publish tos/(list thought)} :: deliver
@ -174,7 +174,7 @@
:: # %circles
:: #
:: messaging targets and their metadata.
+|
+| %circles
::
++ circle {hos/ship nom/name} :: native target
:: circle configurations. ::
@ -219,7 +219,7 @@
:: # %message-data
:: #
:: structures for containing main message data.
+|
+| %message-data
::
::TODO some structure for extra message state
:: local (to clients): delivery state, read flags
@ -251,7 +251,7 @@
:: # %message-metadata
:: #
:: structures for containing message metadata.
+|
+| %message-metadata
::
++ serial @uvH :: unique identifier
++ audience (set circle) :: destinations

View File

@ -1,7 +1,7 @@
|%
:: # %unicode-data
:: types to represent UnicdoeData.txt.
+|
+| %unicode-data
++ line
:: an individual codepoint definition
::
@ -120,7 +120,7 @@
:: # %case-map
:: #
:: types to represent fast lookups of case data
+|
+| %case-map
++ case-offset
:: case offsets can be in either direction
$% :: add {a} to get the new character

View File

@ -1,4 +1,3 @@
!:
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::: :::::: Postface ::::::
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::

View File

@ -17,7 +17,7 @@
|%
:: # %math
:: unsigned arithmetic
+|
+| %math
++ foo-141 !!
++ add
~/ %add
@ -185,7 +185,7 @@
:: # %tree
::
:: tree addressing
+|
+| %tree
++ cap
~/ %cap
:: tree head
@ -279,7 +279,7 @@
:: # %containers
::
:: the most basic of data types
+|
+| %containers
++ bloq
:: blocksize
::
@ -8328,7 +8328,7 @@
visit-expression=$-([=hoon =state] (unit [=hoon =state]))
visit-structure=$-([=spec =state] (unit [=spec =state]))
==
+|
+| %public
::
:: +expression: visit expression
::
@ -8483,7 +8483,7 @@
%bswt (love spec (twin stud (moto stud)))
%bszp (love spec (twin stud (raid stud)))
==
+|
+| %private
::
:: older code is here
::
@ -12828,6 +12828,14 @@
(~(put by c) b)
(most muck boog)
::
++ whip :: chapter declare
%+ cook
|=([a=term b=(map term hoon)] b)
;~ plug
;~(pose (ifix [cen gap] sym) (easy %$))
whap
==
::
++ wasp :: $brcb aliases
;~ pose
%+ ifix
@ -12860,7 +12868,7 @@
dun
;~ sfix
;~ pose
(most muck ;~(pfix (jest '+|') gap whap))
(most muck ;~(pfix (jest '+|') gap whip))
;~(plug whap (easy ~))
==
gap

View File

@ -38,7 +38,7 @@
:: # %misc
::
:: miscellaneous systems types
+|
+| %misc
++ ares (unit {p/term q/(list tank)}) :: possible error
++ coop (unit ares) :: possible error
++ json :: normal json value