From de75d74065c9339d8bf8de4f573fa1cc7bae88ab Mon Sep 17 00:00:00 2001 From: Anton Dyudin Date: Tue, 11 Aug 2015 14:32:57 -0700 Subject: [PATCH] normalized lib

back to markdown --- pub/doc/hoon/library/0.md | 2 +- pub/doc/hoon/library/1.md | 200 ++++++++++---------- pub/doc/hoon/library/2a.md | 32 ++-- pub/doc/hoon/library/2b.md | 68 +++---- pub/doc/hoon/library/2c.md | 152 +++++++-------- pub/doc/hoon/library/2da.md | 28 +-- pub/doc/hoon/library/2db.md | 56 +++--- pub/doc/hoon/library/2dc.md | 18 +- pub/doc/hoon/library/2dd.md | 6 +- pub/doc/hoon/library/2ea.md | 8 +- pub/doc/hoon/library/2eb.md | 4 +- pub/doc/hoon/library/2ec.md | 40 ++-- pub/doc/hoon/library/2ed.md | 18 +- pub/doc/hoon/library/2ee.md | 16 +- pub/doc/hoon/library/2ef.md | 68 +++---- pub/doc/hoon/library/2eg.md | 20 +- pub/doc/hoon/library/2eh.md | 52 ++--- pub/doc/hoon/library/2ei.md | 8 +- pub/doc/hoon/library/2ej.md | 36 ++-- pub/doc/hoon/library/2ek.md | 14 +- pub/doc/hoon/library/2el.md | 162 ++++++++-------- pub/doc/hoon/library/2em.md | 94 ++++----- pub/doc/hoon/library/2en.md | 34 ++-- pub/doc/hoon/library/2eo.md | 18 +- pub/doc/hoon/library/2ep.md | 28 +-- pub/doc/hoon/library/2ew.md | 42 ++--- pub/doc/hoon/library/2ex.md | 96 +++++----- pub/doc/hoon/library/2ey.md | 30 +-- pub/doc/hoon/library/2ez.md | 32 ++-- pub/doc/hoon/library/3ba.md | 14 +- pub/doc/hoon/library/3bb.md | 68 +++---- pub/doc/hoon/library/3bc.md | 24 +-- pub/doc/hoon/library/3bd.md | 154 +++++++-------- pub/doc/hoon/library/3be.md | 138 +++++++------- pub/doc/hoon/library/3bf.md | 18 +- pub/doc/hoon/library/3bg.md | 74 ++++---- pub/doc/hoon/library/3bh.md | 24 +-- pub/doc/hoon/library/3bi.md | 366 ++++++++++++++++++------------------ 38 files changed, 1131 insertions(+), 1131 deletions(-) diff --git a/pub/doc/hoon/library/0.md b/pub/doc/hoon/library/0.md index 082e0a734..920cd8e4b 100644 --- a/pub/doc/hoon/library/0.md +++ b/pub/doc/hoon/library/0.md @@ -1,7 +1,7 @@ volume 0, Kelvin Versioning. =========================== -

++hoon

+### `++hoon` ++ hoon %164 :: version stub diff --git a/pub/doc/hoon/library/1.md b/pub/doc/hoon/library/1.md index c94962f70..f04529aca 100644 --- a/pub/doc/hoon/library/1.md +++ b/pub/doc/hoon/library/1.md @@ -3,7 +3,7 @@ volume 1, Hoon Structures ------------------------------------------------------------------------ -

++abel

+### `++abel` ++ abel typo :: original sin: type @@ -16,7 +16,7 @@ See also: `++typo` ------------------------------------------------------------------------ -

++axis

+### `++axis` ++ axis ,@ :: tree address @@ -36,7 +36,7 @@ See also: `++clue`, `++limb`, `++slot`, `++peg`, and Section 2fC ------------------------------------------------------------------------ -

++also

+### `++also` ++ also ,[p=term q=wing r=type] :: alias @@ -44,7 +44,7 @@ XX unused? ------------------------------------------------------------------------ -

++base

+### `++base` ++ base ?([%atom p=odor] %noun %cell %bean %null) :: axils, @ * ^ ? ~ @@ -66,7 +66,7 @@ See also: `++tile`, `++twig` ------------------------------------------------------------------------ -

++bean

+### `++bean` ++ bean ,? :: 0=&=yes, 1=|=no @@ -83,7 +83,7 @@ The Urbit version of a boolean, which we call a loobean. 0 or & is ------------------------------------------------------------------------ -

++beer

+### `++beer` ++ beer $|(@ [~ p=twig]) :: simple embed @@ -98,7 +98,7 @@ See also: `++phax`, `++scat`, section 2fD ------------------------------------------------------------------------ -

++beet

+### `++beet` ++ beet $| @ :: advanced embed $% [%a p=twig] :: take tape @@ -114,7 +114,7 @@ See also: `++sail`, section 2fD ------------------------------------------------------------------------ -

++bloq

+### `++bloq` ++ bloq ,@ :: blockclass @@ -129,7 +129,7 @@ See also: section 2cA ------------------------------------------------------------------------ -

++calf

+### `++calf` ++ calf ,[p=(map ,@ud wine) q=wine] :: @@ -150,7 +150,7 @@ See also: `++wine`, `++dole`, `++doge`, `++dish`, section 2fC ------------------------------------------------------------------------ -

++char

+### `++char` ++ char ,@tD :: UTF-8 byte @@ -167,7 +167,7 @@ See also: `++tape`, `++lust`, `++just`, `++mask`, chapter 2f ------------------------------------------------------------------------ -

++chub

+### `++chub` ++ chub :: registered battery $: p=(pair chum tyre) :: definition @@ -181,7 +181,7 @@ See also: Section 2fB. ------------------------------------------------------------------------ -

++chum

+### `++chum` ++ chum $? lef=term :: jet name [std=term kel=@] :: kelvin version @@ -205,7 +205,7 @@ See also: `++twig`, `++clue` ------------------------------------------------------------------------ -

++clue

+### `++clue` ++ clue ,[p=axis q=chum r=tyre] :: battery definition @@ -217,7 +217,7 @@ See also: section 2fB ------------------------------------------------------------------------ -

++coil

+### `++coil` ++ coil $: p=?(%gold %iron %lead %zinc) :: core type q=type :: @@ -232,7 +232,7 @@ See also: `++core`, Section 2fB ------------------------------------------------------------------------ -

++coin

+### `++coin` ++ coin $% [%$ p=dime] :: [%blob p=*] :: @@ -264,7 +264,7 @@ See also: `++so`, `++co`, Section 2eL, `++dime` ------------------------------------------------------------------------ -

++cord

+### `++cord` ++ cord ,@t :: text atom (UTF-8) @@ -287,7 +287,7 @@ See also: `++trip`, `++crip`, Section 2eJ ------------------------------------------------------------------------ -

++date

+### `++date` ++ date ,[[a=? y=@ud] m=@ud t=tarp] :: parsed date @@ -302,7 +302,7 @@ See also: `++year`, `++yore`, Section 2cH, `++stud`, `++dust`, Section ------------------------------------------------------------------------ -

++dime

+### `++dime` ++ dime ,[p=@ta q=@] :: @@ -319,7 +319,7 @@ See also: `++so`, `++co`, Section 2eL, `++coin` ------------------------------------------------------------------------ -

++dram

+### `++dram` ++ dram $% [| p=(map ,@tas dram)] :: simple unix dir [& p=@ud q=@] :: @@ -333,7 +333,7 @@ XX Unused ------------------------------------------------------------------------ -

++each

+### `++each` ++ each |*([a=$+(* *) b=$+(* *)] $%([& p=a] [| p=b])) :: either a or b @@ -345,7 +345,7 @@ Tile generator: produces a dicriminated fork between two types. ------------------------------------------------------------------------ -

++edge

+### `++edge` ++ edge ,[p=hair q=(unit ,[p=* q=nail])] :: parsing output @@ -360,7 +360,7 @@ See also: Section 2eD, `++rule` ------------------------------------------------------------------------ -

++foot

+### `++foot` ++ foot $% [%ash p=twig] :: dry arm, geometric [%elm p=twig] :: wet arm, generic @@ -386,7 +386,7 @@ See also: `++ap`, `++ut`, Section 2fB, Section 2fC ------------------------------------------------------------------------ -

++gate

+### `++gate` ++ gate $+(* *) :: general gate @@ -407,7 +407,7 @@ See also: `++lift`, `++cork`, Core Language Doc ------------------------------------------------------------------------ -

++hair

+### `++hair` ++ hair ,[p=@ud q=@ud] :: parsing trace @@ -427,7 +427,7 @@ See also: `++last`, Section 2eB ------------------------------------------------------------------------ -

++like

+### `++like` ++ like |* a=_,* :: generic edge |= b=_`*`[(hair) ~] :: @@ -455,7 +455,7 @@ See also: `++easy`, `++just`/`++jest`, `++knee`, `++mask`, `++shim`, ------------------------------------------------------------------------ -

++limb

+### `++limb` ++ limb $|(term $%([%& p=axis] [%| p=@ud q=term])) :: @@ -474,7 +474,7 @@ See also: section 2fC-2fD ------------------------------------------------------------------------ -

++line

+### `++line` ++ line ,[p=[%leaf p=odor q=@] q=tile] :: %kelp case @@ -501,7 +501,7 @@ Used in compilation and grammar, section 2fC-2fD ------------------------------------------------------------------------ -

++list

+### `++list` ++ list |* a=_,* :: null-term list $|(~ [i=a t=(list a)]) :: @@ -520,7 +520,7 @@ See also: `++turn`, `++snag`, section 2bB. ------------------------------------------------------------------------ -

++lone

+### `++lone` ++ lone |*(a=$+(* *) ,p=a) :: just one thing @@ -530,7 +530,7 @@ Tile generator. `++lone` puts face of `p` on something. ------------------------------------------------------------------------ -

++mane

+### `++mane` ++ mane $|(@tas [@tas @tas]) :: XML name/space @@ -549,7 +549,7 @@ See also: `++sail` doc, Section 3bD ------------------------------------------------------------------------ -

++manx

+### `++manx` ++ manx ,[g=marx c=marl] :: XML node @@ -561,7 +561,7 @@ See also: `++sail` doc, Section 3bD ------------------------------------------------------------------------ -

++marl

+### `++marl` ++ marl (list manx) :: XML node list @@ -573,7 +573,7 @@ See also: `++sail` doc ------------------------------------------------------------------------ -

++mars

+### `++mars` ++ mars ,[t=[n=%$ a=[i=[n=%$ v=tape] t=~]] c=~] :: XML cdata @@ -583,7 +583,7 @@ See also: `++sail` doc ------------------------------------------------------------------------ -

++mart

+### `++mart` ++ mart (list ,[n=mane v=tape]) :: XML attributes @@ -596,7 +596,7 @@ See also: `++sail` doc ------------------------------------------------------------------------ -

++marx

+### `++marx` ++ marx ,[n=mane a=mart] :: XML tag @@ -609,7 +609,7 @@ See also: `++sail` doc ------------------------------------------------------------------------ -

++metl

+### `++metl` ++ metl ?(%gold %iron %zinc %lead) :: core variance @@ -619,7 +619,7 @@ See also: `++coil` ------------------------------------------------------------------------ -

++noun

+### `++noun` ++ noun ,* :: any noun @@ -630,7 +630,7 @@ Used nowhere XX ------------------------------------------------------------------------ -

++null

+### `++null` ++ null ,~ :: null, nil, etc @@ -642,7 +642,7 @@ Used nowhere XX ------------------------------------------------------------------------ -

++odor

+### `++odor` ++ odor ,@ta :: atom format @@ -657,7 +657,7 @@ See also: `++base`, odor reference ------------------------------------------------------------------------ -

++tarp

+### `++tarp` ++ tarp ,[d=@ud h=@ud m=@ud s=@ud f=(list ,@ux)] :: parsed time @@ -677,7 +677,7 @@ See also: `++date`, `++yell`/`++yule`, Section 2cH ------------------------------------------------------------------------ -

++time

+### `++time` ++ time ,@da :: galactic time @@ -693,7 +693,7 @@ See also: `++date`, odor reference ------------------------------------------------------------------------ -

++tree

+### `++tree` ++ tree |* a=_,* :: binary tree $|(~ [n=a l=(tree a) r=(tree a)]) :: @@ -706,7 +706,7 @@ left/right sub `++tree`s of the same type. Pretty-printed with `{}`. ------------------------------------------------------------------------ -

++nail

+### `++nail` ++ nail ,[p=hair q=tape] :: parsing input @@ -721,7 +721,7 @@ See also: `++roll` ------------------------------------------------------------------------ -

++numb

+### `++numb` ++ numb ,@ :: just a number @@ -729,7 +729,7 @@ Used nowhere XX ------------------------------------------------------------------------ -

++pair

+### `++pair` ++ pair |*([a=$+(* *) b=$+(* *)] ,[p=a q=b]) :: just a pair @@ -740,7 +740,7 @@ Tile generator. Produces a tuple of two of the types passed in. ------------------------------------------------------------------------ -

++pass

+### `++pass` ++ pass ,@ :: public key @@ -750,7 +750,7 @@ See also: `++acru`, `++crua`, `++crub` ------------------------------------------------------------------------ -

++path

+### `++path` ++ path (list span) :: filesys location @@ -762,7 +762,7 @@ A filesystem path. A `++path` is a list of `++span`, `@ta`. Used in ------------------------------------------------------------------------ -

++pint

+### `++pint` ++ pint ,[p=[p=@ q=@] q=[p=@ q=@]] :: line/column range @@ -777,7 +777,7 @@ hairs indicating from - to. ------------------------------------------------------------------------ -

++pole

+### `++pole` ++ pole |* a=_,* :: nameless list $|(~ [a (pole a)]) :: @@ -790,7 +790,7 @@ without the `i=` and `t=`. ------------------------------------------------------------------------ -

++port

+### `++port` ++ port $: p=axis :: $= q :: @@ -808,7 +808,7 @@ Type and location of core-shaped thing? XX Compiler Internals ------------------------------------------------------------------------ -

++post

+### `++post` ++ post $: p=axis :: $= q :: @@ -827,7 +827,7 @@ Type and location of possibly core-shaped thing? XX Compiler Internals ------------------------------------------------------------------------ -

++prop

+### `++prop` ++ prop $: p=axis :: $= q :: @@ -843,7 +843,7 @@ Verified core-shaped thing? XX Compiler Internals ------------------------------------------------------------------------ -

++qual

+### `++qual` ++ qual |* [a=$+(* *) b=$+(* *) c=$+(* *) d=$+(* *)] :: just a quadruple ,[p=a q=b r=c s=d] :: @@ -855,7 +855,7 @@ Tile generator. A `++qual` is a tuple of four of the types passed in.. ------------------------------------------------------------------------ -

++rege

+### `++rege` ++ rege $| ?(%dote %ende %sart %empt %boun %bout) :: parsed regex $% [%lite p=char] :: literal @@ -885,7 +885,7 @@ See also: `++rexp`, `++repg`, `++pars` ------------------------------------------------------------------------ -

++ring

+### `++ring` ++ ring ,@ :: private key @@ -895,7 +895,7 @@ See also: `++acru`, `++crua`, `++crub`. ------------------------------------------------------------------------ -

++rule

+### `++rule` ++ rule |=(tub=nail `edge`[p.tub ~ ~ tub]) :: parsing rule @@ -916,7 +916,7 @@ See also: `++cold`, Section 2eC ------------------------------------------------------------------------ -

++span

+### `++span` ++ span ,@ta :: text-atom (ASCII) @@ -941,7 +941,7 @@ besides numbers and lowercase letters are permitted. ------------------------------------------------------------------------ -

++spot

+### `++spot` ++ spot ,[p=path q=pint] :: range in file @@ -957,7 +957,7 @@ See also: `++pint` ------------------------------------------------------------------------ -

++tang

+### `++tang` ++ tang (list tank) :: general error @@ -965,7 +965,7 @@ Unused XX ------------------------------------------------------------------------ -

++tank

+### `++tank` ++ tank $% [%leaf p=tape] :: printing formats $: %palm :: @@ -996,7 +996,7 @@ list of `++tank` delimted by the strings in `p`. ------------------------------------------------------------------------ -

++tape

+### `++tape` ++ tape (list char) :: like a string @@ -1010,7 +1010,7 @@ list of chars. ------------------------------------------------------------------------ -

++term

+### `++term` ++ term ,@tas :: Hoon ASCII subset @@ -1030,7 +1030,7 @@ always preceded by `%`. This means a term is always cubical. The empty ------------------------------------------------------------------------ -

++tiki

+### `++tiki` ++ tiki :: test case $% [& p=(unit term) q=wing] :: simple wing @@ -1062,13 +1062,13 @@ A `++wing` or `++twig`. ------------------------------------------------------------------------ -

++tile

+### `++tile` See the Tile section of the Hoon Reference. ------------------------------------------------------------------------ -

++toga

+### `++toga` ++ toga :: face control $| p=term :: two togas @@ -1104,7 +1104,7 @@ using `^=`. ------------------------------------------------------------------------ -

++trap

+### `++trap` ++ trap ,_|.(_*) :: makes perfect sense @@ -1121,7 +1121,7 @@ See also: `|.` ------------------------------------------------------------------------ -

++trel

+### `++trel` ++ trel |* [a=$+(* *) b=$+(* *) c=$+(* *)] :: just a triple ,[p=a q=b r=c] :: @@ -1133,7 +1133,7 @@ Tile generator. `++trel` is a tuple of three of the types passed in. ------------------------------------------------------------------------ -

++tuna

+### `++tuna` ++ tuna :: tagflow $% [%a p=twig] :: plain text @@ -1154,13 +1154,13 @@ See also: `++sail` ------------------------------------------------------------------------ -

++twig

+### `++twig` See Twig section of Hoon reference ------------------------------------------------------------------------ -

++tine

+### `++tine` ++ tine (list ,[p=tile q=twig]) :: @@ -1186,7 +1186,7 @@ See also: `++twig` ------------------------------------------------------------------------ -

++tusk

+### `++tusk` ++ tusk (list twig) :: @@ -1202,7 +1202,7 @@ See also: `++twig` ------------------------------------------------------------------------ -

++tyre

+### `++tyre` ++ tyre (list ,[p=term q=twig]) :: @@ -1212,7 +1212,7 @@ See also: `++twig` ------------------------------------------------------------------------ -

++tyke

+### `++tyke` ++ tyke (list (unit twig)) :: @@ -1227,7 +1227,7 @@ where the `=` are inferred from your current path. ------------------------------------------------------------------------ -

++tram

+### `++tram` ++ tram (list ,[p=wing q=twig]) :: @@ -1246,7 +1246,7 @@ See also: `++twig` ------------------------------------------------------------------------ -

++nock

+### `++nock` ++ nock $& [p=nock q=nock] :: autocons $% [%0 p=@] :: axis select @@ -1272,7 +1272,7 @@ See Nock doc ------------------------------------------------------------------------ -

++tone

+### `++tone` ++ tone $% [%0 p=*] :: success [%1 p=(list)] :: blocks @@ -1314,7 +1314,7 @@ trace is not yet rendered. ------------------------------------------------------------------------ -

++toon

+### `++toon` ++ toon $% [%0 p=*] :: success [%1 p=(list)] :: blocks @@ -1337,7 +1337,7 @@ requests blocked on (`%1`), or failure with stack trace (`%2`). ------------------------------------------------------------------------ -

++tune

+### `++tune` ++ tune $% [%0 p=vase] :: [%1 p=(list)] :: @@ -1350,7 +1350,7 @@ Probably typed `tone`? ------------------------------------------------------------------------ -

++twin

+### `++twin` ++ twin ,[p=term q=wing r=axis s=type] :: alias info @@ -1368,13 +1368,13 @@ Aliasing. Used in `%bull` `++type` to typecheck aliased faces. ------------------------------------------------------------------------ -

++type

+### `++type` See Type section of Hoon reference ------------------------------------------------------------------------ -

++typo

+### `++typo` ++ typo type :: old type @@ -1385,7 +1385,7 @@ See also: `++seem`, `++vise`, `++type` ------------------------------------------------------------------------ -

++udal

+### `++udal` ++ udal :: atomic change (%b) $: p=@ud :: blockwidth @@ -1396,7 +1396,7 @@ XX Unused ------------------------------------------------------------------------ -

++udon

+### `++udon` ++ udon :: abstract delta $: p=umph :: preprocessor @@ -1412,7 +1412,7 @@ See `%clay` doc ------------------------------------------------------------------------ -

++umph

+### `++umph` ++ umph :: change filter $| $? %a :: no filter @@ -1426,7 +1426,7 @@ See `%clay` doc ------------------------------------------------------------------------ -

++unce

+### `++unce` ++ unce |* a=_,* :: change part $% [%& p=@ud] :: skip[copy] @@ -1437,7 +1437,7 @@ See `%clay` doc ------------------------------------------------------------------------ -

++unit

+### `++unit` ++ unit |* a=_,* :: maybe $|(~ [~ u=a]) :: @@ -1455,7 +1455,7 @@ See also: `++bind`, Section 2bA ------------------------------------------------------------------------ -

++upas

+### `++upas` ++ upas :: tree change (%d) $& [p=upas q=upas] :: cell @@ -1468,7 +1468,7 @@ See `%clay` doc ------------------------------------------------------------------------ -

++urge

+### `++urge` ++ urge |*(a=_,* (list (unce a))) :: list change @@ -1476,7 +1476,7 @@ See `%clay` doc ------------------------------------------------------------------------ -

++vase

+### `++vase` ++ vase ,[p=type q=*] :: type-value pair @@ -1490,7 +1490,7 @@ See `%arvo` doc ------------------------------------------------------------------------ -

++vise

+### `++vise` ++ vise ,[p=typo q=*] :: old vase @@ -1500,7 +1500,7 @@ See `++typo`, `++seer` ------------------------------------------------------------------------ -

++wall

+### `++wall` ++ wall (list tape) :: text lines (no \n) @@ -1523,7 +1523,7 @@ See also: `++wash` ------------------------------------------------------------------------ -

++wain

+### `++wain` ++ wain (list cord) :: text lines (no \n) @@ -1556,7 +1556,7 @@ See also: `++lore`, `++role` ------------------------------------------------------------------------ -

++wing

+### `++wing` ++ wing (list limb) :: @@ -1572,7 +1572,7 @@ See also: `++twig` ------------------------------------------------------------------------ -

++wine

+### `++wine` ++ wine $| ?(%noun %path %tank %void %wall %wool %yarn) $% [%atom p=term] :: @@ -1654,7 +1654,7 @@ See also: `++calf` ------------------------------------------------------------------------ -

++wonk

+### `++wonk` ++ wonk |*(veq=edge ?~(q.veq !! p.u.q.veq)) :: :: :: @@ -1682,7 +1682,7 @@ See also: `++edge`, Section 2eC ------------------------------------------------------------------------ -

++map

+### `++map` ++ map |* [a=_,* b=_,*] :: associative tree $|(~ [n=[p=a q=b] l=(map a b) r=(map a b)]) :: @@ -1700,7 +1700,7 @@ See also: `++by` ------------------------------------------------------------------------ -

++qeu

+### `++qeu` ++ qeu |* a=_,* :: queue $|(~ [n=a l=(qeu a) r=(qeu a)]) :: @@ -1717,7 +1717,7 @@ See also: `++to` ------------------------------------------------------------------------ -

++set

+### `++set` ++ set |* a=_,* :: set $|(~ [n=a l=(set a) r=(set a)]) :: @@ -1736,7 +1736,7 @@ See also: `++in` ------------------------------------------------------------------------ -

++jar

+### `++jar` ++ jar |*([a=_,* b=_,*] (map a (list b))) :: map of lists @@ -1760,7 +1760,7 @@ See also: `++ja`, `++by`, `++map`, `++list` ------------------------------------------------------------------------ -

++jug

+### `++jug` ++ jug |*([a=_,* b=_,*] (map a (set b))) :: map of sets diff --git a/pub/doc/hoon/library/2a.md b/pub/doc/hoon/library/2a.md index c49ba7c68..504eeedd0 100644 --- a/pub/doc/hoon/library/2a.md +++ b/pub/doc/hoon/library/2a.md @@ -1,7 +1,7 @@ chapter 2a, basic unsigned math =============================== -

++add

+### `++add` Add @@ -28,7 +28,7 @@ Produces the sum of `a` and `b` as an atom. ------------------------------------------------------------------------ -

++cap

+### `++cap` Tree head @@ -59,7 +59,7 @@ within the tail. ------------------------------------------------------------------------ -

++dec

+### `++dec` Decrement @@ -86,7 +86,7 @@ Produces `a-1` as an atom. ------------------------------------------------------------------------ -

++div

+### `++div` Divide @@ -117,7 +117,7 @@ Computes `a` divided by `b`, producing an atom. ------------------------------------------------------------------------ -

++fac

+### `++fac` Factorial @@ -142,7 +142,7 @@ Computes the factorial of `a`, producing an atom. ------------------------------------------------------------------------ -

++gte

+### `++gte` Greater-than/equal @@ -168,7 +168,7 @@ Tests whether `a` is greater than a number `b`, producing a loobean. ------------------------------------------------------------------------ -

++gth

+### `++gth` Greater-than @@ -192,7 +192,7 @@ Tests whether `a` is greater than `b`, producing a loobean. ------------------------------------------------------------------------ -

++lte

+### `++lte` Less-than/equal @@ -219,7 +219,7 @@ Tests whether `a` is less than or equal to `b`, producing a loobean. ------------------------------------------------------------------------ -

++lth

+### `++lth` Less-than @@ -252,7 +252,7 @@ Tests whether `a` is less than `b`, producing a loobean. ------------------------------------------------------------------------ -

++mas

+### `++mas` Axis within head/tail @@ -287,7 +287,7 @@ Computes the axis of `a` within the head or the tail, producing an atom. ~zod/try=> (mas 1) ! exit -

++max

+### `++max` Maximum @@ -314,7 +314,7 @@ Computes the maximum of `a` and `b`, producing an atom. ------------------------------------------------------------------------ -

++min

+### `++min` Minimum @@ -341,7 +341,7 @@ Computes the minimum of `a` and `b`, producing an atom. ------------------------------------------------------------------------ -

++mod

+### `++mod` Modulus @@ -361,7 +361,7 @@ Computes the remainder of dividing `a` by `b`, producing an atom. ------------------------------------------------------------------------ -

++mul

+### `++mul` Multiply @@ -388,7 +388,7 @@ Multiplies `a` by `b`, producing an atom. ------------------------------------------------------------------------ -

++peg

+### `++peg` Axis within axis @@ -419,7 +419,7 @@ Computes the axis of `b` within axis `a`, producing an atom. ------------------------------------------------------------------------ -

++sub

+### `++sub` Subtract diff --git a/pub/doc/hoon/library/2b.md b/pub/doc/hoon/library/2b.md index dfa3637a2..47248dcc2 100644 --- a/pub/doc/hoon/library/2b.md +++ b/pub/doc/hoon/library/2b.md @@ -4,7 +4,7 @@ chapter 2b, basic containers Section 2bA, units ------------------ -

++biff

+### `++biff` Unit as argument @@ -27,7 +27,7 @@ Applies a gate that produces a unit, `b`, to the value (`u.a`) of a unit ------------------------------------------------------------------------ -

++bind

+### `++bind` Bind @@ -51,7 +51,7 @@ unit. ------------------------------------------------------------------------ -

++bond

+### `++bond` Replace null @@ -77,7 +77,7 @@ unit is not empty, then the original unit is produced. ------------------------------------------------------------------------ -

++both

+### `++both` Group unit values @@ -101,7 +101,7 @@ Produces a unit whose value is a cell of the values of two input units ------------------------------------------------------------------------ -

++clap

+### `++clap` Apply gate to two units @@ -133,7 +133,7 @@ two units `a` and `b`. ------------------------------------------------------------------------ -

++drop

+### `++drop` Unit list @@ -155,7 +155,7 @@ Produces a [list]() of the value from a unit `a`. ------------------------------------------------------------------------ -

++fall

+### `++fall` Default unit @@ -177,7 +177,7 @@ null. ------------------------------------------------------------------------ -

++lift

+### `++lift` Fmap @@ -201,7 +201,7 @@ produces a unit value. ------------------------------------------------------------------------ -

++mate

+### `++mate` Choose @@ -237,7 +237,7 @@ produces that value. If the assertion fails, `++mate` crashes with ------------------------------------------------------------------------ -

++need

+### `++need` Unwrap @@ -262,7 +262,7 @@ Retrieve the value from a unit and crash if the unit is null. ------------------------------------------------------------------------ -

++some

+### `++some` Unify @@ -286,7 +286,7 @@ section 2bB, lists Reverse -

++flop

+### `++flop` ++ flop :: reverse ~/ %flop @@ -306,7 +306,7 @@ Produces the list `a` in reverse order. ~zod/try=> (flop a) ~[3 2 1] -

++homo

+### `++homo` Homogenize @@ -332,7 +332,7 @@ list `a`. ~zod/try=> (homo a) ~[1 2 3] -

++limo

+### `++limo` List Constructor @@ -350,7 +350,7 @@ Turns a null-terminated tuple into a list. ~zod/try=> (limo [1 2 3 ~]) [i=1 t=[i=2 t=[i=3 t=~]]] -

++lent

+### `++lent` List length @@ -374,7 +374,7 @@ Produces the length of any list `a` as an atom. ------------------------------------------------------------------------ -

++levy

+### `++levy` "and" to list @@ -402,7 +402,7 @@ passed to gate `b`. ------------------------------------------------------------------------ -

++lien

+### `++lien` "or" to list @@ -430,7 +430,7 @@ passed to gate `b`. ------------------------------------------------------------------------ -

++murn

+### `++murn` Maybe transform @@ -454,7 +454,7 @@ Produces a new list with all the results that do not produce `~`. ~zod/try=> (murn (limo [0 1 2 3 ~]) a) [i=12 t=[i=13 t=~]] -

++reap

+### `++reap` Replicate @@ -479,7 +479,7 @@ Replicate: produces a list containing `a` copies of `b`. ------------------------------------------------------------------------ -

++reel

+### `++reel` Right fold @@ -511,7 +511,7 @@ the final value of the accumulator. ------------------------------------------------------------------------ -

++roll

+### `++roll` Left fold @@ -543,7 +543,7 @@ producing the final value of the accumulator. ------------------------------------------------------------------------ -

++skid

+### `++skid` Separate @@ -567,7 +567,7 @@ true when slammed to gate `b` and those who produce `%.n`. ------------------------------------------------------------------------ -

++skim

+### `++skim` Suffix @@ -593,7 +593,7 @@ producing a list of all of the members that produce `%.y`. Inverse of ------------------------------------------------------------------------ -

++skip

+### `++skip` Except @@ -619,7 +619,7 @@ producing a list of all of the members that produce `%.n`. Inverse of ------------------------------------------------------------------------ -

++scag

+### `++scag` Prefix @@ -644,7 +644,7 @@ the front of the list. ------------------------------------------------------------------------ -

++slag

+### `++slag` Suffix @@ -670,7 +670,7 @@ Accepts an atom `a` and list `b`, producing the remaining elements from ------------------------------------------------------------------------ -

++snag

+### `++snag` Index @@ -697,7 +697,7 @@ of `a`and failing if the list is null. Lists are 0-indexed. ------------------------------------------------------------------------ -

++sort

+### `++sort` Quicksort @@ -726,7 +726,7 @@ sorted according to `b`. ------------------------------------------------------------------------ -

++swag

+### `++swag` Infix @@ -748,7 +748,7 @@ inclusive index `a`, producing `b` number of characters. ------------------------------------------------------------------------ -

++turn

+### `++turn` Gate to list @@ -774,7 +774,7 @@ to each element of the original list. ------------------------------------------------------------------------ -

++weld

+### `++weld` Concatenate @@ -797,7 +797,7 @@ Concatenate two lists `a` and `b`. ------------------------------------------------------------------------ -

++welp

+### `++welp` Perfect weld @@ -827,7 +827,7 @@ to homogenization. ------------------------------------------------------------------------ -

++wild

+### `++wild` XXDELETE @@ -873,7 +873,7 @@ individually. ------------------------------------------------------------------------ -

++zing

+### `++zing` Cons diff --git a/pub/doc/hoon/library/2c.md b/pub/doc/hoon/library/2c.md index 5f2fa43bf..577efdd0a 100644 --- a/pub/doc/hoon/library/2c.md +++ b/pub/doc/hoon/library/2c.md @@ -4,7 +4,7 @@ chapter 2c, simple noun surgery section 2cA, bit surgery ------------------------ -

++bex

+### `++bex` Binary exponent @@ -28,7 +28,7 @@ Computes the result of `2^a`, producing an atom. ------------------------------------------------------------------------ -

++xeb

+### `++xeb` Binary logarithm @@ -57,7 +57,7 @@ Computes the base-2 logarithm of `a`, producing an atom. ------------------------------------------------------------------------ -

++can

+### `++can` Assemble @@ -91,7 +91,7 @@ value. ------------------------------------------------------------------------ -

++cat

+### `++cat` Concatenate @@ -130,7 +130,7 @@ atom. ------------------------------------------------------------------------ -

++cut

+### `++cut` Slice @@ -167,7 +167,7 @@ Produces an atom. ------------------------------------------------------------------------ -

++end

+### `++end` Tail @@ -203,7 +203,7 @@ Produces an atom by taking the last `b` blocks of size `a` from `c`. ------------------------------------------------------------------------ -

++fil

+### `++fil` Fill bloqstream @@ -235,7 +235,7 @@ Produces an atom by repeating `c` for `b` blocks of size `a`. ------------------------------------------------------------------------ -

++lsh

+### `++lsh` Left-shift @@ -267,7 +267,7 @@ Produces an atom by left-shifting `c` by `b` blocks of size `a`. ------------------------------------------------------------------------ -

++met

+### `++met` Measure @@ -299,7 +299,7 @@ Computes the number of blocks of size `a` in `b`, producing an atom. ------------------------------------------------------------------------ -

++rap

+### `++rap` Assemble non-zero @@ -327,7 +327,7 @@ Concatenate a list of atoms `b` using blocksize `a`, producing an atom. ------------------------------------------------------------------------ -

++rep

+### `++rep` Assemble single @@ -363,7 +363,7 @@ Produces an atom by assembling a list of atoms `b` using block size `a`. ------------------------------------------------------------------------ -

++rip

+### `++rip` Disassemble @@ -399,7 +399,7 @@ Produces a list of atoms from the bits of `b` using block size `a`. ------------------------------------------------------------------------ -

++rsh

+### `++rsh` Right-shift @@ -441,7 +441,7 @@ Right-shifts `c` by `b` blocks of size `a`, producing an atom. ------------------------------------------------------------------------ -

++swap

+### `++swap` Reverse block order @@ -470,7 +470,7 @@ reversing the block order of `b` using block size `a`. section 2cB, bit logic ---------------------- -

++con

+### `++con` Binary OR @@ -513,7 +513,7 @@ atom. ------------------------------------------------------------------------ -

++dis

+### `++dis` Binary AND @@ -560,7 +560,7 @@ atom. ------------------------------------------------------------------------ -

++mix

+### `++mix` Binary XOR @@ -599,7 +599,7 @@ Produces the bit-wise logical XOR of `a` and `b`, producing an atom. ------------------------------------------------------------------------ -

++not

+### `++not` Binary NOT @@ -633,7 +633,7 @@ of `c`. section 2cC, noun orders ------------------------ -

++aor

+### `++aor` Alphabetic order @@ -680,7 +680,7 @@ loobean. ------------------------------------------------------------------------ -

++dor

+### `++dor` Numeric order @@ -719,7 +719,7 @@ loobean. ------------------------------------------------------------------------ -

++gor

+### `++gor` Hash order @@ -758,7 +758,7 @@ XX revisit ------------------------------------------------------------------------ -

++hor

+### `++hor` Hash order @@ -789,7 +789,7 @@ Recursive hash comparator gate. ------------------------------------------------------------------------ -

++vor

+### `++vor` ++ vor :: v-order ~/ %vor @@ -814,7 +814,7 @@ Double hash comparator gate. section 2cD, insecure hashing ----------------------------- -

++fnv

+### `++fnv` ++ fnv |=(a=@ (end 5 1 (mul 16.777.619 a))) :: FNV scrambler @@ -833,7 +833,7 @@ of size 5 off the product's end, producing atom. ------------------------------------------------------------------------ -

++mum

+### `++mum` ++ mum :: mug with murmur3 ~/ %mum @@ -889,7 +889,7 @@ XX document ~zod/try=> (mum ~[1 2 3 4 5]) 1.517.902.092 -

++mug

+### `++mug` ++ mug :: 31bit nonzero FNV1a ~/ %mug @@ -929,7 +929,7 @@ algorithm, producing an atom. section 2cE, phonetic base -------------------------- -

++po

+### `++po` ++ po ~/ %po @@ -975,7 +975,7 @@ contained in this section. ------------------------------------------------------------------------ -

++ind

+### `++ind` Parse prefix @@ -998,7 +998,7 @@ Produces the byte of the right-hand syllable `a`. ------------------------------------------------------------------------ -

++ins

+### `++ins` Parse suffix @@ -1023,7 +1023,7 @@ Produces the byte of the left-hand phonetic syllable `b`. ------------------------------------------------------------------------ -

++tod

+### `++tod` Fetch prefix @@ -1050,7 +1050,7 @@ atom. ------------------------------------------------------------------------ -

++tos

+### `++tos` Fetch suffix @@ -1074,7 +1074,7 @@ atom. section 2cF, signed and modular ints ------------------------------------ -

++si

+### `++si` ++ si !: :: signed integer |% @@ -1083,7 +1083,7 @@ Container for the signed integer functions. ------------------------------------------------------------------------ -

++abs

+### `++abs` ++ abs |=(a=@s (add (end 0 1 a) (rsh 0 1 a))) :: absolute value @@ -1100,7 +1100,7 @@ Produces the absolute value of a signed integer. ------------------------------------------------------------------------ -

++dif

+### `++dif` ++ dif |= [a=@s b=@s] :: subtraction (sum a (new !(syn b) (abs b))) @@ -1122,7 +1122,7 @@ Produces the difference between two signed integers `b` and `c`. ------------------------------------------------------------------------ -

++dul

+### `++dul` ++ dul |= [a=@s b=@] :: modulus =+(c=(old a) ?:(-.c (mod +.c b) (sub b +.c))) @@ -1146,7 +1146,7 @@ Produces the modulus of two signed integers. ------------------------------------------------------------------------ -

++fra

+### `++fra` ++ fra |= [a=@s b=@s] :: divide (new =(0 (mix (syn a) (syn b))) (div (abs a) (abs b))) @@ -1164,7 +1164,7 @@ Produces the quotient of two signed integers. ------------------------------------------------------------------------ -

++new

+### `++new` ++ new |= [a=? b=@] :: [sign value] to @s `@s`?:(a (mul 2 b) ?:(=(0 b) 0 +((mul 2 (dec b))))) @@ -1184,7 +1184,7 @@ Produces a signed integer from a loobean sign value `a` and an atom `b`. ------------------------------------------------------------------------ -

++old

+### `++old` ++ old |=(a=@s [(syn a) (abs a)]) :: [sign value] @@ -1206,7 +1206,7 @@ Produces the cell `[sign value]` representations of a signed integer. ------------------------------------------------------------------------ -

++pro

+### `++pro` ++ pro |= [a=@s b=@s] :: multiplication (new =(0 (mix (syn a) (syn b))) (mul (abs a) (abs b))) @@ -1228,7 +1228,7 @@ Produces the product of two signed integers. ------------------------------------------------------------------------ -

++rem

+### `++rem` ++ rem |=([a=@s b=@s] (dif a (pro b (fra a b)))) :: remainder @@ -1251,7 +1251,7 @@ Produces the remainder from a division of two signed integers. ------------------------------------------------------------------------ -

++sum

+### `++sum` ++ sum |= [a=@s b=@s] :: addition ~| %si-sum @@ -1285,7 +1285,7 @@ Sum two signed integers. ------------------------------------------------------------------------ -

++sun

+### `++sun` ++ sun |=(a=@u (mul 2 a)) :: @u to @s @@ -1309,7 +1309,7 @@ inferred as an unsigned integer in the type system. ------------------------------------------------------------------------ -

++syn

+### `++syn` ++ syn |=(a=@s =(0 (end 0 1 a))) :: sign test @@ -1326,7 +1326,7 @@ Produce the sign of a signed integer, `&` being posiitve, `|` negative. ------------------------------------------------------------------------ -

++cmp

+### `++cmp` ++ cmp |= [a=@s b=@s] :: compare ^- @s @@ -1359,7 +1359,7 @@ Compare two signed integers. ~zod/try=> (cmp:si -10 --7) -1 -

++dif

+### `++dif` ++ dif |=([b=@ c=@] (sit (sub (add out (sit b)) (sit c)))) @@ -1389,7 +1389,7 @@ representation. ------------------------------------------------------------------------ -

++inv

+### `++inv` ++ inv |=(b=@ (sub (dec out) (sit b))) @@ -1412,7 +1412,7 @@ Inverts the order of the modular field. ------------------------------------------------------------------------ -

++net

+### `++net` ++ net |= b=@ ^- @ => .(b (sit b)) @@ -1476,7 +1476,7 @@ Reverse bytes within block. ------------------------------------------------------------------------ -

++out

+### `++out` ++ out (bex (bex a)) @@ -1503,7 +1503,7 @@ The maximum integer value that the current block can store. ------------------------------------------------------------------------ -

++rol

+### `++rol` ++ rol |= [b=bloq c=@ d=@] ^- @ :: roll left =+ e=(sit d) @@ -1532,7 +1532,7 @@ Roll `d` to the left by `c` `b`-sized blocks. ------------------------------------------------------------------------ -

++ror

+### `++ror` ++ ror |= [b=bloq c=@ d=@] ^- @ :: roll right =+ e=(sit d) @@ -1563,7 +1563,7 @@ Roll `d` to the right by `c` `b`-sized blocks. ------------------------------------------------------------------------ -

++sum

+### `++sum` ++ sum |=([b=@ c=@] (sit (add b c))) :: wrapping add @@ -1588,7 +1588,7 @@ Sum two numbers in this modular field. ~zod/try=> (~(sum fe 4) 10.000 100.000) 44.464 -

++sit

+### `++sit` ++ sit |=(b=@ (end a 1 b)) :: enforce modulo @@ -1635,7 +1635,7 @@ format. We use this for many of our examples. ~zod/try=> -<- ~2014.8.4..19.39.59..9288 -

++year

+### `++year` ++ year :: date to @d |= det=date @@ -1657,7 +1657,7 @@ its `@d`representation. ------------------------------------------------------------------------ -

++yore

+### `++yore` ++ yore :: @d to date |= now=@d @@ -1678,7 +1678,7 @@ Produces a `++date` from a `@d` ~zod/try=> (yore -<-) [[a=%.y y=2.014] m=8 t=[d=4 h=20 m=28 s=53 f=~[0x7b82]]] -

++yell

+### `++yell` ++ yell :: tarp from @d |= now=@d @@ -1712,7 +1712,7 @@ Produce a parsed daily time format from an atomic date. ------------------------------------------------------------------------ -

++yule

+### `++yule` ++ yule :: time atom |= rip=tarp @@ -1752,7 +1752,7 @@ Accept a [`++tarp`](/doc/hoon/library/1#++tarp), a parsed daily time, and produc ------------------------------------------------------------------------ -

++yall

+### `++yall` ++ yall :: day # to day of year |= day=@ud @@ -1792,7 +1792,7 @@ day from a number of days from the beginning of time. ------------------------------------------------------------------------ -

++yawn

+### `++yawn` ++ yawn :: days since Jesus |= [yer=@ud mot=@ud day=@ud] @@ -1837,7 +1837,7 @@ tuple `[yer=@ud mot=@ud day=@ud]`. ------------------------------------------------------------------------ -

++yelp

+### `++yelp` ++ yelp :: leap year |= yer=@ud ^- ? @@ -1859,14 +1859,14 @@ loobean. ------------------------------------------------------------------------ -

++yo

+### `++yo` ++ yo :: time constants Useful constants for interacting with earth time. -

++cet

+### `++cet` |% ++ cet 36.524 :: (add 24 (mul 100 365)) @@ -1883,7 +1883,7 @@ days from leap years in a century (24). ------------------------------------------------------------------------ -

++day

+### `++day` ++ day 86.400 :: (mul 24 hor) @@ -1896,7 +1896,7 @@ Number of seconds in a day. ------------------------------------------------------------------------ -

++era

+### `++era` ++ era 146.097 :: (add 1 (mul 4 cet)) @@ -1904,7 +1904,7 @@ XX Revisit ------------------------------------------------------------------------ -

++hor

+### `++hor` ++ hor 3.600 :: (mul 60 mit) @@ -1918,7 +1918,7 @@ seconds in a minute by the minutes in an hour. ------------------------------------------------------------------------ -

++jes

+### `++jes` ++ jes 106.751.991.084.417 :: (mul 730.692.561 era) @@ -1929,7 +1929,7 @@ XX Revisit ------------------------------------------------------------------------ -

++mit

+### `++mit` ++ mit 60 @@ -1940,7 +1940,7 @@ The number of seconds in a minute. ------------------------------------------------------------------------ -

++moh

+### `++moh` ++ moh `(list ,@ud)`[31 28 31 30 31 30 31 31 30 31 30 31 ~] @@ -1955,7 +1955,7 @@ month at the year at that index. ------------------------------------------------------------------------ -

++moy

+### `++moy` ++ moy `(list ,@ud)`[31 29 31 30 31 30 31 31 30 31 30 31 ~] @@ -1970,7 +1970,7 @@ month at the leap-year at that index. ------------------------------------------------------------------------ -

++qad

+### `++qad` ++ qad 126.144.001 :: (add 1 (mul 4 yer)) @@ -1982,7 +1982,7 @@ number of seconds in four years. ------------------------------------------------------------------------ -

++yer

+### `++yer` ++ yer 31.536.000 :: (mul 365 day) @@ -1997,7 +1997,7 @@ seconds in a day by 365. section 2cI, almost macros -------------------------- -

++cury

+### `++cury` ++ cury |* [a=_|=(^ _*) b=*] @@ -2018,7 +2018,7 @@ Curry a gate, binding the head of its sample ------------------------------------------------------------------------ -

++curr

+### `++curr` ++ curr |* [a=_|=(^ _*) c=*] @@ -2039,7 +2039,7 @@ Right curry a gate, binding the tail of its sample ------------------------------------------------------------------------ -

++cork

+### `++cork` ++ cork |*([a=_,* b=gate] (corl b a)) :: compose forward @@ -2059,7 +2059,7 @@ Build `f` such that `(f x) .= (b (a x))`. ------------------------------------------------------------------------ -

++corl

+### `++corl` ++ corl :: compose backwards |* [a=gate b=_,*] @@ -2079,7 +2079,7 @@ XX Revisit ------------------------------------------------------------------------ -

++hard

+### `++hard` ++ hard |* han=$+(* *) @@ -2103,7 +2103,7 @@ not. ------------------------------------------------------------------------ -

++soft

+### `++soft` ++ soft |* han=$+(* *) diff --git a/pub/doc/hoon/library/2da.md b/pub/doc/hoon/library/2da.md index 811e1e0c7..a29d0fcc4 100644 --- a/pub/doc/hoon/library/2da.md +++ b/pub/doc/hoon/library/2da.md @@ -1,7 +1,7 @@ section 2dA, sets ================= -

++apt

+### `++apt` Set verification @@ -29,7 +29,7 @@ Produces a loobean indicating whether `a` is a set or not. ------------------------------------------------------------------------ -

++in

+### `++in` Set operations @@ -44,7 +44,7 @@ Input arm. `a` is a [set]() -

+-all:in

+### `+-all:in` Logical AND @@ -73,7 +73,7 @@ producing a loobean. ------------------------------------------------------------------------ -

+-any:in

+### `+-any:in` Logical OR @@ -101,7 +101,7 @@ Computes the logical OR on every element of `a` slammed with `b`. ------------------------------------------------------------------------ -

+-del:in

+### `+-del:in` Remove noun @@ -140,7 +140,7 @@ Removes `b` from the set `a`. ------------------------------------------------------------------------ -

+-dig:in

+### `+-dig:in` Axis a in b @@ -175,7 +175,7 @@ Produce the axis of `b` within `a`. ------------------------------------------------------------------------ -

+-gas:in

+### `+-gas:in` Concatenate @@ -203,7 +203,7 @@ Insert the elements of a list `b` into a set `a`. ------------------------------------------------------------------------ -

+-has:in

+### `+-has:in` b in a? @@ -234,7 +234,7 @@ Checks if `b` is an element of `a`, producing a loobean. ------------------------------------------------------------------------ -

+-int:in

+### `+-int:in` Intersection @@ -272,7 +272,7 @@ Produces a set of the intersection between two sets of the same type, ------------------------------------------------------------------------ -

+-put:in

+### `+-put:in` Put b in a @@ -312,7 +312,7 @@ Add an element `b` to the set `a`. ------------------------------------------------------------------------ -

+-rep:in

+### `+-rep:in` Accumulate @@ -339,7 +339,7 @@ Accumulate the elements of `a` using a gate `c` and an accumulator `b`. ------------------------------------------------------------------------ -

+-tap:in

+### `+-tap:in` Set to list @@ -372,7 +372,7 @@ Flatten the set `a` into a list. ------------------------------------------------------------------------ -

+-uni:in

+### `+-uni:in` Union @@ -414,7 +414,7 @@ Produces a set of the union between two sets of the same type, `a` and ------------------------------------------------------------------------ -

+-wyt:in

+### `+-wyt:in` Set size diff --git a/pub/doc/hoon/library/2db.md b/pub/doc/hoon/library/2db.md index 696d130b8..0bf30fe9c 100644 --- a/pub/doc/hoon/library/2db.md +++ b/pub/doc/hoon/library/2db.md @@ -1,7 +1,7 @@ section 2dB, maps ================= -

++ept

+### `++ept` Map invariant. @@ -29,7 +29,7 @@ Computes whether `a` is a [map](), producing a loobean. ------------------------------------------------------------------------ -

++ja

+### `++ja` Jar engine @@ -46,7 +46,7 @@ A container arm for `++jar` operation arms. A `++jar` is a `++map` of ------------------------------------------------------------------------ -

+-get:ja

+### `+-get:ja` Grab value by key @@ -73,7 +73,7 @@ Produces a list retrieved from jar `a` using the key `b`. ------------------------------------------------------------------------ -

+-add:ja

+### `+-add:ja` Prepend to list @@ -106,7 +106,7 @@ Produces jar `a` with value `c` prepended to the list located at key ------------------------------------------------------------------------ -

++ju

+### `++ju` Jug operations @@ -121,7 +121,7 @@ Container arm for jug operation arms. A `++jug` is a `++map` of ~zod/try=> ~(. ju (mo (limo a/(sa "ho") b/(sa "he") ~))) <2.dgz [nlr([p={%a %b} q={nlr(^$1{@tD $1}) nlr(^$3{@tD $3})}]) <414.fvk 101.jzo 1.ypj %164>]> -

+-del:ju

+### `+-del:ju` Remove @@ -152,7 +152,7 @@ removed. ------------------------------------------------------------------------ -

+-get:ju

+### `+-get:ju` Retrieve set @@ -178,7 +178,7 @@ Produces a set retrieved from jar `a` using key `b`. ------------------------------------------------------------------------ -

+-has:ju

+### `+-has:ju` Check contents @@ -213,7 +213,7 @@ with jar `a`. Produces a loobean. ------------------------------------------------------------------------ -

+-put:ju

+### `+-put:ju` Add key-set pair @@ -242,7 +242,7 @@ Produces jar `a` with `c` added to the set value located at key `b`. ------------------------------------------------------------------------ -

++by

+### `++by` Map operations @@ -260,7 +260,7 @@ pairs. The contained arms inherit it's [sample]() [map](), `a`. ------------------------------------------------------------------------ -

+-all:by

+### `+-all:by` Logical AND @@ -290,7 +290,7 @@ Computes the logical AND on the results of slamming every element in map ------------------------------------------------------------------------ -

+-any:by

+### `+-any:by` Logical OR @@ -318,7 +318,7 @@ gate `b`. Produces a loobean. ------------------------------------------------------------------------ -

+-del:by

+### `+-del:by` Delete @@ -351,7 +351,7 @@ Produces map `a` with the element located at key `b` removed. ------------------------------------------------------------------------ -

+-dig:by

+### `+-dig:by` Axis of key @@ -377,7 +377,7 @@ Produce the axis of key `b` within map `a`. ------------------------------------------------------------------------ -

+-gas:by

+### `+-gas:by` Concatenate @@ -403,7 +403,7 @@ Insert a list of key-value pairs `b` into map `a`. ------------------------------------------------------------------------ -

+-get:by

+### `+-get:by` Grab unit value @@ -431,7 +431,7 @@ Produce the unit value of the value located at key `b` within map `a`. ------------------------------------------------------------------------ -

+-got:by

+### `+-got:by` Assert @@ -459,7 +459,7 @@ does not exist. ------------------------------------------------------------------------ -

+-has:by

+### `+-has:by` Key existence check @@ -483,7 +483,7 @@ loobean. ------------------------------------------------------------------------ -

+-int:by

+### `+-int:by` Intersection @@ -539,7 +539,7 @@ different values, the element from map `b` is used. ------------------------------------------------------------------------ -

+-mar:by

+### `+-mar:by` Assert and Add @@ -575,7 +575,7 @@ XX This arm is broken, asana task 15186618346453 ------------------------------------------------------------------------ -

+-put:by

+### `+-put:by` Add key-value pair @@ -621,7 +621,7 @@ Produces `a` with the addition of the key-value pair of `b` and `c`. ------------------------------------------------------------------------ -

+-rep:by

+### `+-rep:by` +- rep :: replace by product |* [b=* c=_,*] @@ -635,7 +635,7 @@ XX interface changing. ------------------------------------------------------------------------ -

+-rib:by

+### `+-rib:by` +- rib :: transform + product |* [b=* c=_,*] @@ -653,7 +653,7 @@ XX interface changing, possibly disappearing ------------------------------------------------------------------------ -

+-run:by

+### `+-run:by` Transform values @@ -678,7 +678,7 @@ Iterates over every value in set `a` using gate `b`. Produces a map. ------------------------------------------------------------------------ -

+-tap:by

+### `+-tap:by` Listify pairs @@ -707,7 +707,7 @@ Produces the list of all elements in map `a` that is prepended to list ------------------------------------------------------------------------ -

+-uni:by

+### `+-uni:by` Union @@ -758,7 +758,7 @@ shares a key with `a`, the tuple from `a` is preserved. ------------------------------------------------------------------------ -

+-urn:by

+### `+-urn:by` Turn (with key) @@ -787,7 +787,7 @@ produces a noun (the new value). ------------------------------------------------------------------------ -

+-wyt:by

+### `+-wyt:by` Depth diff --git a/pub/doc/hoon/library/2dc.md b/pub/doc/hoon/library/2dc.md index 653e159f6..5f3935d38 100644 --- a/pub/doc/hoon/library/2dc.md +++ b/pub/doc/hoon/library/2dc.md @@ -1,7 +1,7 @@ section 2dC, queues =================== -

++to

+### `++to` Queue engine @@ -13,7 +13,7 @@ Container arm for queue operation arms. The contained arms inherit its `a` is a queue, [++qeu](). -

+-bal:to

+### `+-bal:to` Balance @@ -42,7 +42,7 @@ Vertically rebalances queue `a`. ------------------------------------------------------------------------ -

+-dep:to

+### `+-dep:to` Maximum Depth @@ -72,7 +72,7 @@ Produces the maximum depth of leaves (r.a and l.a) in queue `a`. ------------------------------------------------------------------------ -

+-gas

+### `+-gas` Push list @@ -97,7 +97,7 @@ Push all elements of list `b` into the queue. ------------------------------------------------------------------------ -

+-get:to

+### `+-get:to` Pop @@ -126,7 +126,7 @@ Produces the head and tail queue of `a`. ------------------------------------------------------------------------ -

+-nap:to

+### `+-nap:to` Remove last in @@ -154,7 +154,7 @@ Removes the head of queue `a`, producing the resulting queue. ------------------------------------------------------------------------ -

+-put:to

+### `+-put:to` Insert @@ -179,7 +179,7 @@ resulting queue. ------------------------------------------------------------------------ -

+-tap:to

+### `+-tap:to` Queue to list @@ -203,7 +203,7 @@ Produces queue `a` as a list from front to back. ------------------------------------------------------------------------ -

+-top:to

+### `+-top:to` +- top :: produces head |- ^- (unit ,_?>(?=(^ a) n.a)) diff --git a/pub/doc/hoon/library/2dd.md b/pub/doc/hoon/library/2dd.md index 0b49e99ec..e4087edba 100644 --- a/pub/doc/hoon/library/2dd.md +++ b/pub/doc/hoon/library/2dd.md @@ -1,7 +1,7 @@ section 2dD, casual containers ============================== -

++mo

+### `++mo` Map from list @@ -23,7 +23,7 @@ Produces a map of key-value pairs from the left-right cell pairs of list ------------------------------------------------------------------------ -

++sa

+### `++sa` Set from list @@ -45,7 +45,7 @@ Produces a set of the elements in list `a`. ------------------------------------------------------------------------ -

++qu

+### `++qu` Queue from list diff --git a/pub/doc/hoon/library/2ea.md b/pub/doc/hoon/library/2ea.md index 31f5641e6..b341c82d0 100644 --- a/pub/doc/hoon/library/2ea.md +++ b/pub/doc/hoon/library/2ea.md @@ -1,7 +1,7 @@ section 2eA, packing ==================== -

++cue

+### `++cue` Unpack atom to noun @@ -41,7 +41,7 @@ Produces a noun unpacked from atom `a`. The inverse of jam. ------------------------------------------------------------------------ -

++jam

+### `++jam` ++ jam :: pack ~/ %jam @@ -83,7 +83,7 @@ Produces an atom unpacked from noun `a`. The inverse of cue. ------------------------------------------------------------------------ -

++mat

+### `++mat` Length-encode @@ -123,7 +123,7 @@ is the length of `q` in bits. ------------------------------------------------------------------------ -

++rub

+### `++rub` Length-decode diff --git a/pub/doc/hoon/library/2eb.md b/pub/doc/hoon/library/2eb.md index 333700928..7dfd5560d 100644 --- a/pub/doc/hoon/library/2eb.md +++ b/pub/doc/hoon/library/2eb.md @@ -1,7 +1,7 @@ section 2eB, parsing (tracing) ============================== -

++last

+### `++last` Farther trace @@ -30,7 +30,7 @@ Compares two line-column pairs, `zyc` and `naz`, and produces whichever ------------------------------------------------------------------------ -

++lust

+### `++lust` Detect newline diff --git a/pub/doc/hoon/library/2ec.md b/pub/doc/hoon/library/2ec.md index 9e5cfdedb..33b30c493 100644 --- a/pub/doc/hoon/library/2ec.md +++ b/pub/doc/hoon/library/2ec.md @@ -1,7 +1,7 @@ section 2eC, parsing (custom rules) =================================== -

++cold

+### `++cold` Replace with constant @@ -30,7 +30,7 @@ produces a constant `cus`, if `sef` is successful. ------------------------------------------------------------------------ -

++cook

+### `++cook` Apply gate @@ -63,7 +63,7 @@ rule `sef` and slams it through `poq`. ------------------------------------------------------------------------ -

++easy

+### `++easy` Always parse @@ -88,7 +88,7 @@ without consuming any text. ------------------------------------------------------------------------ -

++fail

+### `++fail` Never parse @@ -106,7 +106,7 @@ result (`q=~`). ------------------------------------------------------------------------ -

++full

+### `++full` Parse to end @@ -131,7 +131,7 @@ when a `tub` success consumes the remainder of the [tape](). ------------------------------------------------------------------------ -

++funk

+### `++funk` Add to tape @@ -154,7 +154,7 @@ Parser modifier: prepend text to tape before applying parser. ------------------------------------------------------------------------ -

++here

+### `++here` Place-based apply @@ -186,7 +186,7 @@ Parser modifier. Similar to [`++cook`](), produces a parser that takes a ------------------------------------------------------------------------ -

++inde

+### `++inde` Indentation block @@ -231,7 +231,7 @@ the leading whitespace. ------------------------------------------------------------------------ -

++jest

+### `++jest` Match a cord @@ -266,7 +266,7 @@ Match and consume a cord. ------------------------------------------------------------------------ -

++just

+### `++just` Match a char @@ -300,7 +300,7 @@ Match and consume a single character. ------------------------------------------------------------------------ -

++knee

+### `++knee` Recursive parsers @@ -341,7 +341,7 @@ compiled. ------------------------------------------------------------------------ -

++mask

+### `++mask` Match char @@ -374,7 +374,7 @@ characters. ------------------------------------------------------------------------ -

++next

+### `++next` Consume char @@ -398,7 +398,7 @@ Consume any character, producing it as a result. ------------------------------------------------------------------------ -

++sear

+### `++sear` Conditional `++cook` @@ -426,7 +426,7 @@ a unit; if that unit is empty, fail. ------------------------------------------------------------------------ -

++shim

+### `++shim` Char in range @@ -456,7 +456,7 @@ Match characters within a range. ------------------------------------------------------------------------ -

++stag

+### `++stag` Add label @@ -486,7 +486,7 @@ Add a label to an edge parsed by a rule. ------------------------------------------------------------------------ -

++stet

+### `++stet` Add faces @@ -523,7 +523,7 @@ Add `[p q]` faces to range-parser pairs in a list. ------------------------------------------------------------------------ -

++stew

+### `++stew` Switch by first @@ -578,7 +578,7 @@ associated with a range the tape's first character falls in. ------------------------------------------------------------------------ -

++stir

+### `++stir` Parse repeatedly @@ -612,7 +612,7 @@ binary gate. ------------------------------------------------------------------------ -

++stun

+### `++stun` Parse several times diff --git a/pub/doc/hoon/library/2ed.md b/pub/doc/hoon/library/2ed.md index 63671e04e..159d64062 100644 --- a/pub/doc/hoon/library/2ed.md +++ b/pub/doc/hoon/library/2ed.md @@ -1,7 +1,7 @@ section 2eD =========== -

++bend

+### `++bend` Conditional composer @@ -50,7 +50,7 @@ group of rules to a specified output. ------------------------------------------------------------------------ -

++comp

+### `++comp` Arbitrary compose @@ -87,7 +87,7 @@ produces a cell of two nouns. ------------------------------------------------------------------------ -

++glue

+### `++glue` Skip delimiter @@ -120,7 +120,7 @@ result. ------------------------------------------------------------------------ -

++less

+### `++less` Parse unless @@ -150,7 +150,7 @@ connect `vex` with the following rule. ------------------------------------------------------------------------ -

++pfix

+### `++pfix` Discard first rule @@ -171,7 +171,7 @@ ignoring the result of the first and producing the result of the second. ------------------------------------------------------------------------ -

++plug

+### `++plug` Parse to tuple @@ -204,7 +204,7 @@ more detailed explanation. ------------------------------------------------------------------------ -

++pose

+### `++pose` Parse options @@ -235,7 +235,7 @@ following rule `sab`. See also: the monad applicator [;\~]() ------------------------------------------------------------------------ -

++simu

+### `++simu` First and second @@ -266,7 +266,7 @@ connect `vex` with the following rule. ------------------------------------------------------------------------ -

++sfix

+### `++sfix` Discard second rule diff --git a/pub/doc/hoon/library/2ee.md b/pub/doc/hoon/library/2ee.md index b98d3c2fc..ba748aa48 100644 --- a/pub/doc/hoon/library/2ee.md +++ b/pub/doc/hoon/library/2ee.md @@ -1,7 +1,7 @@ section 2eE, parsing (composers) ================================ -

++bass

+### `++bass` ++ bass |* [wuc=@ tyd=_rule] @@ -30,7 +30,7 @@ as atom of a base. ------------------------------------------------------------------------ -

++boss

+### `++boss` ++ boss |* [wuc=@ tyd=_rule] @@ -59,7 +59,7 @@ as atom of a base. ------------------------------------------------------------------------ -

++ifix

+### `++ifix` ++ ifix |* [fel=[p=_rule q=_rule] hof=_rule] @@ -80,7 +80,7 @@ discarded. ------------------------------------------------------------------------ -

++more

+### `++more` ++ more |* [bus=_rule fel=_rule] @@ -102,7 +102,7 @@ Parser modifier: using a delimiter rule, parse a list of matches. ------------------------------------------------------------------------ -

++most

+### `++most` ++ most |* [bus=_rule fel=_rule] @@ -126,7 +126,7 @@ match. ------------------------------------------------------------------------ -

++plus

+### `++plus` ++ plus |*(fel=_rule ;~(plug fel (star fel))) @@ -145,7 +145,7 @@ Parser modifier: parse list of at least one match ------------------------------------------------------------------------ -

++slug

+### `++slug` ++ slug |* raq=_|*([a=* b=*] [a b]) @@ -167,7 +167,7 @@ matches. ------------------------------------------------------------------------ -

++star

+### `++star` ++ star :: 0 or more times |* fel=_rule diff --git a/pub/doc/hoon/library/2ef.md b/pub/doc/hoon/library/2ef.md index 59185d3e4..f7c7d070f 100644 --- a/pub/doc/hoon/library/2ef.md +++ b/pub/doc/hoon/library/2ef.md @@ -1,7 +1,7 @@ section 2eF, parsing (ascii) ============================ -

++ace

+### `++ace` Parse space @@ -20,7 +20,7 @@ Parses ASCII character 32, space. ------------------------------------------------------------------------ -

++bar

+### `++bar` Parse vertical bar @@ -39,7 +39,7 @@ Parses ASCII character 124, the vertical bar. ------------------------------------------------------------------------ -

++bas

+### `++bas` Parse backslash @@ -61,7 +61,7 @@ of `bas` with [`++just`](/doc/hoon/library/2ec#++just) is to escape the escape c ------------------------------------------------------------------------ -

++buc

+### `++buc` Parse dollar sign @@ -80,7 +80,7 @@ Parses ASCII character 36, the dollar sign. ------------------------------------------------------------------------ -

++cab

+### `++cab` Parse underscore @@ -99,7 +99,7 @@ Parses ASCII character 95, the underscore. ------------------------------------------------------------------------ -

++cen

+### `++cen` Parses percent sign @@ -118,7 +118,7 @@ Parses ASCII character 37, the percent sign. ------------------------------------------------------------------------ -

++col

+### `++col` Parse colon @@ -137,7 +137,7 @@ Parses ASCII character 58, the colon ------------------------------------------------------------------------ -

++com

+### `++com` Parse comma @@ -156,7 +156,7 @@ Parses ASCII character 44, the comma. ------------------------------------------------------------------------ -

++doq

+### `++doq` Parse double quote @@ -179,7 +179,7 @@ Parses ASCII character 34, the double quote. ------------------------------------------------------------------------ -

++dot

+### `++dot` Parse period @@ -198,7 +198,7 @@ Parses ASCII character 46, the period. ------------------------------------------------------------------------ -

++fas

+### `++fas` Parse forward slash @@ -217,7 +217,7 @@ Parses ASCII character 47, the forward slash. ------------------------------------------------------------------------ -

++gal

+### `++gal` Parse less-than sign @@ -238,7 +238,7 @@ Parses ASCII character 60, the less-than sign. ------------------------------------------------------------------------ -

++gar

+### `++gar` Parse greater-than sign @@ -257,7 +257,7 @@ Parses ASCII character 62, the greater-than sign. ------------------------------------------------------------------------ -

++hax

+### `++hax` Parse number sign @@ -276,7 +276,7 @@ Parses ASCII character 35, the number sign. ------------------------------------------------------------------------ -

++kel

+### `++kel` Parse left curley bracket @@ -297,7 +297,7 @@ interpolation. To parse either of them, they must be escaped. ------------------------------------------------------------------------ -

++ker

+### `++ker` Parse right curley bracket @@ -318,7 +318,7 @@ interpolation. To parse either of them, they must be escaped. ------------------------------------------------------------------------ -

++ket

+### `++ket` Parse caret @@ -337,7 +337,7 @@ Parses ASCII character 94, the caret. ------------------------------------------------------------------------ -

++lus

+### `++lus` Parse plus sign @@ -356,7 +356,7 @@ Parses ASCII character 43, the plus sign. ------------------------------------------------------------------------ -

++hep

+### `++hep` Parse hyphen @@ -375,7 +375,7 @@ Parses ASCII character 45, the hyphen. ------------------------------------------------------------------------ -

++pel

+### `++pel` Parse left parenthesis @@ -394,7 +394,7 @@ Parses ASCII character 40, the left parenthesis. ------------------------------------------------------------------------ -

++pam

+### `++pam` Parse ampersand @@ -413,7 +413,7 @@ Parses ASCII character 38, the ampersand. ------------------------------------------------------------------------ -

++per

+### `++per` Parse right parenthesis @@ -432,7 +432,7 @@ Parses ASCII character 41, the right parenthesis. ------------------------------------------------------------------------ -

++pat

+### `++pat` Parse "at" sign @@ -451,7 +451,7 @@ Parses ASCII character 64, the "at" sign. ------------------------------------------------------------------------ -

++sel

+### `++sel` Parse left square bracket @@ -472,7 +472,7 @@ Parses ASCII character 91, the left square bracket. ------------------------------------------------------------------------ -

++sem

+### `++sem` Parse semicolon @@ -480,7 +480,7 @@ Parse semicolon Parses ASCII character 59, the semicolon. -

Examples

+### `Examples` ~zod/try=> (scan ";" sem) ~~~3b. @@ -493,7 +493,7 @@ Parses ASCII character 59, the semicolon. ------------------------------------------------------------------------ -

++ser

+### `++ser` Parse right square bracket @@ -512,7 +512,7 @@ Parses ASCII character 93, the right square bracket. ------------------------------------------------------------------------ -

++sig

+### `++sig` Parse tilde @@ -531,7 +531,7 @@ Parses ASCII character 126, the tilde. ------------------------------------------------------------------------ -

++soq

+### `++soq` Parse single quote @@ -551,7 +551,7 @@ Parses ASCII character 39, soq. Note the extra '' is to escape the first ------------------------------------------------------------------------ -

++tar

+### `++tar` Parse asterisk @@ -570,7 +570,7 @@ Parses ASCII character 42, the asterisk. ------------------------------------------------------------------------ -

++tec

+### `++tec` Parse backtick @@ -590,7 +590,7 @@ accent". ------------------------------------------------------------------------ -

++tis

+### `++tis` Parse equals sign @@ -609,7 +609,7 @@ Parses ASCII character 61, the equals sign. ------------------------------------------------------------------------ -

++wut

+### `++wut` Parses question mark @@ -628,7 +628,7 @@ Parses ASCII character 63, wut. ------------------------------------------------------------------------ -

++zap

+### `++zap` Exclamation point diff --git a/pub/doc/hoon/library/2eg.md b/pub/doc/hoon/library/2eg.md index b889896c4..22cfe88f4 100644 --- a/pub/doc/hoon/library/2eg.md +++ b/pub/doc/hoon/library/2eg.md @@ -1,7 +1,7 @@ section 2eG, parsing (whitespace) ================================= -

++dog

+### `++dog` `.` optional gap @@ -17,7 +17,7 @@ Dot followed by an optional gap, used in numbers. ------------------------------------------------------------------------ -

++doh

+### `++doh` `@p` separator @@ -37,7 +37,7 @@ Phonetic base phrase separator ------------------------------------------------------------------------ -

++dun

+### `++dun` `--` to `~` @@ -52,7 +52,7 @@ Parse phep, `--`, to null, `~`. ------------------------------------------------------------------------ -

++duz

+### `++duz` `==` to `~` @@ -67,7 +67,7 @@ Parse stet, `==`, to null `~`. ------------------------------------------------------------------------ -

++gah

+### `++gah` Newline or ' ' @@ -96,7 +96,7 @@ Whitespace component, either newline or space. ------------------------------------------------------------------------ -

++gap

+### `++gap` Plural whitespace @@ -106,7 +106,7 @@ Separates tall runes ------------------------------------------------------------------------ -

++gaq

+### `++gaq` End of line @@ -120,7 +120,7 @@ Two spaces, a newline, or comment. ------------------------------------------------------------------------ -

++gaw

+### `++gaw` Classic whitespace @@ -130,7 +130,7 @@ Terran whitespace ------------------------------------------------------------------------ -

++gay

+### `++gay` Optional gap. @@ -140,7 +140,7 @@ Optional gap. ------------------------------------------------------------------------ -

++vul

+### `++vul` ++ vul %- cold :- ~ :: comments ;~ plug col col diff --git a/pub/doc/hoon/library/2eh.md b/pub/doc/hoon/library/2eh.md index 6c5fbdae2..da4b79489 100644 --- a/pub/doc/hoon/library/2eh.md +++ b/pub/doc/hoon/library/2eh.md @@ -1,7 +1,7 @@ section 2eH, parsing (idioms) ============================= -

++alf

+### `++alf` Alphabetic characters @@ -18,7 +18,7 @@ Parse alphabetic characters, both upper and lowercase. ------------------------------------------------------------------------ -

++aln

+### `++aln` Alphanumeric characters @@ -35,7 +35,7 @@ Parse alphanumeric characters - both alphabetic characters and numbers. ------------------------------------------------------------------------ -

++alp

+### `++alp` Alphanumeric and `-` @@ -52,7 +52,7 @@ Parse alphanumeric strings and hep, "-". ------------------------------------------------------------------------ -

++bet

+### `++bet` Axis syntax `-`, `+` @@ -67,7 +67,7 @@ Parse the hep and lus axis syntax. ------------------------------------------------------------------------ -

++bin

+### `++bin` Binary to atom @@ -87,7 +87,7 @@ representation. ------------------------------------------------------------------------ -

++but

+### `++but` Binary digit @@ -108,7 +108,7 @@ Parse a single binary digit. ------------------------------------------------------------------------ -

++cit

+### `++cit` Octal digit @@ -129,7 +129,7 @@ Parse a single octal digit. ------------------------------------------------------------------------ -

++dem

+### `++dem` Decimal to atom @@ -148,7 +148,7 @@ Parse a decimal number to an atom. ------------------------------------------------------------------------ -

++dit

+### `++dit` Decimal digit @@ -165,7 +165,7 @@ Parse a single decimal digit. ------------------------------------------------------------------------ -

++gul

+### `++gul` Axis syntax `<` or `>` @@ -180,7 +180,7 @@ Parse the axis gal and gar axis syntax. ------------------------------------------------------------------------ -

++gon

+### `++gon` Long numbers @@ -196,7 +196,7 @@ break characters bas and fas. ------------------------------------------------------------------------ -

++hex

+### `++hex` Hex to atom @@ -221,7 +221,7 @@ Parse any hexadecimal number to an atom. ------------------------------------------------------------------------ -

++hig

+### `++hig` Uppercase @@ -240,7 +240,7 @@ Parse a single uppercase letter. ------------------------------------------------------------------------ -

++hit

+### `++hit` Hex digits @@ -263,7 +263,7 @@ Parse a single hexadecimal digit. ------------------------------------------------------------------------ -

++low

+### `++low` Lowercase @@ -282,7 +282,7 @@ Parse a single lowercase letter. ------------------------------------------------------------------------ -

++mes

+### `++mes` Hexbyte @@ -301,7 +301,7 @@ Parse a hexbyte. ------------------------------------------------------------------------ -

++nix

+### `++nix` Letters, `-`, and `_` @@ -316,7 +316,7 @@ Letters, `-`, and `_` ------------------------------------------------------------------------ -

++nud

+### `++nud` Numeric @@ -335,7 +335,7 @@ Parse a numeric character - A number. ------------------------------------------------------------------------ -

++prn

+### `++prn` Printable character @@ -353,7 +353,7 @@ Parse any printable character ------------------------------------------------------------------------ -

++qat

+### `++qat` Chars in blockcord @@ -376,7 +376,7 @@ Parse character in cord block. ------------------------------------------------------------------------ -

++qit

+### `++qit` Chars in cord @@ -406,7 +406,7 @@ Parse an individual character to its cord atom representation. ------------------------------------------------------------------------ -

++qut

+### `++qut` Cord @@ -439,7 +439,7 @@ triple-soq cord which must be in an indented block. ------------------------------------------------------------------------ -

++soqs

+### `++soqs` Delimiting `'''` @@ -455,7 +455,7 @@ Triple single quote ------------------------------------------------------------------------ -

++sym

+### `++sym` Term @@ -476,7 +476,7 @@ A term: a letter(lowercase), followed by letters, numbers, or `-`. ------------------------------------------------------------------------ -

++ven

+### `++ven` `+>-` axis syntax @@ -506,7 +506,7 @@ Axis syntax parser ------------------------------------------------------------------------ -

++vit

+### `++vit` Base64 digit diff --git a/pub/doc/hoon/library/2ei.md b/pub/doc/hoon/library/2ei.md index acb609c8f..90f8b1660 100644 --- a/pub/doc/hoon/library/2ei.md +++ b/pub/doc/hoon/library/2ei.md @@ -1,7 +1,7 @@ section 2eI, parsing (external) =============================== -

++rash

+### `++rash` Parse or crash @@ -29,7 +29,7 @@ parsed. ------------------------------------------------------------------------ -

++rush

+### `++rush` Parse or null @@ -55,7 +55,7 @@ entirely parsed. ------------------------------------------------------------------------ -

++rust

+### `++rust` Parse tape or null @@ -79,7 +79,7 @@ entirely parsed. ------------------------------------------------------------------------ -

++scan

+### `++scan` Parse tape or crash diff --git a/pub/doc/hoon/library/2ej.md b/pub/doc/hoon/library/2ej.md index d07dd4a5e..77382925d 100644 --- a/pub/doc/hoon/library/2ej.md +++ b/pub/doc/hoon/library/2ej.md @@ -1,7 +1,7 @@ section 2eJ, formatting (basic text) ==================================== -

++cass

+### `++cass` To lowercase @@ -26,7 +26,7 @@ Produce the case insensitive (all lowercase) cord of a tape. ------------------------------------------------------------------------ -

++cuss

+### `++cuss` To uppercase @@ -53,7 +53,7 @@ letters, as a cord. ------------------------------------------------------------------------ -

++crip

+### `++crip` Tape to cord @@ -72,7 +72,7 @@ Produce cord from a tape. ------------------------------------------------------------------------ -

++mesc

+### `++mesc` Escape special chars @@ -101,7 +101,7 @@ Escape special characters, used in [`++show`](/doc/hoon/library/2ez#++show) ------------------------------------------------------------------------ -

++runt

+### `++runt` Prepend `n` times @@ -126,7 +126,7 @@ Add `a` repetitions of character `b` to the head of `c` ------------------------------------------------------------------------ -

++sand

+### `++sand` Soft-cast by odor @@ -149,7 +149,7 @@ Soft-cast validity by odor. ------------------------------------------------------------------------ -

++sane

+### `++sane` Check odor validity @@ -204,7 +204,7 @@ Check validity by odor. Produces a gate. ------------------------------------------------------------------------ -

++trim

+### `++trim` Tape split @@ -232,7 +232,7 @@ Split first `a` characters off tape. ------------------------------------------------------------------------ -

++trip

+### `++trip` Cord to tape @@ -257,7 +257,7 @@ Produce tape from cord. ------------------------------------------------------------------------ -

++teff

+### `++teff` UTF8 Length @@ -281,7 +281,7 @@ Number of utf8 bytes. ------------------------------------------------------------------------ -

++turf

+### `++turf` UTF8 to UTF32 cord @@ -322,7 +322,7 @@ Convert utf8 ([cord]()) to utf32 codepoints. ------------------------------------------------------------------------ -

++tuba

+### `++tuba` UTF8 to UTF32 tape @@ -343,7 +343,7 @@ Convert tape to list of codepoints. ------------------------------------------------------------------------ -

++tufa

+### `++tufa` UTF32 to UTF8 tape @@ -365,7 +365,7 @@ Wrap list of utf32 codepoints to utf8 [tape](). ------------------------------------------------------------------------ -

++tuft

+### `++tuft` UTF32 to UTF8 text @@ -411,7 +411,7 @@ Convert utf32 glyph to ------------------------------------------------------------------------ -

++wack

+### `++wack` Coin format encode @@ -443,7 +443,7 @@ Escape span `~` as `~~` and `_` as `~-`. Used for printing. ------------------------------------------------------------------------ -

++wick

+### `++wick` Coin format decode @@ -472,7 +472,7 @@ Unescape span `~~` as `~` and `~-` as `_`. ------------------------------------------------------------------------ -

++woad

+### `++woad` Unescape cord @@ -519,7 +519,7 @@ Unescape cord codepoints. ------------------------------------------------------------------------ -

++wood

+### `++wood` Escape cord diff --git a/pub/doc/hoon/library/2ek.md b/pub/doc/hoon/library/2ek.md index 57c9a3168..c89ebe425 100644 --- a/pub/doc/hoon/library/2ek.md +++ b/pub/doc/hoon/library/2ek.md @@ -1,7 +1,7 @@ section 2eK, formatting (layout) ================================ -

++re

+### `++re` Pretty-printing engine @@ -15,7 +15,7 @@ Pretty-printing engine. /~zod/try=> ~(. re leaf/"ham") <2.ghl [[%leaf ""] <414.gly 100.xkc 1.ypj %164>]> -

++ram

+### `++ram` Flatten to tape @@ -42,7 +42,7 @@ Flatten tank out into a tape. /~zod/try=> ~(ram re rose/["." "(" ")"]^~[leaf/"bar" leaf/"baz" leaf/"bam"]) "(bar.baz.bam)" -

++win

+### `++win` Render at indent @@ -99,13 +99,13 @@ Render at indent level `tab` and width `edg`. /~zod/try=> (~(win re rose/["--" "[" "]"]^~[leaf/"1423" leaf/"2316"]) 0 10) <<"[ 1423" " 2316" "]">> -

++din

+### `++din` ++ din (mod (add 2 tab) (mul 2 (div edg 3))) XX document -

++fit

+### `++fit` Fit on one line test @@ -113,7 +113,7 @@ Fit on one line test Determine whether `tac` fits on one line. Internal to `++win` -

++rig

+### `++rig` Wrap in `\/` @@ -139,7 +139,7 @@ Wrap in `\/` Wrap tape in `\/` if it doesn't fit at current indentation. Internal to `++win` -

++wig

+### `++wig` `++win` render tape diff --git a/pub/doc/hoon/library/2el.md b/pub/doc/hoon/library/2el.md index 77f165867..4a001e2b8 100644 --- a/pub/doc/hoon/library/2el.md +++ b/pub/doc/hoon/library/2el.md @@ -1,7 +1,7 @@ section 2eL, formatting (path) ============================== -

++ab

+### `++ab` Primitive parser engine @@ -15,7 +15,7 @@ A core containing numeric parser primitives. ------------------------------------------------------------------------ -

++bix

+### `++bix` Parse hex pair @@ -32,7 +32,7 @@ Parsing rule. Parses a pair of base-16 digits. Used in escapes. ------------------------------------------------------------------------ -

++hif

+### `++hif` Parse phonetic pair @@ -48,7 +48,7 @@ encoded phonetically. ------------------------------------------------------------------------ -

++huf

+### `++huf` Parse two phonetic pairs @@ -68,7 +68,7 @@ of two two-byte pairs that are encoded (and scrambled) phonetically. ------------------------------------------------------------------------ -

++hyf

+### `++hyf` Parse 8 phonetic bytes @@ -84,7 +84,7 @@ phonetic bytes. ------------------------------------------------------------------------ -

++pev

+### `++pev` Parse \<= 5 base-32 @@ -104,7 +104,7 @@ Parsing rule. Parses up to five base-32 digits without a leading zero. ------------------------------------------------------------------------ -

++pew

+### `++pew` Parse \<= 5 base-64 @@ -127,7 +127,7 @@ Parsing rule. Parses up to five base-64 digits without a leading zero. ------------------------------------------------------------------------ -

++piv

+### `++piv` Parse 5 base-32 @@ -143,7 +143,7 @@ Parsing rule. Parses exactly five base-32 digits. ------------------------------------------------------------------------ -

++piw

+### `++piw` Parse 5 base-64 @@ -159,7 +159,7 @@ Parsing rule. Parses exactly five base-64 digits. ------------------------------------------------------------------------ -

++qeb

+### `++qeb` Parse \<= 4 binary @@ -183,7 +183,7 @@ a leading zero. ------------------------------------------------------------------------ -

++qex

+### `++qex` Parse \<= 4 hex @@ -205,7 +205,7 @@ without a leading zero. ------------------------------------------------------------------------ -

++qib

+### `++qib` Parse 4 binary @@ -223,7 +223,7 @@ Parsing rule. Parses exactly four binary digits. ------------------------------------------------------------------------ -

++qix

+### `++qix` Parse 4 hex @@ -241,7 +241,7 @@ Parsing rule. Parses exactly four hexadecimal digits. ------------------------------------------------------------------------ -

++seb

+### `++seb` Parse 1 @@ -260,7 +260,7 @@ Parsing rule. Parses the number 1. ------------------------------------------------------------------------ -

++sed

+### `++sed` Parse decimal @@ -276,7 +276,7 @@ Parsing rule. Parses a nonzero decimal digit. ------------------------------------------------------------------------ -

++sev

+### `++sev` Parse base-32 @@ -292,7 +292,7 @@ Parsing rule. Parses a nonzero base-32 digit ------------------------------------------------------------------------ -

++sew

+### `++sew` Parse base-64 @@ -308,7 +308,7 @@ Parsing rule. Parses a nonzero base-64 digit ------------------------------------------------------------------------ -

++sex

+### `++sex` Parse hex @@ -324,7 +324,7 @@ Parsing rule. Parses a nonzero hexadecimal digit. ------------------------------------------------------------------------ -

++sib

+### `++sib` Parse binary @@ -339,7 +339,7 @@ Parsing rule. Parses a binary digit. ------------------------------------------------------------------------ -

++sid

+### `++sid` Parse decimal @@ -352,7 +352,7 @@ Parsing rule. Parses a decimal digit. ------------------------------------------------------------------------ -

++siv

+### `++siv` Parse base-32 @@ -365,7 +365,7 @@ Parsing rule. Parses a base-32 digit. ------------------------------------------------------------------------ -

++siw

+### `++siw` Parse base-64 @@ -378,7 +378,7 @@ Parsing rule. Parses a base-64 digit. ------------------------------------------------------------------------ -

++six

+### `++six` Parse hex @@ -391,7 +391,7 @@ Parsing rule. Parses a hexadecimal digit. ------------------------------------------------------------------------ -

++sov

+### `++sov` Parse base-32 @@ -404,7 +404,7 @@ Parsing rule. Parses a base-32 letter. ------------------------------------------------------------------------ -

++sow

+### `++sow` Parse base-64 @@ -422,7 +422,7 @@ Parsing rule. Parses a base-64 letter/symbol. ------------------------------------------------------------------------ -

++sox

+### `++sox` Parse hex letter @@ -435,7 +435,7 @@ Parsing rule. Parses a hexadecimal letter. ------------------------------------------------------------------------ -

++ted

+### `++ted` Parse \<= 3 decimal @@ -456,7 +456,7 @@ leading zero. ------------------------------------------------------------------------ -

++tip

+### `++tip` Leading phonetic byte @@ -472,7 +472,7 @@ syllable. ------------------------------------------------------------------------ -

++tiq

+### `++tiq` Trailing phonetic syllable @@ -488,7 +488,7 @@ syllable. ------------------------------------------------------------------------ -

++tid

+### `++tid` Parse 3 decimal digits @@ -504,7 +504,7 @@ Parsing rule. Parses exactly three decimal digits. ------------------------------------------------------------------------ -

++til

+### `++til` Parse 3 lowercase @@ -522,7 +522,7 @@ Parsing rule. Parses exactly three lowercase letters. ------------------------------------------------------------------------ -

++urs

+### `++urs` Parse span characters @@ -539,7 +539,7 @@ Parsing rule. Parses characters from an atom of the span odor [`@ta`](). ------------------------------------------------------------------------ -

++urt

+### `++urt` Parse non-`_` span @@ -555,7 +555,7 @@ for cab, `_`. ------------------------------------------------------------------------ -

++voy

+### `++voy` Parse bas, soq, or bix @@ -571,7 +571,7 @@ byte. ------------------------------------------------------------------------ -

++ag

+### `++ag` Top-level atom parser engine @@ -585,7 +585,7 @@ A core containing top-level atom parsers. ------------------------------------------------------------------------ -

++ape

+### `++ape` Parse 0 or rule @@ -600,7 +600,7 @@ Parser modifier. Parses 0 or the sample rule `fel`. ------------------------------------------------------------------------ -

++bay

+### `++bay` Parses binary number @@ -613,7 +613,7 @@ Parsing rule. Parses a binary number without a leading zero. ------------------------------------------------------------------------ -

++bip

+### `++bip` Parse IPv6 @@ -629,7 +629,7 @@ Parsing rule. Parses a [`@is`](), an IPv6 address. ------------------------------------------------------------------------ -

++dem

+### `++dem` Parse decimal with dots @@ -644,7 +644,7 @@ Parsing rule. Parses a decimal number that includes dot separators. ------------------------------------------------------------------------ -

++dim

+### `++dim` Parse decimal number @@ -660,7 +660,7 @@ Parsing rule. Parses a decimal number without a leading zero. ------------------------------------------------------------------------ -

++dum

+### `++dum` Parse decimal with leading `0` @@ -677,7 +677,7 @@ Parsing rule. Parses a decmial number with leading zeroes. ------------------------------------------------------------------------ -

++fed

+### `++fed` Parse phonetic base @@ -707,7 +707,7 @@ Parsing rule. Parses an atom of odor [`@p`](), the phonetic base. ------------------------------------------------------------------------ -

++hex

+### `++hex` Parse hex @@ -726,7 +726,7 @@ Parsing rule. Parses a hexadecimal number ------------------------------------------------------------------------ -

++lip

+### `++lip` Parse IPv4 address @@ -744,7 +744,7 @@ Parsing rule. Parses an IPv4 address. ------------------------------------------------------------------------ -

++viz

+### `++viz` Parse Base-32 with dots @@ -757,7 +757,7 @@ Parsing rule. Parses a Base-32 number with dot separators. ------------------------------------------------------------------------ -

++vum

+### `++vum` Parse base-32 string @@ -770,7 +770,7 @@ Parsing rule. Parses a raw base-32 string. ------------------------------------------------------------------------ -

++wiz

+### `++wiz` Parse base-64 @@ -785,7 +785,7 @@ Parsing rule. Parses a base-64 number. ------------------------------------------------------------------------ -

++co

+### `++co` Literal rendering engine @@ -809,7 +809,7 @@ A [door]() that contains arms that operate on the sample coin `lot`. ------------------------------------------------------------------------ -

++rear

+### `++rear` Prepend & render as tape @@ -826,7 +826,7 @@ Renders a coin `lot` as a [tape]() prepended to the sample tape `rom`. ------------------------------------------------------------------------ -

++rent

+### `++rent` Render as span @@ -843,7 +843,7 @@ Renders a coin `lot` as a span. ------------------------------------------------------------------------ -

++rend

+### `++rend` Render as tape @@ -1073,7 +1073,7 @@ Renders a coin `lot` as a tape. ------------------------------------------------------------------------ -

++ne

+### `++ne` Digit rendering engine @@ -1090,7 +1090,7 @@ A [door]() containing arms that render digits at bases 10, 16, 32, and ------------------------------------------------------------------------ -

++d

+### `++d` Render decimal @@ -1105,7 +1105,7 @@ Renders a decimal digit as an atom of an ACII byte value. ------------------------------------------------------------------------ -

++x

+### `++x` Render hex @@ -1122,7 +1122,7 @@ Renders a hexadecimal digit as an atom of an ASCII byte value. ------------------------------------------------------------------------ -

++v

+### `++v` Render base-32 @@ -1139,7 +1139,7 @@ Renders a base-32 digit as an atom of an ASCII byte value. ------------------------------------------------------------------------ -

++w

+### `++w` Render base-64 @@ -1168,7 +1168,7 @@ Renders a base-64 digit as an atom of an ASCII byte value. ------------------------------------------------------------------------ -

++mu

+### `++mu` Core used to scramble 16-bit atoms @@ -1188,7 +1188,7 @@ relationship between a destroyer and its cruiser. ------------------------------------------------------------------------ -

++zag

+### `++zag` Add bottom into top @@ -1207,7 +1207,7 @@ destroyer. ------------------------------------------------------------------------ -

++zig

+### `++zig` Subtract bottom from top @@ -1227,7 +1227,7 @@ destroyer. ------------------------------------------------------------------------ -

++zug

+### `++zug` Concatenate into atom @@ -1245,7 +1245,7 @@ destroyer name. ------------------------------------------------------------------------ -

++so

+### `++so` Coin parser engine @@ -1259,7 +1259,7 @@ Core containing arms that parse [`++coin`]s. ------------------------------------------------------------------------ -

++bisk

+### `++bisk` Parse odor-atom pair @@ -1287,7 +1287,7 @@ producing a [`++dime`](). ------------------------------------------------------------------------ -

++crub

+### `++crub` Parse `@da`, `@dr`, `@p`, `@t` @@ -1364,7 +1364,7 @@ and [`@t`](), producing a [`++dime`](). ------------------------------------------------------------------------ -

++nuck

+### `++nuck` Top-level coin parser @@ -1406,7 +1406,7 @@ corresponding [`++coin`]() parser. ------------------------------------------------------------------------ -

++nusk

+### `++nusk` Parse coin literal with escapes @@ -1427,7 +1427,7 @@ formatting). ------------------------------------------------------------------------ -

++perd

+### `++perd` Parsing rule. @@ -1451,7 +1451,7 @@ prefixes. ------------------------------------------------------------------------ -

++royl

+### `++royl` Parse dime float @@ -1487,7 +1487,7 @@ Parsing rule. Parses a number into a [`++dime`]() float. ------------------------------------------------------------------------ -

++royl-cell

+### `++royl-cell` XX still not fully functional @@ -1504,7 +1504,7 @@ Intermediate parsed float convereter ------------------------------------------------------------------------ -

++tash

+### `++tash` Parse signed dime @@ -1533,7 +1533,7 @@ Parsing rule. Parses a signed number into a [`++dime`](). ------------------------------------------------------------------------ -

++twid

+### `++twid` Parse coins without `~` prefix @@ -1559,7 +1559,7 @@ Parsing rule. Parses coins after a leading sig, `~`. ------------------------------------------------------------------------ -

++zust

+### `++zust` Parse prefixed dimes from `@if`, `@f`, `@rd` @@ -1590,7 +1590,7 @@ Parsing rule. Parses an atom of either [`@if`]() (IP address), [`@f`]() ------------------------------------------------------------------------ -

++scot

+### `++scot` Render dime as cord @@ -1619,7 +1619,7 @@ Renders a dime `mol` as a cord. ------------------------------------------------------------------------ -

++scow

+### `++scow` Render dime as tape @@ -1640,7 +1640,7 @@ Renders `mol` as a tape. ------------------------------------------------------------------------ -

++slat

+### `++slat` Curried slaw @@ -1664,7 +1664,7 @@ odor specified by `mod`. ------------------------------------------------------------------------ -

++slav

+### `++slav` Demand: parse span with input odor @@ -1696,7 +1696,7 @@ if it failes to parse. ------------------------------------------------------------------------ -

++slaw

+### `++slaw` Parse span to input odor @@ -1732,7 +1732,7 @@ Parses a span `txt` to an atom of the odor specified by `mod`. ------------------------------------------------------------------------ -

++slay

+### `++slay` Parse span to coin @@ -1777,7 +1777,7 @@ Parses a span `txt` to the unit of a [`++coin`](). ------------------------------------------------------------------------ -

++smyt

+### `++smyt` Render path as tank @@ -1809,7 +1809,7 @@ pretty-printing. ------------------------------------------------------------------------ -

++spat

+### `++spat` Render path as cord @@ -1828,7 +1828,7 @@ Renders a path `pax` as cord. ------------------------------------------------------------------------ -

++spud

+### `++spud` Render path as tape @@ -1847,7 +1847,7 @@ Renders a path `pax` as [tape](). ------------------------------------------------------------------------ -

++stab

+### `++stab` Parse span to path diff --git a/pub/doc/hoon/library/2em.md b/pub/doc/hoon/library/2em.md index a50b9aa3f..5b0ea2802 100644 --- a/pub/doc/hoon/library/2em.md +++ b/pub/doc/hoon/library/2em.md @@ -1,7 +1,7 @@ section 2eM, regular-expressions ================================ -

++pars

+### `++pars` ++ pars |= [a=tape] :: parse tape to rege @@ -66,44 +66,44 @@ Parse regular expression ~zod/try=> (pars "a\{1,20}") [~ [%betw p=[%lite p=~~a] q=1 r=20]] -

++rags

+### `++rags` ++ rags :: rege parsers => |% Regex parser arms -

++nor

+### `++nor` ++ nor ;~(less (mask "^$()|*?+.[\\") (shim 1 127)) :: non-control char XX document -

++les

+### `++les` ++ les ;~(less bas asp) :: not backslash XX document -

++lep

+### `++lep` ++ lep ;~(less (mask "^[]\\") asp) :: charset non-control XX document -

++asp

+### `++asp` ++ asp (shim 32 126) :: printable ascii XX document -

++alb

+### `++alb` ++ alb ;~(less ser asp) :: charset literal char XX document -

++mis

+### `++mis` ++ mis ;~(less aln asp) :: non alphanumeric -- @@ -111,7 +111,7 @@ XX document XX document -

++apex

+### `++apex` ++ apex :: top level %+ knee *rege |. ~+ @@ -124,7 +124,7 @@ XX document XX document -

++mall

+### `++mall` ++ mall %+ knee *rege |. ~+ @@ -133,7 +133,7 @@ XX document XX document -

++bets

+### `++bets` ++ bets %+ knee *rege |. ~+ @@ -162,7 +162,7 @@ XX document XX document -

++ranc

+### `++ranc` ++ ranc |= [a=@ b=@] @@ -172,14 +172,14 @@ XX document XX document -

++flap

+### `++flap` ++ flap |=(a=@ (mix a (dec (bex 256)))) :: XX document -

++rang

+### `++rang` ++ rang %+ sear |=([a=@ b=@] ?:((lte a b) (some [a b]) ~)) @@ -188,7 +188,7 @@ XX document XX document -

++chun

+### `++chun` ++ chun %+ knee *rege |. ~+ @@ -212,7 +212,7 @@ XX document XX document -

++seac

+### `++seac` ++ seac |= tub=nail @@ -225,7 +225,7 @@ XX document XX document -

++sead

+### `++sead` ++ sead %+ knee *@ |. ~+ @@ -264,7 +264,7 @@ XX document XX document -

++sade

+### `++sade` ++ sade %+ knee *@ |. ~+ @@ -277,7 +277,7 @@ XX document XX document -

++seap

+### `++seap` ++ seap %+ knee *@ |. ~+ @@ -305,7 +305,7 @@ XX document XX document -

++cape

+### `++cape` ++ cape %+ knee *tape |. ~+ @@ -318,7 +318,7 @@ XX document XX document -

++chas

+### `++chas` ++ chas :: ascii character set =- (sear ~(get by -) sym) @@ -350,37 +350,37 @@ XX document XX document -

++cntrl

+### `++cntrl` ++ cntrl :(con (ranc 0 31) (bex 127)) XX document -

++digit

+### `++digit` ++ digit (ranc '0' '9') XX document -

++graph

+### `++graph` ++ graph (ranc 33 126) XX document -

++lower

+### `++lower` ++ lower (ranc 'a' 'z') XX document -

++print

+### `++print` ++ print (ranc 32 126) XX document -

++punct

+### `++punct` ++ punct ;: con (ranc '!' '/') @@ -391,38 +391,38 @@ XX document XX document -

++space

+### `++space` ++ space :(con (ranc 9 13) (bex ' ')) XX document -

++upper

+### `++upper` ++ upper (ranc 'A' 'Z') XX document -

++white

+### `++white` ++ white :(con (bex ' ') (ranc 9 10) (ranc 12 13)) XX document -

++wordc

+### `++wordc` ++ wordc :(con digit lower upper (bex '_')) XX document -

++xdigit

+### `++xdigit` ++ xdigit :(con (ranc 'a' 'f') (ranc 'A' 'F') digit) :: XX document -

++chad

+### `++chad` ++ chad %+ knee *rege |. ~+ @@ -431,7 +431,7 @@ XX document XX document -

++escd

+### `++escd` ++ escd %+ knee *@ |. ~+ @@ -452,7 +452,7 @@ XX document XX document -

++escp

+### `++escp` ++ escp %+ knee *rege |. ~+ @@ -481,7 +481,7 @@ XX document XX document -

++unid

+### `++unid` ++ unid %+ knee *@ |. ~+ @@ -498,14 +498,14 @@ XX document XX document -

++ra

+### `++ra` ++ ra :: regex engine |_ a=rege XX document -

++proc

+### `++proc` ++ proc :: capture numbering |= b=@ @@ -544,7 +544,7 @@ XX document XX document -

++cont

+### `++cont` ++ cont |= [a=(map ,@u tape) b=(map ,@u tape)] @@ -553,7 +553,7 @@ XX document XX document -

++abor

+### `++abor` ++ abor |= [a=char b=(unit ,[tape (map ,@u tape)])] @@ -565,7 +565,7 @@ XX document XX document -

++matc

+### `++matc` ++ matc |= [b=tape c=tape] @@ -576,7 +576,7 @@ XX document XX document -

++chet

+### `++chet` ++ chet |= [b=(unit ,[tape (map ,@u tape)]) c=tape d=tape] @@ -592,19 +592,19 @@ XX document XX document -

++blak

+### `++blak` ++ blak (some ["" _(map ,@u tape)]) XX document -

++word

+### `++word` ++ word |=(a=char =((dis wordc:rags (bex a)) 0)) XX document -

++deep

+### `++deep` ++ deep |= [b=tape c=rege d=tape] @@ -704,7 +704,7 @@ XX document XX document -

++rexp

+### `++rexp` ++ rexp :: Regex match ~/ %rexp @@ -733,7 +733,7 @@ XX document XX document -

++repg

+### `++repg` ++ repg :: Global regex replace ~/ %repg diff --git a/pub/doc/hoon/library/2en.md b/pub/doc/hoon/library/2en.md index 452b6d6cb..b5c58ff87 100644 --- a/pub/doc/hoon/library/2en.md +++ b/pub/doc/hoon/library/2en.md @@ -1,7 +1,7 @@ section 2eN, pseudo-cryptography ================================ -

++un

+### `++un` Reversible scrambling core @@ -13,7 +13,7 @@ Used in the `@p` phonetic base. ------------------------------------------------------------------------ -

++wren

+### `++wren` Conceal structure @@ -50,7 +50,7 @@ on the result, pushing it forward. Produces an atom. ------------------------------------------------------------------------ -

++wred

+### `++wred` Restore structure @@ -87,7 +87,7 @@ on the result, pushing it forward. Produces an atom. ------------------------------------------------------------------------ -

++xafo

+### `++xafo` Add modulo 255 @@ -102,7 +102,7 @@ Produces the sum of two atoms modulo 255, encoded as a nonzero byte. ------------------------------------------------------------------------ -

++xaro

+### `++xaro` Subtract modulo 255 @@ -118,7 +118,7 @@ nonzero byte. ------------------------------------------------------------------------ -

++zaft

+### `++zaft` Look up in 255 sub box @@ -154,7 +154,7 @@ box with 255 values, producing a unique nonzero byte. ------------------------------------------------------------------------ -

++zart

+### `++zart` Reverse look up in 255 sub box @@ -187,7 +187,7 @@ the substitution box with 255 values, producing a unique nonzero byte. ------------------------------------------------------------------------ -

++zyft

+### `++zyft` Lookup byte in 256 sub box @@ -223,7 +223,7 @@ with 256 values, producing a byte. ------------------------------------------------------------------------ -

++zyrt

+### `++zyrt` Reverse lookup byte in 256 sub box @@ -256,7 +256,7 @@ with 256 values, producing a byte. ~zod/try=> `@ux`(zyrt:un 187) 0xff -

++ob

+### `++ob` Reversible scrambling core, v2 @@ -267,7 +267,7 @@ A core for performing reversible scrambling operations for the `@p` phonetic bas ------------------------------------------------------------------------ -

++feen

+### `++feen` Conceal structure, v2 @@ -286,7 +286,7 @@ Randomly permutes atoms that fit into 17 to 32 bits into one another. If the ato ------------------------------------------------------------------------ -

++fend

+### `++fend` ++ fend :: restore structure v2 |= cry=@ ^- @ @@ -303,7 +303,7 @@ Randomly permutes atoms that fit into 17 to 32 bits into one another, and random ------------------------------------------------------------------------ -

++fice

+### `++fice` ++ fice :: adapted from |= nor=@ :: black and rogaway @@ -319,7 +319,7 @@ Applies a 3-round Feistel-like cipher to randomly permute atoms in the range `0` ------------------------------------------------------------------------ -

++teil

+### `++teil` ++ teil :: reverse ++fice |= vip=@ @@ -335,7 +335,7 @@ Applies the reverse of the Feistel-like cipher applied by [`++fice`](). Unlike a ------------------------------------------------------------------------ -

++rynd

+### `++rynd` ++ rynd :: feistel round |= [n=@ l=@ r=@] @@ -349,7 +349,7 @@ A single round of the Feistel-like cipher [`++fice`](). AES ([`++aesc`]()) is us ------------------------------------------------------------------------ -

++rund

+### `++rund` ++ rund :: reverse round |= [n=@ l=@ r=@] @@ -363,7 +363,7 @@ A single round of the Feistel-like reverse cipher [`++teil`](). ------------------------------------------------------------------------ -

++raku

+### `++raku` ++ raku ^- (list ,@ux) diff --git a/pub/doc/hoon/library/2eo.md b/pub/doc/hoon/library/2eo.md index 9148be762..136011a35 100644 --- a/pub/doc/hoon/library/2eo.md +++ b/pub/doc/hoon/library/2eo.md @@ -1,7 +1,7 @@ section 2eO, virtualization =========================== -

++mack

+### `++mack` Nock subject to unit @@ -33,7 +33,7 @@ producing a `~`. ------------------------------------------------------------------------ -

++mink

+### `++mink` Mock interpreter @@ -143,7 +143,7 @@ result becomes a `%1` `++tone`, indicating a block. ------------------------------------------------------------------------ -

++mock

+### `++mock` Compute formula on subject with hint @@ -180,7 +180,7 @@ indicating a block. ------------------------------------------------------------------------ -

++mook

+### `++mook` Intelligently render crash annotation @@ -250,7 +250,7 @@ Each may be a tank, cord, [`++spot`](), or trapped tank. Produces a ------------------------------------------------------------------------ -

++mang

+### `++mang` Unit: Slam gate with sample @@ -292,7 +292,7 @@ Similar to [`++mong`](). ------------------------------------------------------------------------ -

++mong

+### `++mong` Slam gate with sample @@ -334,7 +334,7 @@ Produces a [`++toon`]() computation result from slamming `gat` with ------------------------------------------------------------------------ -

++mung

+### `++mung` Virtualize slamming gate @@ -376,7 +376,7 @@ Produces a [`++tone`]() computation result from slamming `gat` with ------------------------------------------------------------------------ -

++mule

+### `++mule` Typed virtual @@ -415,7 +415,7 @@ the way. Used to lazily compute stack traces. ------------------------------------------------------------------------ -

++mute

+### `++mute` Untyped virtual diff --git a/pub/doc/hoon/library/2ep.md b/pub/doc/hoon/library/2ep.md index 44ca0e2dc..0bcb847b6 100644 --- a/pub/doc/hoon/library/2ep.md +++ b/pub/doc/hoon/library/2ep.md @@ -8,7 +8,7 @@ anyway. ------------------------------------------------------------------------ -

++berk

+### `++berk` Invert diff patches @@ -39,7 +39,7 @@ swapped. Produces a `bur`. ------------------------------------------------------------------------ -

++diff

+### `++diff` Generate patch @@ -84,7 +84,7 @@ Produces a patch between two nouns, by change type ------------------------------------------------------------------------ -

++loss

+### `++loss` Longest subsequence @@ -173,7 +173,7 @@ several internal helper arms. Produces a [`++tape`](). ------------------------------------------------------------------------ -

++locz

+### `++locz` Find common @@ -204,7 +204,7 @@ producing a [\`++tape](). ------------------------------------------------------------------------ -

++lore

+### `++lore` Split on `\n` @@ -240,7 +240,7 @@ Split on newlines, ascii `10` ------------------------------------------------------------------------ -

++role

+### `++role` Join with `\n` @@ -262,7 +262,7 @@ Join line list with newlines. ------------------------------------------------------------------------ -

++lump

+### `++lump` Change with `++udon` @@ -309,7 +309,7 @@ Use udon to change noun ------------------------------------------------------------------------ -

++lure

+### `++lure` Patch `a` @@ -332,7 +332,7 @@ Patch a by references to axis and literal. ------------------------------------------------------------------------ -

++limp

+### `++limp` Reverse patch @@ -357,7 +357,7 @@ Reverse a patch (preprocessor unchanged) ------------------------------------------------------------------------ -

++hump

+### `++hump` Prep for diff @@ -387,7 +387,7 @@ Prep atom for diff: leave alone, cue, or split by newlines. ------------------------------------------------------------------------ -

++husk

+### `++husk` Atomize post diff @@ -434,7 +434,7 @@ Re-atomize after diff: leave alone, jam, or join with newlines. ------------------------------------------------------------------------ -

++lurk

+### `++lurk` Apply list patch @@ -474,7 +474,7 @@ Amend list using an urge: list of `[%& {number skipped}]` and ------------------------------------------------------------------------ -

++lusk

+### `++lusk` `lcs` to list patch @@ -535,7 +535,7 @@ Using a common sequence, generate urge from two lists ------------------------------------------------------------------------ -

++nude

+### `++nude` Tree change diff --git a/pub/doc/hoon/library/2ew.md b/pub/doc/hoon/library/2ew.md index 188241114..ffbb96245 100644 --- a/pub/doc/hoon/library/2ew.md +++ b/pub/doc/hoon/library/2ew.md @@ -1,7 +1,7 @@ section 2eW, lite number theory =============================== -

++egcd

+### `++egcd` GCD @@ -41,7 +41,7 @@ Greatest common denominator ------------------------------------------------------------------------ -

++pram

+### `++pram` Probable prime @@ -97,7 +97,7 @@ Probable prime test ------------------------------------------------------------------------ -

++ramp

+### `++ramp` `r-m` prime @@ -132,7 +132,7 @@ using salt `c`. ------------------------------------------------------------------------ -

++fo

+### `++fo` Prime engine @@ -148,7 +148,7 @@ Core for performing arithmetic modulo a prime number ------------------------------------------------------------------------ -

++dif

+### `++dif` Difference @@ -166,7 +166,7 @@ Subtract ------------------------------------------------------------------------ -

++exp

+### `++exp` Exponent @@ -186,7 +186,7 @@ Exponent ------------------------------------------------------------------------ -

++fra

+### `++fra` Divide @@ -204,7 +204,7 @@ Divide ------------------------------------------------------------------------ -

++inv

+### `++inv` Inverse @@ -225,7 +225,7 @@ Multiplicative inverse ------------------------------------------------------------------------ -

++pro

+### `++pro` Product @@ -243,7 +243,7 @@ Product ------------------------------------------------------------------------ -

++sit

+### `++sit` Bounds @@ -261,7 +261,7 @@ Bounds check ------------------------------------------------------------------------ -

++sum

+### `++sum` Sum @@ -279,7 +279,7 @@ Add ------------------------------------------------------------------------ -

++ga

+### `++ga` ++ ga :: GF (bex p.a) |= a=[p=@ q=@ r=@] :: dim poly gen @@ -293,7 +293,7 @@ XX document ------------------------------------------------------------------------ -

++dif

+### `++dif` ++ dif :: add and sub |= [b=@ c=@] @@ -306,7 +306,7 @@ XX document ------------------------------------------------------------------------ -

++dub

+### `++dub` ++ dub :: mul by x |= b=@ @@ -321,7 +321,7 @@ XX document ------------------------------------------------------------------------ -

++pro

+### `++pro` ++ pro :: slow multiply |= [b=@ c=@] @@ -336,7 +336,7 @@ XX document ------------------------------------------------------------------------ -

++toe

+### `++toe` ++ toe :: exp/log tables =+ ^= nu @@ -367,7 +367,7 @@ XX document ------------------------------------------------------------------------ -

++sit

+### `++sit` ++ sit :: reduce |= b=@ @@ -378,7 +378,7 @@ XX document ------------------------------------------------------------------------ -

++fra

+### `++fra` ++ fra :: divide |= [b=@ c=@] @@ -389,7 +389,7 @@ XX document ------------------------------------------------------------------------ -

++inv

+### `++inv` ++ inv :: invert |= b=@ @@ -404,7 +404,7 @@ XX document ------------------------------------------------------------------------ -

++pow

+### `++pow` ++ pow :: exponent |= [b=@ c=@] @@ -421,7 +421,7 @@ XX document ------------------------------------------------------------------------ -

++pro

+### `++pro` ++ pro :: multiply |= [b=@ c=@] diff --git a/pub/doc/hoon/library/2ex.md b/pub/doc/hoon/library/2ex.md index adf4cc33e..c29a2b018 100644 --- a/pub/doc/hoon/library/2ex.md +++ b/pub/doc/hoon/library/2ex.md @@ -3,7 +3,7 @@ section 2eX, jetted crypto ------------------------------------------------------------------------ -

++aesc

+### `++aesc` ++ aesc :: AES-256 ~% %aesc + ~ @@ -11,7 +11,7 @@ section 2eX, jetted crypto XX document -

++en

+### `++en` ++ en :: ECB enc ~/ %en @@ -21,7 +21,7 @@ XX document XX document -

++de

+### `++de` ++ de :: ECB dec ~/ %de @@ -32,7 +32,7 @@ XX document XX document -

++ahem

+### `++ahem` ++ ahem :: AES helpers :: XX should be in aesc, isn't for performance reasons @@ -44,20 +44,20 @@ XX document XX document -

++cipa

+### `++cipa` ++ cipa :: AES params $_ ^? |% XX document -

++co

+### `++co` ++ co [0xe 0xb 0xd 0x9] XX document -

++ix

+### `++ix` ++ ix :: key expand, inv |= a=@ ^- @ @@ -82,13 +82,13 @@ XX document XX document -

++ro

+### `++ro` ++ ro [0 3 2 1] XX document -

++su

+### `++su` ++ su 0x7d0c.2155.6314.69e1.26d6.77ba.7e04.2b17. 6199.5383.3cbb.ebc8.b0f5.2aae.4d3b.e0a0. @@ -111,7 +111,7 @@ XX document XX document -

++pen

+### `++pen` ++ pen :: encrypt ^- cipa @@ -119,13 +119,13 @@ XX document XX document -

++co

+### `++co` ++ co [0xe 0xb 0xd 0x9] XX document -

++ix

+### `++ix` ++ ix :: key expand, inv |= a=@ ^- @ @@ -150,13 +150,13 @@ XX document XX document -

++ro

+### `++ro` ++ ro [0 3 2 1] XX document -

++su

+### `++su` ++ su 0x7d0c.2155.6314.69e1.26d6.77ba.7e04.2b17. 6199.5383.3cbb.ebc8.b0f5.2aae.4d3b.e0a0. @@ -179,7 +179,7 @@ XX document XX document -

++pin

+### `++pin` ++ pin :: decrypt ^- cipa @@ -187,13 +187,13 @@ XX document XX document -

++co

+### `++co` ++ co [0xe 0xb 0xd 0x9] XX document -

++ix

+### `++ix` ++ ix :: key expand, inv |= a=@ ^- @ @@ -218,13 +218,13 @@ XX document XX document -

++ro

+### `++ro` ++ ro [0 3 2 1] XX document -

++su

+### `++su` ++ su 0x7d0c.2155.6314.69e1.26d6.77ba.7e04.2b17. 6199.5383.3cbb.ebc8.b0f5.2aae.4d3b.e0a0. @@ -247,7 +247,7 @@ XX document XX document -

++mcol

+### `++mcol` ++ mcol |= [a=(list ,@) b=[p=@ q=@ r=@ s=@]] ^- (list ,@) @@ -273,7 +273,7 @@ XX document XX document -

++pode

+### `++pode` ++ pode :: explode to block |= [a=bloq b=@ c=@] ^- (list ,@) @@ -286,7 +286,7 @@ XX document XX document -

++sube

+### `++sube` ++ sube :: s-box word |= [a=@ b=@] ^- @ @@ -296,7 +296,7 @@ XX document XX document -

++be

+### `++be` ++ be :: block cipher |= [a=? b=@ c=@H] ^- @uxH @@ -308,7 +308,7 @@ XX document XX document -

++ankh

+### `++ankh` ++ ankh |= [a=cipa b=@ c=@] @@ -316,7 +316,7 @@ XX document XX document -

++sark

+### `++sark` ++ sark |= [c=(list ,@) d=(list ,@)] ^- (list ,@) @@ -326,7 +326,7 @@ XX document XX document -

++srow

+### `++srow` ++ srow |= [a=cipa b=(list ,@)] ^- (list ,@) @@ -343,7 +343,7 @@ XX document XX document -

++subs

+### `++subs` ++ subs |= [a=cipa b=(list ,@)] ^- (list ,@) @@ -367,7 +367,7 @@ XX document XX document -

++ex

+### `++ex` ++ ex :: key expand |= a=@I ^- @ @@ -389,7 +389,7 @@ XX document XX document -

++ix

+### `++ix` ++ ix :: key expand, inv |= a=@ ^- @ @@ -414,7 +414,7 @@ XX document XX document -

++curt

+### `++curt` ++ curt :: curve25519 |= [a=@ b=@] @@ -428,7 +428,7 @@ XX document XX document -

++cla

+### `++cla` ++ cla |= raw=@ @@ -439,19 +439,19 @@ XX document XX document -

++sqr

+### `++sqr` ++ sqr |=(a=@ (mul a a)) XX document -

++inv

+### `++inv` ++ inv |=(a=@ (~(exp fo q) (sub q 2) a)) XX document -

++cad

+### `++cad` ++ cad |= [n=[x=@ z=@] m=[x=@ z=@] d=[x=@ z=@]] @@ -473,7 +473,7 @@ XX document XX document -

++cub

+### `++cub` ++ cub |= [x=@ z=@] @@ -505,7 +505,7 @@ XX document XX document -

++ed

+### `++ed` ++ ed :: ed25519 => @@ -521,14 +521,14 @@ XX document ~% %coed +> ~ |% -

++norm

+### `++norm` ++ norm |=(x=@ ?:(=(0 (mod x 2)) x (sub q x))) :: XX document -

++xrec

+### `++xrec` ++ xrec :: recover x-coord |= y=@ ^- @ @@ -543,7 +543,7 @@ XX document XX document -

++ward

+### `++ward` ++ ward :: edwards multiply |= [pp=[@ @] qq=[@ @]] ^- [@ @] @@ -565,7 +565,7 @@ XX document XX document -

++scam

+### `++scam` ++ scam :: scalar multiply |= [pp=[@ @] e=@] ^- [@ @] @@ -580,7 +580,7 @@ XX document XX document -

++etch

+### `++etch` ++ etch :: encode point |= pp=[@ @] ^- @ @@ -589,7 +589,7 @@ XX document XX document -

++curv

+### `++curv` ++ curv :: point on curve? |= [x=@ y=@] ^- ? @@ -603,7 +603,7 @@ XX document XX document -

++deco

+### `++deco` ++ deco :: decode point |= s=@ ^- (unit ,[@ @]) @@ -619,7 +619,7 @@ XX document XX document -

++bb

+### `++bb` ++ bb =+ bby=(pro.fq 4 (inv.fq 5)) @@ -631,7 +631,7 @@ XX document XX document -

++puck

+### `++puck` ++ puck :: public key ~/ %puck @@ -647,7 +647,7 @@ XX document XX document -

++suck

+### `++suck` ++ suck :: keypair from seed |= se=@I ^- @uJ @@ -657,7 +657,7 @@ XX document XX document -

++sign

+### `++sign` ++ sign :: certify ~/ %sign @@ -692,7 +692,7 @@ XX document XX document -

++veri

+### `++veri` ++ veri :: validate ~/ %veri diff --git a/pub/doc/hoon/library/2ey.md b/pub/doc/hoon/library/2ey.md index 750b1298a..2e2f95db6 100644 --- a/pub/doc/hoon/library/2ey.md +++ b/pub/doc/hoon/library/2ey.md @@ -1,13 +1,13 @@ section 2eY, SHA-256 ==================== -

++shad

+### `++shad` ++ shad |=(ruz=@ (shax (shax ruz))) :: double sha-256 XX document -

++shaf

+### `++shaf` ++ shaf :: half sha-256 |= [sal=@ ruz=@] @@ -17,7 +17,7 @@ XX document XX document -

++shak

+### `++shak` ++ shak :: XX shd be PBKDF |= [who=@p wud=@] @@ -26,7 +26,7 @@ XX document XX document -

++sham

+### `++sham` ++ sham :: noun hash |= yux=* ^- @uvH ^- @ @@ -37,7 +37,7 @@ XX document XX document -

++shas

+### `++shas` ++ shas :: salted hash |= [sal=@ ruz=@] @@ -46,7 +46,7 @@ XX document XX document -

++shax

+### `++shax` ++ shax :: sha-256 ~/ %shax @@ -137,7 +137,7 @@ XX document XX document -

++shaw

+### `++shaw` ++ shaw :: hash to nbits |= [sal=@ len=@ ruz=@] @@ -146,7 +146,7 @@ XX document XX document -

++og

+### `++og` ++ og :: shax-powered rng ~/ %og @@ -154,7 +154,7 @@ XX document XX document -

++rad

+### `++rad` ++ rad :: random in range |= b=@ ^- @ @@ -164,7 +164,7 @@ XX document XX document -

++rads

+### `++rads` ++ rads :: random continuation |= b=@ @@ -173,7 +173,7 @@ XX document XX document -

++raw

+### `++raw` ++ raw :: random bits ~/ %raw @@ -191,7 +191,7 @@ XX document XX document -

++raws

+### `++raws` ++ raws :: random bits continuation |= b=@ @@ -201,7 +201,7 @@ XX document XX document -

++shaz

+### `++shaz` ++ shaz :: sha-512 |= ruz=@ ^- @ @@ -209,7 +209,7 @@ XX document XX document -

++shal

+### `++shal` ++ shal :: sha-512 with length ~/ %shal @@ -326,7 +326,7 @@ XX document XX document -

++shan

+### `++shan` ++ shan :: sha-1 (deprecated) |= ruz=@ diff --git a/pub/doc/hoon/library/2ez.md b/pub/doc/hoon/library/2ez.md index b37aa52bc..fd089bf61 100644 --- a/pub/doc/hoon/library/2ez.md +++ b/pub/doc/hoon/library/2ez.md @@ -1,7 +1,7 @@ section 2eZ, OLD rendering ========================== -

++show

+### `++show` ++ show :: XX deprecated, use type |= vem=* @@ -63,7 +63,7 @@ section 2eZ, OLD rendering XX document -

++shep

+### `++shep` ++ shep |= [fom=@ gar=*] @@ -85,7 +85,7 @@ XX document XX document -

++shop

+### `++shop` ++ shop |= [aug=* vel=$+(a=@ tape)] @@ -103,14 +103,14 @@ XX document XX document -

++at

+### `++at` ++ at |_ a=@ XX document -

++r

+### `++r` ++ r ?: ?& (gte (met 3 a) 2) @@ -130,49 +130,49 @@ XX document XX document -

++rf

+### `++rf` ++ rf `tape`[?-(a & '&', | '|', * !!) ~] XX document -

++rn

+### `++rn` ++ rn `tape`[?>(=(0 a) '~') ~] XX document -

++rt

+### `++rt` ++ rt `tape`['\'' (weld (mesc (trip a)) `tape`['\'' ~])] XX document -

++rta

+### `++rta` ++ rta rt XX document -

++rtam

+### `++rtam` ++ rtam `tape`['%' (trip a)] XX document -

++rub

+### `++rub` ++ rub `tape`['0' 'b' (rum 2 ~ |=(b=@ (add '0' b)))] XX document -

++rud

+### `++rud` ++ rud (rum 10 ~ |=(b=@ (add '0' b))) XX document -

++rum

+### `++rum` ++ rum |= [b=@ c=tape d=$+(@ @)] @@ -193,7 +193,7 @@ XX document XX document -

++rup

+### `++rup` ++ rup =+ b=(met 3 a) @@ -220,7 +220,7 @@ XX document XX document -

++ruv

+### `++ruv` ++ ruv ^- tape @@ -239,7 +239,7 @@ XX document XX document -

++rux

+### `++rux` ++ rux `tape`['0' 'x' (rum 16 ~ |=(b=@ (add b ?:((lth b 10) 48 87))))] -- diff --git a/pub/doc/hoon/library/3ba.md b/pub/doc/hoon/library/3ba.md index 238255ea2..56ebab299 100644 --- a/pub/doc/hoon/library/3ba.md +++ b/pub/doc/hoon/library/3ba.md @@ -1,7 +1,7 @@ section 3bA, lite number theory =============================== -

++fu

+### `++fu` ++ fu :: modulo (mul p q) |= a=[p=@ q=@] @@ -10,7 +10,7 @@ section 3bA, lite number theory XX document -

++dif

+### `++dif` ++ dif |= [c=[@ @] d=[@ @]] @@ -19,7 +19,7 @@ XX document XX document -

++exp

+### `++exp` ++ exp |= [c=@ d=[@ @]] @@ -29,7 +29,7 @@ XX document XX document -

++out

+### `++out` ++ out :: garner's formula |= c=[@ @] @@ -40,7 +40,7 @@ XX document XX document -

++pro

+### `++pro` ++ pro |= [c=[@ @] d=[@ @]] @@ -49,7 +49,7 @@ XX document XX document -

++sum

+### `++sum` ++ sum |= [c=[@ @] d=[@ @]] @@ -58,7 +58,7 @@ XX document XX document -

++sit

+### `++sit` ++ sit |= c=@ diff --git a/pub/doc/hoon/library/3bb.md b/pub/doc/hoon/library/3bb.md index 628859579..28d6071c0 100644 --- a/pub/doc/hoon/library/3bb.md +++ b/pub/doc/hoon/library/3bb.md @@ -1,7 +1,7 @@ section 3bB, cryptosuites ========================= -

++crua

+### `++crua` ++ crua !: :: cryptosuite A (RSA) ^- acru @@ -10,13 +10,13 @@ section 3bB, cryptosuites XX document -

++mx

+### `++mx` ++ mx (dec (met 0 mos)) :: bit length XX document -

++dap

+### `++dap` ++ dap :: OEAP decode |= [wid=@ xar=@ dog=@] ^- [p=@ q=@] @@ -28,7 +28,7 @@ XX document XX document -

++pad

+### `++pad` ++ pad :: OEAP encode |= [wid=@ rax=[p=@ q=@] meg=@] ^- @ @@ -42,19 +42,19 @@ XX document XX document -

++pull

+### `++pull` ++ pull |=(a=@ (~(exp fo mos) 3 a)) XX document -

++push

+### `++push` ++ push |=(a=@ (~(exp fo mos) 5 a)) XX document -

++pump

+### `++pump` ++ pump |= a=@ ^- @ @@ -64,7 +64,7 @@ XX document XX document -

++punt

+### `++punt` ++ punt |= a=@ ^- @ @@ -74,14 +74,14 @@ XX document XX document -

++as

+### `++as` ++ as => |% XX document -

++haul

+### `++haul` ++ haul :: revealing haul |= a=pass @@ -94,7 +94,7 @@ XX document XX document -

++seal

+### `++seal` XX document @@ -177,26 +177,26 @@ XX document XX document -

++pac

+### `++pac` ++ pac ^- @uvG (end 6 1 (shaf %acod sec)) XX document -

++pub

+### `++pub` ++ pub ^- pass (cat 3 'b' puc) XX document -

++sec

+### `++sec` ++ sec ^- ring sed :: XX document -

++nu

+### `++nu` ++ nu ^? @@ -208,7 +208,7 @@ XX document XX document -

++elcm

+### `++elcm` ++ elcm |= [a=@ b=@] @@ -217,7 +217,7 @@ XX document XX document -

++eldm

+### `++eldm` ++ eldm |= [a=@ b=@ c=@] @@ -226,7 +226,7 @@ XX document XX document -

++ersa

+### `++ersa` ++ ersa |= [a=@ b=@] @@ -240,7 +240,7 @@ XX document XX document -

++com

+### `++com` XX document @@ -401,7 +401,7 @@ XX document XX document -

++sign

+### `++sign` ++ sign |= [a=@ b=@] ^- @ @@ -409,7 +409,7 @@ XX document XX document -

++sure

+### `++sure` ++ sure |= [a=@ b=@] @@ -418,7 +418,7 @@ XX document XX document -

++tear

+### `++tear` ++ tear |= [a=pass b=@] @@ -428,7 +428,7 @@ XX document XX document -

++de

+### `++de` ++ de |+ [key=@ cep=@] ^- (unit ,@) @@ -437,7 +437,7 @@ XX document XX document -

++dy

+### `++dy` ++ dy |+ [a=@ b=@] ^- @ @@ -445,7 +445,7 @@ XX document XX document -

++en

+### `++en` ++ en |+ [key=@ msg=@] ^- @ux @@ -454,14 +454,14 @@ XX document XX document -

++ex

+### `++ex` ++ ex ^? |% ++ fig ^- @uvH (shaf %bfig puc) XX document -

++fig

+### `++fig` XX document @@ -509,7 +509,7 @@ XX document XX document -

++pit

+### `++pit` ++ pit |= [a=@ b=@] @@ -519,7 +519,7 @@ XX document XX document -

++nol

+### `++nol` ++ nol |= a=@ @@ -528,7 +528,7 @@ XX document XX document -

++brew

+### `++brew` ++ brew :: create keypair |= [a=@ b=@] :: width seed @@ -538,7 +538,7 @@ XX document XX document -

++hail

+### `++hail` ++ hail :: activate public key |= a=pass @@ -550,7 +550,7 @@ XX document XX document -

++wear

+### `++wear` ++ wear :: activate secret key |= a=ring @@ -562,7 +562,7 @@ XX document XX document -

++trub

+### `++trub` ++ trub :: test ed |= msg=@tas @@ -583,7 +583,7 @@ XX document XX document -

++hmac

+### `++hmac` ++ hmac :: HMAC-SHA1 |= [key=@ mes=@] diff --git a/pub/doc/hoon/library/3bc.md b/pub/doc/hoon/library/3bc.md index f1f385077..7264cfdba 100644 --- a/pub/doc/hoon/library/3bc.md +++ b/pub/doc/hoon/library/3bc.md @@ -1,7 +1,7 @@ section 3bC, Gregorian UTC ========================== -

++dawn

+### `++dawn` Weekday of Jan 1 @@ -27,7 +27,7 @@ producing an atom. Weeks are zero-indexed beginning on Sunday. ------------------------------------------------------------------------ -

++daws

+### `++daws` Weekday of date @@ -51,7 +51,7 @@ zero-indexed beginning on Sunday. ------------------------------------------------------------------------ -

++deal

+### `++deal` Add leap seconds @@ -82,7 +82,7 @@ Produces a [`date`]() with the 25 leap seconds added. ------------------------------------------------------------------------ -

++lead

+### `++lead` Subtract leap seconds @@ -117,7 +117,7 @@ subtracted. ------------------------------------------------------------------------ -

++dust

+### `++dust` Print UTC format @@ -146,7 +146,7 @@ Produces a [tape]() of the date in UTC format. ------------------------------------------------------------------------ -

++stud

+### `++stud` Parse UTC format @@ -189,7 +189,7 @@ Accepts a [tape]() containing a date in UTC format and produces the ------------------------------------------------------------------------ -

++unt

+### `++unt` UGT to UTC time @@ -211,7 +211,7 @@ Transforms Urbit Galactic Time to UTC time, producing an atom. ------------------------------------------------------------------------ -

++yu

+### `++yu` UTC format constants @@ -223,7 +223,7 @@ UTC format constants ------------------------------------------------------------------------ -

++mon

+### `++mon` Months @@ -255,7 +255,7 @@ Produces a list of [tapes]() containing the 12 months of the year. ------------------------------------------------------------------------ -

++wik

+### `++wik` Weeks @@ -277,7 +277,7 @@ beginning with Sunday. ------------------------------------------------------------------------ -

++les

+### `++les` Leap second dates @@ -325,7 +325,7 @@ Produces a list of the (absolute) dates ([`@da`]) of the 25 leap seconds ------------------------------------------------------------------------ -

++lef

+### `++lef` Back-shifted leap second dates diff --git a/pub/doc/hoon/library/3bd.md b/pub/doc/hoon/library/3bd.md index c67390af1..d6de2b335 100644 --- a/pub/doc/hoon/library/3bd.md +++ b/pub/doc/hoon/library/3bd.md @@ -1,7 +1,7 @@ section 3bD, JSON and XML ========================= -

++moon

+### `++moon` Mime type to `++cord` @@ -27,7 +27,7 @@ Renders a [mime](http://en.wikipedia.org/wiki/MIME) type path with infix ~zod/try=> `@t`(moon /application/x-pnacl) 'application/x-pnacl' -

++perk

+### `++perk` Parse cube with fork @@ -61,7 +61,7 @@ needlessly unwieldy. ! {1 1} ! exit -

++poja

+### `++poja` JSON parser core @@ -81,7 +81,7 @@ a [`++json`](). ~zod/try=> (poja 'invalid{json') ~ -

++apex

+### `++apex` Parse object @@ -103,7 +103,7 @@ with current test:urbit.git ! {1 1} ! exit -

++valu

+### `++valu` Parse value @@ -135,7 +135,7 @@ Parsing rule. Parses JSON values to [`++json`](). ~zod/try=> (rash 'true' valu:poja) [%b p=%.y] -

++abox

+### `++abox` Parse array @@ -150,7 +150,7 @@ delimited by a `,`. JSON Objects ------------ -

++pair

+### `++pair` Parse key value pair @@ -162,7 +162,7 @@ string and value delimited by `:`. ~zod/try=> (rash '"ham": 2' pair:poja) ['ham' [%n p=~.2]] -

++obje

+### `++obje` Parse array of objects @@ -174,7 +174,7 @@ key-value pairs that are enclosed within `{}` and separated by `,`. ~zod/try=> (rash '{"ham": 2, "lam":true}' obje:poja) [['ham' [%n p=~.2]] ~[['lam' [%b p=%.y]]]] -

++obox

+### `++obox` Parse boxed object @@ -189,7 +189,7 @@ a tag of `%o`. See also: [`++json`](). JSON Booleans ------------- -

++bool

+### `++bool` Parse boolean @@ -209,7 +209,7 @@ Parsing rule. Parses a string of either `true` or `false` to a JSON strings ------------ -

++stri

+### `++stri` Parse string @@ -228,7 +228,7 @@ of characters enclosed in double quotes along with escaping `\`s, to a ~zod/try=> (rash '"This be \\"quoted\\""' stri:poja) 'This be "quoted"' -

++jcha

+### `++jcha` Parse char from string @@ -249,7 +249,7 @@ string to a [`++cord`](). ' ' -

++esca

+### `++esca` Parse escaped char @@ -286,7 +286,7 @@ A- JSON numbers are stored as cords internally in lieu of full float support, so ++numb and subarms are really more *validators* than parsers per se. -

++numb

+### `++numb` Parse number @@ -318,7 +318,7 @@ part, or exponent part, to a [`++cord`](). ! {1 2} ! exit -

++digs

+### `++digs` Parse 1-9 @@ -335,7 +335,7 @@ Parsing rule. Parses digits `0` through `9` to a [`++tape`](). ~zod/try=> (rash '7' digs:poja) "7" -

++expo

+### `++expo` Parse exponent part @@ -356,7 +356,7 @@ Parsing rule. Parses an exponent to a [`++cord`](). An exponent is an ~zod/try=> `tape`(rash 'E-4' expo:poja) "E-4" -

++frac

+### `++frac` Fractional part @@ -374,7 +374,7 @@ Parsing rule. Parses a dot followed by digits to a [`++cord`](). whitespace ---------- -

++spac

+### `++spac` Parse whitespace @@ -392,7 +392,7 @@ Parsing rule. Parses a whitespace to a [`++tape`](). ! {1 4} ! exit -

++ws

+### `++ws` Allow prefix whitespace @@ -417,7 +417,7 @@ applying `sef`. Plumbing -------- -

++mayb

+### `++mayb` Maybe parse @@ -430,7 +430,7 @@ Parser modifier. Need to document, an example showing failure. ~zod/try=> ((mayb abox):poja 1^1 "not-an-array") [p=[p=1 q=1] q=[~ [p="" q=[p=[p=1 q=1] q="not-an-array"]]]] -

++twel

+### `++twel` Weld two tapes @@ -447,7 +447,7 @@ Concatenates two tapes, `a` and `b`, producing a `++tape`. ~zod/try=> (twel "kre" ""):poja ~[~~k ~~r ~~e] -

++piec

+### `++piec` Parse char to list @@ -464,7 +464,7 @@ Parser modifer. Parses an atom with `bus` and then wraps it in a ~zod/try=> (scan "4" (piec:poja dem:ag)) [4 ~] -

++pojo

+### `++pojo` Print JSON @@ -527,7 +527,7 @@ Renders a `++json` `val` as a [`++tape`](). ~zod/try=> (crip (pojo %o (mo sale/(jone 12) same/b/| ~))) '{"same":false,"sale":12}' -

++poxo

+### `++poxo` Print XML @@ -546,7 +546,7 @@ Renders a `++manx` `a` as a [`++tape`](). ~zod/try=> (poxo ;div:(p:"tree > text" a)) "

tree > text

" -

++apex

+### `++apex` Inner XML printer @@ -581,7 +581,7 @@ Renders a `++manx` as a [`++tape`](), appending a suffix `rez\`. ~zod/try=> (~(apex poxo &) ;div:(p:"tree > text" a) "") "

tree > text

" -

++attr

+### `++attr` Print attributes @@ -609,7 +609,7 @@ Render XML attributes as a [`++tape`](). ~zod/try=> (crip (attr:poxo ~[sam/"hem" [%tok %ns]^"reptor"] "|appen")) 'sam="hem" tok:ns="reptor"|appen' -

++escp

+### `++escp` Escape XML @@ -648,7 +648,7 @@ Escapes the XML special characters `"`, `&`, `'`, `<`, `>`. ~zod/try=> `tape`(~(escp poxo &) "x > y" ~) "x > y" -

++name

+### `++name` Print name @@ -669,7 +669,7 @@ Renders a `++mane` as a `++tape`. ~zod/try=> (name:poxo %ham^%tor) "ham:tor" -

++many

+### `++many` Print node list @@ -697,7 +697,7 @@ Renders multiple XML nodes as a [`++tape`]() ------------------------------------------------------------------------ -

++poxa

+### `++poxa` Parse XML @@ -718,7 +718,7 @@ Parses an XML node from a [`++cord`](), producing a unit [`++manx`](). ~zod/try=> (poxa '<<<<') ~ -

++apex

+### `++apex` Top level parser @@ -745,7 +745,7 @@ Parses a node of XML, type [`++manx`](). ! {1 2} ! exit -

++attr

+### `++attr` Parse XML attributes @@ -781,7 +781,7 @@ or more space-prefixed name to string values. Result type [`++mart`]() ! {1 23} ! exit -

++chrd

+### `++chrd` Parse character data @@ -800,7 +800,7 @@ Parsing rule. Parses XML character data. Result type [`++mars`]() ! {1 6} ! exit -

++comt

+### `++comt` Parses comments @@ -823,7 +823,7 @@ Parsing rule. Parses XML comment blocks. ! {1 18} ! exit -

++escp

+### `++escp` Parse (possibly) escaped char @@ -857,7 +857,7 @@ Parsing rule. Parses a nonspecial or escaped character. Result type ~zod/try=> (rash '"' escp:xmlp) '"' -

++empt

+### `++empt` Parse self-closing tag @@ -876,7 +876,7 @@ Parsing rule. Parses self-closing XML tags that end in `/>`. ! {1 21} ! exit -

++head

+### `++head` Parse opening tag @@ -895,7 +895,7 @@ Parsing rule. Parses the opening tag of an XML node. Result type ! {1 16} ! exit -

++name

+### `++name` Parse tag name @@ -922,7 +922,7 @@ Parsing rule. Parses the name of an XML tag. Result type [`++mane`]() ! {1 4} ! exit -

++tail

+### `++tail` Parse closing tag @@ -938,7 +938,7 @@ Parsing rule. Parses an XML closing tag. ! {1 3} ! exit -

++whit

+### `++whit` Parse whitespace, etc. @@ -960,7 +960,7 @@ Parsing rule. Parses newlines, tabs, and spaces. ! {1 1} ! exit -

++jo

+### `++jo` JSON reparsing core @@ -975,7 +975,7 @@ A `fist` is a gate that produces a `grub`. A `grub` is a unit of some JSON value. -

++ar

+### `++ar` Parse array to list @@ -998,7 +998,7 @@ Reparser modifier. Reparses an array to the [`++unit`]() of a homogenous [~ u=~[1 2]] {[%~ u=it(@)] %~} -

++at

+### `++at` Reparse array as tuple @@ -1023,7 +1023,7 @@ Reparser generator. Reparses an array as a fixed-length tuple of ~zod/try=> ((at ni so ni ~):jo a/~[n/'3' s/'to' n/'']) ~ -

++at-raw

+### `++at-raw` Reparse array to tuple @@ -1043,7 +1043,7 @@ Reparser generator. Reparses a list of [`++json`]() to a tuple of ~zod/try=> ((at-raw ni ni bo ~):jo ~[s/'hi' n/'1' b/&]) [~ [~ 1] [~ u=%.y] ~] -

++bo

+### `++bo` Reparse boolean @@ -1061,7 +1061,7 @@ Reparser modifier. Reparses a boolean to the [`++unit`]() of a ~zod/try=> (bo:jo [%s 'hi']) ~ -

++bu

+### `++bu` Reparse boolean not @@ -1079,7 +1079,7 @@ of a loobean. ~zod/try=> (bu:jo [%s 'hi']) ~ -

++cu

+### `++cu` Reparse and transform @@ -1101,7 +1101,7 @@ producing a [`++unit`](). ~zod/try=> ((cu dec ni):jo [%b &]) ~ -

++da

+### `++da` Reparse UTC date @@ -1120,7 +1120,7 @@ Reparser modifier. Reparses a UTC date string to a [`++unit`](). ~zod/try=> (da:jo [%n '20']) ~ -

++di

+### `++di` Reparse millisecond date @@ -1143,7 +1143,7 @@ Reparser modifier. Reparses the javascript millisecond date integer to a ~zod/try=> (di:jo [%n '25000']) [~ ~1970.1.1..00.00.25] -

++mu

+### `++mu` Reparse unit @@ -1169,7 +1169,7 @@ value, and are reparsed to results of \~ or (some {value}) respectively ~zod/try=> ((mu ni):jo [%s 'ma']) ~ -

++ne

+### `++ne` Reparse number as real @@ -1184,7 +1184,7 @@ XX Currently unimplemented A- yup, this will eventually reparse a floating point atom, but interfaces for the latter are not currently stable. -

++ni

+### `++ni` Reparse number as integer @@ -1211,7 +1211,7 @@ Reparser modifier. Reparses an integer representation to a [\`++unit](). ~zod/try=> (ni:jo [%a ~[b/& b/& b/& b/&]]) ~ -

++no

+### `++no` Reparse number as text @@ -1238,7 +1238,7 @@ Reparser modifier. Reparses a numeric representation to a [++cord](). ~zod/try=> (no:jo [%a ~[b/& b/& b/& b/&]]) ~ -

++of

+### `++of` Reparse object to frond @@ -1278,7 +1278,7 @@ one of the key-value pairs in `wer`. ~zod/try=> ((of sem/sa som/ni ~):jo %o [%sem s/'hey'] ~ [%sam s/'other value'] ~ ~) ~ -

++ot

+### `++ot` Reparse object as tuple @@ -1301,7 +1301,7 @@ the [`++edge`](), the results of which are produced in a tuple. ~zod/try=> ((ot sem/sa som/ni sem/sa ~):jo (jobe [%sem s/'ha'] [%som n/'20'] ~)) [~ u=["ha" q=20 "ha"]] -

++ot-raw

+### `++ot-raw` ++ ot-raw :: object as tuple |* wer=(pole ,[cord fist]) @@ -1321,7 +1321,7 @@ in a tuple. ~zod/try=> ((ot-raw sem/sa som/ni sem/sa ~):jo (mo [%sem s/'ha'] [%som b/|] ~)) [[~ u="ha"] ~ [~ u="ha"] ~] -

++om

+### `++om` Parse object to map @@ -1342,7 +1342,7 @@ using `wit`. ~zod/try=> ((om ni):jo (jobe [%sap n/'20'] [%sup n/'0x5'] [%sop n/'177'] ~)) ~ -

++pe

+### `++pe` Add prefix @@ -1365,7 +1365,7 @@ Reparser modifier. Adds a static prefix `pre` to the parse result of ~zod/try=> ((pe %hi ni):jo b/|) ~ -

++sa

+### `++sa` Reparse string to tape @@ -1383,7 +1383,7 @@ Reparser modifier. Reparses a [`++json`]() string to a [`++tape`](). ~zod/try=> (sa:jo a/~[s/'val 2']) ~ -

++so

+### `++so` Reparse string to cord @@ -1401,7 +1401,7 @@ Reparser modifier. Reparses a string to a [`++cord`](). ~zod/try=> (so:jo a/~[s/'val 2']) ~ -

++su

+### `++su` Reparse string @@ -1425,7 +1425,7 @@ Reparser generator. Produces a reparser that applies `sab` to a string. ~zod/try=> ((su:jo fed:ag) n/'20') ~ -

++ul

+### `++ul` Reparse null @@ -1442,7 +1442,7 @@ Reparser modifier. Reparses a null value. ~zod/try=> (ul:jo b/&) ~ -

++za

+### `++za` Pole of nonempty units @@ -1463,7 +1463,7 @@ internally. ~zod/try=> (za:jo ~[`1 ~ `3]) %.n -

++zl

+### `++zl` Collapse unit list @@ -1491,7 +1491,7 @@ empty, produces null. ~zod/try=> (zl:jo `(list (unit))`~[`1 ~ `3]) ~ -

++zp

+### `++zp` Parses a @@ -1514,7 +1514,7 @@ Collapses a `++pole` of `++unit`s `but`, producing a tuple. ~zod/try=> (zp:jo `(pole (unit))`~[`1 ~ `3]) ! exit -

++zm

+### `++zm` Collapse unit map @@ -1545,7 +1545,7 @@ See also: [`++zp`](), [`++zl`](). ~zod/try=> (~(run by `(map ,@t ,@u)`(mo a/1 b/7 c/3 ~)) (flit |=(a=@ (lth a 5)))) {[p='a' q=[~ u=1]] [p='c' q=[~ u=3]] [p='b' q=~]} -

++joba

+### `++joba` `++json` from key-value pair @@ -1570,7 +1570,7 @@ Produces a ++json object with one key. ~zod/try=> (crip (pojo (joba %hi (jone 2.130)))) '{"hi":2130}' -

++jobe

+### `++jobe` Object from key-value list @@ -1589,7 +1589,7 @@ Produces a `++json` object from a list `a` of key to `++json` values. ~zod/try=> (crip (pojo (jobe a/n/'20' b/~ c/a/~[s/'mol'] ~))) '{"b":null,"c":["mol"],"a":20}' -

++jape

+### `++jape` `++json` string from tape @@ -1610,7 +1610,7 @@ Produces a [`++json`]() string from a [`++tape`](). ~zod/try=> (crip (pojo (jape "semtek som? zeplo!"))) '"semtek som? zeplo!"' -

++jone

+### `++jone` `++json` number from unigned @@ -1635,7 +1635,7 @@ Produces a `++json` number from an unsigned atom. ~zod/try=> (pojo (jone 1.203.196)) "1203196" -

++jesc

+### `++jesc` Escape JSON character @@ -1661,7 +1661,7 @@ Produces a `++tape` of an escaped [`++json`](/doc/hoon/library/3bi#++json) chara ~zod/try=> (jesc '"') "\"" -

++scanf

+### `++scanf` Formatted scan @@ -1693,7 +1693,7 @@ collapses the result list to a tuple, such that (scanf "foo 1 2 bar" ~zod/try=> `@da`(year `date`dat(- [%& -.dat], |6 ~[(div (mul |6.dat (bex 16)) 1.000)])) ~2014.8.12..23.10.58..ee56 -

++parsf

+### `++parsf` ++ parsf :: make parser from: |^ |* a=(pole ,_:/(*$&(_rule tape))) :: ;"chars{rule}chars" @@ -1745,7 +1745,7 @@ more convenient list of discriminated tapes and rules. `bill` builds a parser out of rules and tapes, ignoring the literal sections and producing a list of the rules' results. -

++taco

+### `++taco` ++ taco :: atom to octstream |= tam=@ ^- octs @@ -1759,7 +1759,7 @@ An [octs] contains a length, to encode trailing zeroes. ~zod/try=> `@t`6.513.249 'abc' -

++tact

+### `++tact` ++ tact :: tape to octstream |= tep=tape ^- octs @@ -1773,7 +1773,7 @@ octs from tape ~zod/try=> `@t`6.513.249 'abc' -

++tell

+### `++tell` ++ tell :: wall to octstream |= wol=wall ^- octs @@ -1792,7 +1792,7 @@ octs from wall 3 ''' -

++txml

+### `++txml` ++ txml :: string to xml |= tep=tape ^- manx diff --git a/pub/doc/hoon/library/3be.md b/pub/doc/hoon/library/3be.md index c2326362c..e2281c849 100644 --- a/pub/doc/hoon/library/3be.md +++ b/pub/doc/hoon/library/3be.md @@ -1,7 +1,7 @@ section 3bE, tree sync ====================== -

++invert-miso

+### `++invert-miso` ++ invert-miso :: invert miso |= mis=miso @@ -14,7 +14,7 @@ section 3bE, tree sync XX document -

++cosh

+### `++cosh` ++ cosh :: locally rehash |= ank=ankh :: NB v/unix.c @@ -23,7 +23,7 @@ XX document XX document -

++cost

+### `++cost` ++ cost :: new external patch |= [bus=ankh ank=ankh] :: NB v/unix.c @@ -35,7 +35,7 @@ XX document XX document -

++loth

+### `++loth` ++ loth |= pat=(map path ,*) @@ -47,7 +47,7 @@ XX document XX document -

++luth

+### `++luth` ++ luth |= [p=(map path ,*) q=(map path ,*)] :: merge keysets @@ -57,7 +57,7 @@ XX document XX document -

++blob-to-lobe

+### `++blob-to-lobe` ++ blob-to-lobe :: p.blob |= p=blob @@ -71,20 +71,20 @@ XX document XX document -

++ze

+### `++ze` ++ ze |_ [lim=@da dome rang] XX document -

++aeon-to-tako

+### `++aeon-to-tako` ++ aeon-to-tako ~(got by hit) XX document -

++make-yaki

+### `++make-yaki` ++ make-yaki :: make yaki |= [p=(list tako) q=(map path lobe) t=@da] @@ -97,19 +97,19 @@ XX document XX document -

++tako-to-yaki

+### `++tako-to-yaki` ++ tako-to-yaki ~(got by hut) :: grab yaki XX document -

++lobe-to-blob

+### `++lobe-to-blob` ++ lobe-to-blob ~(got by lat) :: grab blob XX document -

++lobe-to-noun

+### `++lobe-to-noun` ++ lobe-to-noun :: grab blob |= p=lobe :: ^- * @@ -119,7 +119,7 @@ XX document XX document -

++make-direct

+### `++make-direct` ++ make-direct :: make blob |= [p=* q=umph] @@ -129,7 +129,7 @@ XX document XX document -

++make-delta

+### `++make-delta` ++ make-delta :: make blob delta |= [p=lobe q=udon] @@ -144,7 +144,7 @@ XX document XX document -

++blob-to-umph

+### `++blob-to-umph` ++ blob-to-umph :: blob umph [prep] |= p=blob :: used in merge @@ -158,7 +158,7 @@ XX document XX document -

++blob-to-noun

+### `++blob-to-noun` ++ blob-to-noun :: grab blob |= p=blob @@ -173,7 +173,7 @@ XX document XX document -

++diff-yakis

+### `++diff-yakis` ++ diff-yakis :: fundamental diff |= [p=yaki q=yaki] @@ -198,7 +198,7 @@ XX document XX document -

++lobes-at-path

+### `++lobes-at-path` ++ lobes-at-path :: lobes-at-path:ze |= [oan=aeon pax=path] :: data at path @@ -222,7 +222,7 @@ XX document XX document -

++case-to-aeon

+### `++case-to-aeon` ++ case-to-aeon :: case-to-aeon:ze |= lok=case :: act count through @@ -247,7 +247,7 @@ XX document XX document -

++as-arch

+### `++as-arch` ++ as-arch :: as-arch:ze ^- arch :: arch report @@ -260,7 +260,7 @@ XX document XX document -

++reachable-takos

+### `++reachable-takos` ++ reachable-takos :: reachable |= p=tako :: XX slow @@ -276,7 +276,7 @@ XX document XX document -

++new-lobes

+### `++new-lobes` ++ new-lobes :: object hash set |= [b=(set lobe) a=(set tako)] :: that aren't in b @@ -300,7 +300,7 @@ XX document XX document -

++new-lobes-takos

+### `++new-lobes-takos` ++ new-lobes-takos :: garg & repack |= [b=(set lobe) a=(set tako)] @@ -310,7 +310,7 @@ XX document XX document -

++reachable-between-takos

+### `++reachable-between-takos` ++ reachable-between-takos |= [a=(unit tako) b=tako] :: pack a through b @@ -337,7 +337,7 @@ XX document XX document -

++takos-to-yakis

+### `++takos-to-yakis` ++ takos-to-yakis :: trivial |= a=(set tako) @@ -347,7 +347,7 @@ XX document XX document -

++lobes-to-blobs

+### `++lobes-to-blobs` ++ lobes-to-blobs :: trivial |= a=(set lobe) @@ -357,7 +357,7 @@ XX document XX document -

++make-nako

+### `++make-nako` ++ make-nako :: gack a through b |= [a=aeon b=aeon] @@ -376,7 +376,7 @@ XX document XX document -

++query

+### `++query` ++ query :: query:ze |= ren=?(%u %v %x %y %z) :: endpoint query @@ -392,7 +392,7 @@ XX document XX document -

++rewind

+### `++rewind` ++ rewind :: rewind:ze |= oan=aeon :: rewind to aeon @@ -405,7 +405,7 @@ XX document XX document -

++update-lat

+### `++update-lat` ++ update-lat :: update-lat:ze |= [lag=(map path blob) sta=(map lobe blob)] :: fix lat @@ -420,7 +420,7 @@ XX document XX document -

++apply-changes

+### `++apply-changes` ++ apply-changes :: apply-changes:ze |= lar=(list ,[p=path q=miso]) :: store changes @@ -463,7 +463,7 @@ XX document XX document -

++checkout-ankh

+### `++checkout-ankh` ++ checkout-ankh :: checkout-ankh:ze |= hat=(map path lobe) :: checkout commit @@ -485,7 +485,7 @@ XX document XX document -

++forge-yaki

+### `++forge-yaki` ++ forge-yaki :: forge-yaki:ze |= [wen=@da par=(unit tako) lem=soba] :: forge yaki @@ -499,7 +499,7 @@ XX document XX document -

++forge-nori

+### `++forge-nori` ++ forge-nori :: forge-nori:ze |= yak=yaki :: forge nori (ugly op) @@ -513,7 +513,7 @@ XX document XX document -

++reduce-merge-points

+### `++reduce-merge-points` ++ reduce-merge-points :: reduce merge points |= unk=(set yaki) :: maybe need jet @@ -539,7 +539,7 @@ XX document XX document -

++future-find-merge-points

+### `++future-find-merge-points` ++ future-find-merge-points :: merge points fast |= [p=yaki q=yaki] :: (future zeal) @@ -566,7 +566,7 @@ XX document XX document -

++add-parents

+### `++add-parents` ++ add-parents :: expand set |= qez=(set tako) @@ -579,7 +579,7 @@ XX document XX document -

++find-merge-points

+### `++find-merge-points` ++ find-merge-points :: merge points |= [p=yaki q=yaki] :: maybe need jet @@ -599,7 +599,7 @@ XX document XX document -

++clean

+### `++clean` ++ clean :: clean |= wig=(urge) @@ -617,7 +617,7 @@ XX document XX document -

++match-conflict

+### `++match-conflict` ++ match-conflict :: match conflict |= [us=[ship desk] th=[ship desk] p=(urge) q=(urge) r=(list)] @@ -634,7 +634,7 @@ XX document XX document -

++annotate

+### `++annotate` ++ annotate :: annotate conflict |= [us=[ship desk] th=[ship desk] p=(list ,@t) q=(list ,@t) r=(list ,@t)] @@ -665,7 +665,7 @@ XX document XX document -

++match-merge

+### `++match-merge` ++ match-merge :: match merge |= [p=(urge ,@t) q=(urge ,@t) r=(list ,@t)] :: resolve conflict @@ -734,7 +734,7 @@ XX document XX document -

++qeal

+### `++qeal` ++ qeal :: merge p,q |* [us=[ship desk] th=[ship desk] pat=path p=miso q=miso r=(list) con=?] @@ -798,7 +798,7 @@ XX document XX document -

++quil

+### `++quil` ++ quil :: merge p,q |= $: us=[ship desk] @@ -836,7 +836,7 @@ XX document XX document -

++meld

+### `++meld` ++ meld :: merge p,q from r |= [p=yaki q=yaki r=yaki con=? us=[ship desk] th=[ship desk]] @@ -887,7 +887,7 @@ XX document XX document -

++mate

+### `++mate` ++ mate :: merge p,q |= con=? :: %mate, %meld @@ -903,7 +903,7 @@ XX document XX document -

++keep

+### `++keep` ++ keep :: %this |= [p=yaki q=yaki [ship desk] [ship desk]] @@ -916,7 +916,7 @@ XX document XX document -

++drop

+### `++drop` ++ drop :: %that |= [p=yaki q=yaki r=[ship desk] s=[ship desk]] @@ -926,7 +926,7 @@ XX document XX document -

++forge

+### `++forge` ++ forge :: %forge |= [p=yaki q=yaki s=[ship desk] t=[ship desk]] @@ -960,7 +960,7 @@ XX document XX document -

++merge

+### `++merge` ++ merge |= [us=[ship desk] th=[ship desk]] @@ -978,7 +978,7 @@ XX document XX document -

++strategy

+### `++strategy` ++ strategy :: merge strategy |= gem=?(%meld %mate %that %this) @@ -992,7 +992,7 @@ XX document XX document -

++construct-merge

+### `++construct-merge` ++ construct-merge :: construct-merge:ze |= [gem=germ who=ship des=desk sab=saba now=@da] :: construct merge @@ -1040,7 +1040,7 @@ XX document XX document -

++read

+### `++read` ++ read :: read:ze |= mun=mood :: read at point @@ -1061,7 +1061,7 @@ XX document XX document -

++read-at-aeon

+### `++read-at-aeon` ++ read-at-aeon :: read-at-aeon:ze |= [oan=aeon mun=mood] :: seek and read @@ -1073,7 +1073,7 @@ XX document XX document -

++equiv

+### `++equiv` ++ equiv :: test paths |= [p=(map path lobe) q=(map path lobe)] @@ -1096,7 +1096,7 @@ XX document XX document -

++edit

+### `++edit` ++ edit :: edit:ze |= [wen=@da lem=nori] :: edit @@ -1126,7 +1126,7 @@ XX document XX document -

++zu

+### `++zu` ++ zu :: filesystem |= ank=ankh :: filesystem state @@ -1136,7 +1136,7 @@ XX document XX document -

++rehash

+### `++rehash` ++ rehash :: local rehash ^- cash @@ -1153,13 +1153,13 @@ XX document XX document -

++update-hash

+### `++update-hash` ++ update-hash %_(. p.ank rehash) :: rehash and save XX document -

++ascend

+### `++ascend` ++ ascend :: ascend |= [lol=@ta kan=ankh] @@ -1177,7 +1177,7 @@ XX document XX document -

++push-change

+### `++push-change` ++ push-change :: add change |= mis=miso @@ -1187,7 +1187,7 @@ XX document XX document -

++descend

+### `++descend` ++ descend :: descend |= lol=@ta @@ -1198,7 +1198,7 @@ XX document XX document -

++descend-path

+### `++descend-path` ++ descend-path :: descend recursively |= way=path @@ -1208,7 +1208,7 @@ XX document XX document -

++overwrite

+### `++overwrite` ++ overwrite :: write over |= [pum=umph val=(unit ,[p=cash q=*])] @@ -1224,7 +1224,7 @@ XX document XX document -

++change-tree

+### `++change-tree` ++ change-tree :: modify tree |= [pum=umph bus=ankh] @@ -1243,7 +1243,7 @@ XX document XX document -

++rm-r

+### `++rm-r` ++ rm-r :: rm -r |- ^+ + @@ -1257,7 +1257,7 @@ XX document XX document -

++drum

+### `++drum` ++ drum :: apply effect |= [pax=path mis=miso] :: XX unused (++dune) @@ -1285,7 +1285,7 @@ XX document XX document -

++dune

+### `++dune` ++ dune :: apply |- ^+ + :: XX unused (++durn) @@ -1296,7 +1296,7 @@ XX document XX document -

++durn

+### `++durn` ++ durn :: apply forward |= nyp=soba :: XX unused diff --git a/pub/doc/hoon/library/3bf.md b/pub/doc/hoon/library/3bf.md index 472aa26ac..a89f54af0 100644 --- a/pub/doc/hoon/library/3bf.md +++ b/pub/doc/hoon/library/3bf.md @@ -1,7 +1,7 @@ section 3bF, filesystem interface ================================= -

++feel

+### `++feel` Generate file diff @@ -33,7 +33,7 @@ Generates a diff between a file located at `pax` and an input value ~zod/try=> `@t`272.335.332.724 'tesh?' -

++file

+### `++file` Simple file load @@ -62,7 +62,7 @@ Reads the value of a file located at `pax` and renders it as a ~zod/try=/zak> (file /==2%/mop) ~ -

++foal

+### `++foal` Write high-level change @@ -90,7 +90,7 @@ at `pax`. Handled by `%clay`. ~zod/try=> (feel %/mek 'b') [%mut p=[p=%a q=[%a p=97 q=98]]] -

++fray

+### `++fray` High-level delete @@ -113,7 +113,7 @@ Handled by `%clay`. ~zod/try=> `@t`97 'a' -

++furl

+### `++furl` Unify changes @@ -148,7 +148,7 @@ and pointed at the same [`++path`](). ] ] -

++meat

+### `++meat` Kite to .\^ path @@ -181,7 +181,7 @@ Converts a type request name to a [`++path`](). ''' -

++tame

+### `++tame` Parse kite path @@ -220,7 +220,7 @@ Parses a clay [.\^]() ~zod/try=/zop> (tame /~zod/main/0x12/sur/down/gate/hook) ~ -

++tome

+### `++tome` Parse path to beam @@ -249,7 +249,7 @@ Parses a [`++path`]() `pax` to a [\`++beam](), a well-typed location. ~zod/try=/zop> (tome /~zod/main/0x12) ~ -

++tope :: beam to path

+### `++tope :: beam to path` Parse beam to path diff --git a/pub/doc/hoon/library/3bg.md b/pub/doc/hoon/library/3bg.md index b2f808a88..462f0a9b4 100644 --- a/pub/doc/hoon/library/3bg.md +++ b/pub/doc/hoon/library/3bg.md @@ -1,7 +1,7 @@ section 3bG, URL handling ========================= -

++deft

+### `++deft` Import URL path @@ -34,7 +34,7 @@ either by a `.` or a `/`. ~zod/try=> (deft /foo/bar/baz) [p=~ q=<|foo bar baz|>] -

++fain

+### `++fain` Restructure path @@ -73,7 +73,7 @@ Splits a concrete q=/._req_1234__ ] -

++fuel

+### `++fuel` Parse fcgi @@ -135,7 +135,7 @@ Retrieieves the %eyre FCGI, producing a [`++epic`](). Used primarily in nyp=/gen ] -

++sifo

+### `++sifo` 64-bit encode @@ -164,7 +164,7 @@ Encodes an atom to MIME base64, producing a [`++tape`](). ~zod/main=> (sifo (shax %hi)) "j0NDRmSPa5bfid2pAcUXaxCm2Dlh3TwayItZstwyeqQ=" -

++urle

+### `++urle` Encode URL @@ -198,7 +198,7 @@ escape sequences. ~zod/main=> (urle "hello-my?=me !") "hello-my%3F%3Dme%20%20%21" -

++urld

+### `++urld` Decode URL @@ -231,7 +231,7 @@ The inverse of [`++urle`](). Parses a URL escaped tape to the ~zod/main=> (urld "hello-my%3F%3Dme%20%2%21") ~ -

++earl

+### `++earl` Localize purl @@ -256,7 +256,7 @@ Prepends a ship name to the spur of a [`++purl`](). ~zod/main=> (earn (earl ~pittyp (need (epur 'http://123.1.1.1/me.ham')))) "http://123.1.1.1/pittyp/me" -

++earn

+### `++earn` Purl to tape @@ -287,7 +287,7 @@ Parses a `++purl` `pul` to a [`++tape`](). ~zod/main=> (earn [& ~ `/com/google/www] [~ /search] [%q 'urbit escaping?'] ~) "https://www.google.com/search?q=urbit%20escaping%3F" -

++body

+### `++body` Render URL path @@ -311,7 +311,7 @@ Renders URL path `pok` as a [`++tape`](). ~zod/main=> (body:earn `%htm /) "" -

++head

+### `++head` Render URL beginning @@ -344,7 +344,7 @@ of a traditional URL. ~zod/main=> (head:earn & [~ 8.080] %& /com/google/www) "https://www.google.com:8080" -

++tail

+### `++tail` Render query string @@ -376,7 +376,7 @@ traditional query string. ~zod/main=> (tail:earn [%ask 'bid'] [%make 'well'] ~) "?ask=bid&make=well" -

++epur

+### `++epur` Top-level URL parser @@ -428,7 +428,7 @@ Toplevel URL parser. ] ] -

++apat

+### `++apat` ++ apat :: 2396 abs_path %+ cook deft @@ -441,7 +441,7 @@ URL path as ++pork ~zod/try=> (scan "/foo/mol/lok.htm" apat:epur) [p=[~ ~.htm] q=<|foo mol lok|>] -

++auri

+### `++auri` ++ auri %+ cook @@ -546,7 +546,7 @@ URL parsing rule ] ] -

++cock

+### `++cock` ++ cock :: cookie (most ;~(plug sem ace) ;~(plug toke ;~(pfix tis tosk))) @@ -561,7 +561,7 @@ HTTP cookies, results in associative list of cord to cord. ! {1 34} ! exit -

++dlab

+### `++dlab` ++ dlab :: 2396 domainlabel %+ sear @@ -583,7 +583,7 @@ Domain label: alphanumeric, with `-` allowed in middle. ! {1 8} ! exit -

++fque

+### `++fque` ++ fque (cook crip (plus pquo)) :: normal query field @@ -601,7 +601,7 @@ One or more query string characters ! {1 1} ! exit -

++fquu

+### `++fquu` ++ fquu (cook crip (star pquo)) :: optional field @@ -618,7 +618,7 @@ Zero or more query string characters ~zod/try=> (scan "" fquu:epur) '' -

++pcar

+### `++pcar` ++ pcar ;~(pose pure pesc psub col pat) :: 2396 path char @@ -639,7 +639,7 @@ or `@` ~zod/try=> (scan "!" pcar:epur) ~~~21. -

++pcok

+### `++pcok` ++ pcok ;~(less bas sem com doq prn) :: cookie char @@ -656,7 +656,7 @@ Cookie character ! {1 2} ! exit -

++pesc

+### `++pesc` ++ pesc ;~(pfix cen mes) :: 2396 escaped @@ -667,7 +667,7 @@ URL `%` escape, by two hex characters. ~zod/try=> `@t`(scan "%20" pesc:epur) ' ' -

++pold

+### `++pold` ++ pold (cold ' ' (just '+')) :: old space code @@ -679,7 +679,7 @@ Old URL `' '` escape ! {1 1} ! exit -

++pque

+### `++pque` ++ pque ;~(pose pcar fas wut) :: 3986 query char @@ -694,7 +694,7 @@ Irregular query string character. ~zod/try=> `@t`(scan "+" pque:epur) '+' -

++pquo

+### `++pquo` ++ pquo ;~(pose pure pesc pold) :: normal query char @@ -712,7 +712,7 @@ Character in query string key/value ~zod/try=> (scan "+" pquo:epur) ' ' -

++pure

+### `++pure` ++ pure ;~(pose aln hep dot cab sig) :: 2396 unreserved @@ -728,7 +728,7 @@ URL-safe character ~zod/try=> (scan "-" pure:epur) ~~- -

++psub

+### `++psub` ++ psub ;~ pose :: 3986 sub-delims zap buc pam soq pel per @@ -747,7 +747,7 @@ URL path subdelimeter ! {1 1} ! exit -

++ptok

+### `++ptok` ++ ptok ;~ pose :: 2616 token aln zap hax buc cen pam soq tar lus @@ -761,7 +761,7 @@ Character valid in HTTP token ~zod/try=> `tape`(skim =+(a=' ' |-(`tape`?:(=(0x7f a) ~ [a $(a +(a))]))) |=(a=char ?=(~ (rush a ptok:epur)))) " "(),/:;<=>?@[\]{}" -

++scem

+### `++scem` ++ scem :: 2396 scheme %+ cook cass @@ -778,7 +778,7 @@ alphanumeric, `+` `-` or `.` ~zod/try=> `@t`(scan "chrome-extension" scem:epur) 'chrome-extension' -

++smeg

+### `++smeg` ++ smeg (cook crip (plus pcar)) :: 2396 segment @@ -789,7 +789,7 @@ URL path segment ~zod/try=> (scan "bar%20baz-bam" smeg:epur) 'bar baz-bam' -

++tock

+### `++tock` ++ tock (cook crip (plus pcok)) :: 6265 cookie-value @@ -804,7 +804,7 @@ HTTP cookie value ~zod/try=> (rush '"zemug"' tock:epur) ~ -

++tosk

+### `++tosk` ++ tosk ;~(pose tock (ifix [doq doq] tock)) :: 6265 cookie-value @@ -819,7 +819,7 @@ Possibly quoted HTTP cookie value ~zod/try=> (rush '"zemug"' tosk:epur) [~ 'zemug'] -

++toke

+### `++toke` ++ toke (cook crip (plus ptok)) :: 2616 token @@ -834,7 +834,7 @@ HTTP cookie name ~zod/try=> (rush '"zemug"' toke:epur) ~ -

++thor

+### `++thor` ++ thor :: 2396 host/port %+ cook |*(a=[* *] [+.a -.a]) @@ -854,7 +854,7 @@ Parse ++host and unit `@ui` port. ~zod/try=> (scan "www.google.com" thor:epur) [~ [%.y i='com' t=~['google' 'www']]] -

++thos

+### `++thos` ++ thos :: 2396 host, no local ;~ plug @@ -887,7 +887,7 @@ URI host: dot-separated segments, or IP address. ~zod/try=> (scan "www.google.com" thos:epur) [%.y i='com' t=~['google' 'www']] -

++yque

+### `++yque` ++ yque :: query ending ;~ pose @@ -904,7 +904,7 @@ Parses query string, or lack thereof. Result type ++quay ~zod/try=> (scan "" yque:epur) ~ -

++yquy

+### `++yquy` ++ yquy :: query ;~ pose :: proper query @@ -926,7 +926,7 @@ Parse query string after `?` ~zod/try=> (scan "" yquy:epur) ~ -

++zest

+### `++zest` ++ zest :: 2616 request-uri ;~ pose diff --git a/pub/doc/hoon/library/3bh.md b/pub/doc/hoon/library/3bh.md index 0d3492fc8..9cbde9874 100644 --- a/pub/doc/hoon/library/3bh.md +++ b/pub/doc/hoon/library/3bh.md @@ -1,7 +1,7 @@ section 3bH, names etc ====================== -

++clan

+### `++clan` ++ clan :: ship to rank |= who=ship ^- rank @@ -24,7 +24,7 @@ Ship class ~zod/main=> (clan ~tasfyn-partyv) %duke -

++glam

+### `++glam` ++ glam |= zar=@pD ^- tape @@ -94,7 +94,7 @@ Retrieve carrier name. ~zod/main=> (glam ~fyr) "Bolivar" -

++glon

+### `++glon` ++ glon |= lag=lang @@ -296,7 +296,7 @@ ISO language code ~zod/main=> (glon %mz) ~ -

++gnom

+### `++gnom` ++ gnom :: ship display name |= [[our=@p now=@da] him=@p] ^- @t @@ -316,7 +316,7 @@ Fetch display name from %ames ~zod/main=> (gnom [->-< -<-] ~tug) '~tug |Go-Daigo|' -

++gnow

+### `++gnow` ++ gnow |= [who=@p gos=gcos] ^- @t @@ -348,7 +348,7 @@ Fetch display name from %ames XX Document -

++hunt

+### `++hunt` ++ hunt :: first of unit dates |= [one=(unit ,@da) two=(unit ,@da)] @@ -360,7 +360,7 @@ XX Document XX Document -

++mojo

+### `++mojo` ++ mojo :: compiling load |= [pax=path src=*] @@ -381,7 +381,7 @@ XX Document XX Document -

++mole

+### `++mole` ++ mole :: new to old sky |= ska=$+(* (unit (unit))) @@ -395,7 +395,7 @@ XX Document XX Document -

++much

+### `++much` ++ much :: constructing load |= [pax=path src=*] @@ -407,7 +407,7 @@ XX Document XX Document -

++musk

+### `++musk` ++ musk :: compiling apply |= [pax=path src=* sam=vase] @@ -419,7 +419,7 @@ XX Document XX Document -

++saxo

+### `++saxo` ++ saxo :: autocanon |= who=ship @@ -437,7 +437,7 @@ Compute list of ancestors ~zod/main=> (saxo ~ractul-fodsug-sibryg-modsyl--difrun-mirfun-filrec-patmet) ~[~ractul-fodsug-sibryg-modsyl--difrun-mirfun-filrec-patmet ~zod] -

++sein

+### `++sein` ++ sein :: autoboss |= who=ship ^- ship diff --git a/pub/doc/hoon/library/3bi.md b/pub/doc/hoon/library/3bi.md index fc9f628b3..41dd383f3 100644 --- a/pub/doc/hoon/library/3bi.md +++ b/pub/doc/hoon/library/3bi.md @@ -1,7 +1,7 @@ section 3bI, Arvo models ======================== -

++acru

+### `++acru` ++ acru :: asym cryptosuite $_ ^? |% :: opaque object @@ -15,14 +15,14 @@ Cryptosuite interface, see %ames documentation ~zod/main=> *acru <6?guc 243.nxm 41.spz 374.iqw 100.rip 1.ypj %164> -

++as

+### `++as` ++ as ^? :: asym ops |% ++ seal |=([a=pass b=@ c=@] _@) :: encrypt to a XX document -

++seal

+### `++seal` ++ seal :: auth conversation $: whu=(unit ship) :: client identity @@ -34,51 +34,51 @@ XX document XX document -

++sign

+### `++sign` ++ sign |=([a=@ b=@] _@) :: certify as us XX document -

++sure

+### `++sure` ++ sure |=([a=@ b=@] *(unit ,@)) :: authenticate from us XX document -

++tear

+### `++tear` ++ tear |= [a=pass b=@] :: accept from a *(unit ,[p=@ q=@]) :: XX document -

++de

+### `++de` ++ de |+([a=@ b=@] *(unit ,@)) :: symmetric de, soft XX document -

++dy

+### `++dy` ++ dy |+([a=@ b=@] _@) :: symmetric de, hard XX document -

++en

+### `++en` ++ en |+([a=@ b=@] _@) :: symmetric en XX document -

++ex

+### `++ex` ++ ex ^? :: export |% ++ fig _@uvH :: fingerprint XX document -

++fig

+### `++fig` XX document @@ -120,25 +120,25 @@ XX document XX document -

++nol

+### `++nol` ++ nol |=(a=@ ^?(..nu)) :: from naked ring XX document -

++com

+### `++com` ++ com |=(a=@ ^?(..nu)) :: from naked pass XX document -

++aeon

+### `++aeon` ++ aeon ,@ud :: Clay revision number -

++agon

+### `++agon` ++ agon (map ,[p=ship q=desk] ,[p=@ud q=@ud r=waks]) :: mergepts @@ -147,7 +147,7 @@ See %clay doc ~zod/main=> *agon {} -

++ankh

+### `++ankh` ++ ankh :: fs node (new) $: p=cash :: recursive hash @@ -159,19 +159,19 @@ State at path See also ++ze, %clay documentation -

++ankz

+### `++ankz` ++ ankz ,[p=@ (map ,@ta ankz)] :: trimmed ankh XX document -

++apex

+### `++apex` ++ apex ,[p=@uvI q=(map ,@ta ,@uvI) r=(map ,@ta ,~)] :: node report (old) XX document -

++ares

+### `++ares` ++ ares (unit ,[p=term q=(list tank)]) :: possible error @@ -183,19 +183,19 @@ Failure cause: unknown, or machine-readable term and stack trace. [~ [p=%syntax-error q=~[[%leaf p="[1 27]"]]]] ~zod/main=> -

++ball

+### `++ball` ++ ball ,@uw :: statement payload XX document -

++bait

+### `++bait` ++ bait ,[p=skin q=@ud r=dove] :: fmt nrecvd spec XX document -

++bath

+### `++bath` ++ bath :: convo per client $: sop=shed :: not stalled @@ -205,7 +205,7 @@ XX document XX document -

++beam

+### `++beam` ++ beam ,[[p=ship q=desk r=case] s=path] :: global name @@ -214,13 +214,13 @@ See section 2dF, %clay documentation ~zod/try=> (need (tome %/bin)) [[p=~zod q=%try r=[%da p=~2014.11.3..17.30.07..ca8f]] s=/bin] -

++beak

+### `++beak` ++ beak ,[p=ship q=desk r=case] :: garnish with beak Global root -

++bird

+### `++bird` ++ bird :: packet in travel $: gom=soap :: message identity @@ -232,7 +232,7 @@ Global root XX document -

++blob

+### `++blob` ++ blob $% [%delta p=lobe q=lobe r=udon] :: delta on q [%direct p=lobe q=* r=umph] :: @@ -241,13 +241,13 @@ XX document Stored data, see ++ze -

++boat

+### `++boat` ++ boat ,[(list slip) tart] :: user stage XX deprecated -

++boon

+### `++boon` ++ boon :: fort output $% [%beer p=ship q=@uvG] :: gained ownership @@ -262,37 +262,37 @@ XX deprecated See %ford documentation -

++bowl

+### `++bowl` ++ bowl ,[p=(list gift) q=(unit boat)] :: app product XX deprecated -

++bray

+### `++bray` ++ bray ,[p=life q=(unit life) r=ship s=@da] :: our parent us now Ship identity. See %ames documentation -

++brow

+### `++brow` ++ brow ,[p=@da q=@tas] :: browser version XX unused? -

++buck

+### `++buck` ++ buck ,[p=mace q=will] :: all security data XX document -

++cake

+### `++cake` ++ cake ,[p=sock q=skin r=@] :: top level packet XX document -

++cape

+### `++cape` ++ cape :: end-to-end result $? %good :: delivered @@ -301,19 +301,19 @@ XX document XX document -

++cart

+### `++cart` ++ cart ,[p=cash q=cash] :: hash change XX document -

++care

+### `++care` ++ care ?(%u %v %w %x %y %z) :: clay submode XX document -

++case

+### `++case` ++ case :: ship desk case spur $% [%da p=@da] :: date @@ -324,19 +324,19 @@ XX document Access by absolute date, term label, or revision number. See %clay documentation -

++cash

+### `++cash` ++ cash ,@uvH :: ankh hash XX document -

++chum

+### `++chum` ++ chum ,@uvI :: hashed passcode XX document -

++clot

+### `++clot` ++ clot :: symmetric record $: yed=(unit ,[p=hand q=code]) :: outbound @@ -346,19 +346,19 @@ XX document XX document -

++coal

+### `++coal` ++ coal ,* :: untyped vase XX document -

++code

+### `++code` ++ code ,@uvI :: symmetric key XX document -

++cone

+### `++cone` ++ cone :: reconfiguration $% [& p=twig] :: transform @@ -367,13 +367,13 @@ XX document XX document -

++chum

+### `++chum` ++ chum ,@uvI :: hashed passcode XX document -

++claw

+### `++claw` ++ claw :: startup chain $: joy=(unit coal) :: local context @@ -386,7 +386,7 @@ XX document XX document -

++clip

+### `++clip` ++ clip (each ,@if ,@is) :: client IP @@ -400,19 +400,19 @@ See %eyre documentation. ! type-fail ! exit -

++coal

+### `++coal` ++ coal ,* :: untyped vase XX document -

++code

+### `++code` ++ code ,@uvI :: symmetric key XX document -

++cone

+### `++cone` ++ cone :: reconfiguration $% [& p=twig] :: transform @@ -421,13 +421,13 @@ XX document XX document -

++coop

+### `++coop` ++ coop (unit ares) :: e2e ack XX document -

++corn

+### `++corn` ++ corn :: flow by server $: hen=duct :: admin channel @@ -438,7 +438,7 @@ XX document XX document -

++cred

+### `++cred` ++ cred :: credential $: hut=hoot :: client host @@ -451,7 +451,7 @@ XX document XX document -

++cuff

+### `++cuff` ++ cuff :: permissions $: p=(unit (set monk)) :: readers @@ -460,13 +460,13 @@ XX document XX document -

++deed

+### `++deed` ++ deed ,[p=@ q=step r=?] :: sig, stage, fake? XX document -

++dome

+### `++dome` ++ dome :: project state $: ang=agon :: pedigree @@ -478,7 +478,7 @@ XX document XX document -

++dore

+### `++dore` ++ dore :: foreign contact $: wod=road :: connection to @@ -488,13 +488,13 @@ XX document XX document -

++dove

+### `++dove` ++ dove ,[p=@ud q=(map ,@ud ,@)] :: count hash 13-blocks XX document -

++epic

+### `++epic` ++ epic :: FCGI parameters $: qix=(map ,@t ,@t) :: query @@ -506,13 +506,13 @@ XX document XX document -

++flap

+### `++flap` ++ flap ,@uvH :: network packet id XX document -

++flow

+### `++flow` ++ flow :: packet connection $: rtt=@dr :: decaying avg rtt @@ -521,7 +521,7 @@ XX document XX document -

++fort

+### `++fort` ++ fort :: formal state $: %0 :: version @@ -533,19 +533,19 @@ XX document XX document -

++frog

+### `++frog` ++ frog ,[p=@da q=nori] :: time and change XX document -

++gank

+### `++gank` ++ gank (each vase (list tank)) :: abstract result XX document -

++gift

+### `++gift` ++ gift :: one-way effect $% [%$ p=vase] :: trivial output @@ -581,7 +581,7 @@ XX document XX document -

++zang

+### `++zang` ++ zang :: XX evil hack $% [%backlog p=path q=?(%da %dr %ud) r=@] :: @@ -597,25 +597,25 @@ XX document XX document -

++gilt

+### `++gilt` ++ gilt ,[@tas *] :: presumed gift XX document -

++gens

+### `++gens` ++ gens ,[p=lang q=gcos] :: general identity XX document -

++germ

+### `++germ` ++ germ ?(%init %fine %that %this %mate %meld) :: merge style XX document -

++gcos

+### `++gcos` ++ gcos :: id description $% [%czar ~] :: 8-bit ship @@ -627,7 +627,7 @@ XX document XX document -

++goad

+### `++goad` ++ goad :: common note $% [%eg p=riot] :: simple result @@ -645,7 +645,7 @@ XX document XX document -

++goal

+### `++goal` ++ goal :: app request $% [%$ p=type] :: open for input @@ -664,73 +664,73 @@ XX document XX document -

++govt

+### `++govt` ++ govt path :: country/postcode XX document -

++hand

+### `++hand` ++ hand ,@uvH :: hash of code XX document -

++hart

+### `++hart` ++ hart ,[p=? q=(unit ,@ud) r=host] :: http sec/port/host XX document -

++hate

+### `++hate` ++ hate ,[p=purl q=@p r=moth] :: semi-cooked request XX document -

++heir

+### `++heir` ++ heir ,[p=@ud q=mess r=(unit love)] :: status/headers/data XX document -

++hiss

+### `++hiss` ++ hiss ,[p=purl q=moth] :: outbound request XX document -

++hist

+### `++hist` ++ hist ,[p=@ud q=(list ,@t)] :: depth texts XX document -

++hole

+### `++hole` ++ hole ,@t :: session identity XX document -

++hoot

+### `++hoot` ++ hoot ,[p=? q=(unit ,@ud) r=host] :: secure/port/host XX document -

++hort

+### `++hort` ++ hort ,[p=(unit ,@ud) q=host] :: http port/host XX document -

++host

+### `++host` ++ host $%([& p=(list ,@t)] [| p=@if]) :: http host XX document -

++httq

+### `++httq` ++ httq :: raw http request $: p=meth :: method @@ -741,13 +741,13 @@ XX document XX document -

++httr

+### `++httr` ++ httr ,[p=@ud q=mess r=(unit octs)] :: raw http response XX document -

++httx

+### `++httx` ++ httx :: encapsulated http $: p=? :: https? @@ -757,13 +757,13 @@ XX document XX document -

++kite

+### `++kite` ++ kite ,[p=care q=case r=ship s=desk t=spur] :: parsed global name XX document -

++json

+### `++json` ++ json :: normal json value $| ~ :: null @@ -776,7 +776,7 @@ XX document XX document -

++jsot

+### `++jsot` ++ jsot :: strict json top $% [%a p=(list json)] :: array @@ -785,7 +785,7 @@ XX document XX document -

++lamb

+### `++lamb` ++ lamb :: short path $% [& p=@tas] :: auto @@ -794,7 +794,7 @@ XX document XX document -

++lane

+### `++lane` ++ lane :: packet route $% [%if p=@da q=@ud r=@if] :: IP4/public UDP/addr @@ -804,25 +804,25 @@ XX document XX document -

++lang

+### `++lang` ++ lang ,@ta :: IETF lang as code XX document -

++lark

+### `++lark` ++ lark ,[p=(unit ,@tas) q=lawn] :: parsed command XX document -

++lass

+### `++lass` ++ lass ?(%0 %1 %2) :: power increment XX document -

++lath

+### `++lath` ++ lath $% :: pipeline stage [%0 p=lass q=lamb r=(list cone) s=twig] :: command @@ -832,37 +832,37 @@ XX document XX document -

++lawn

+### `++lawn` ++ lawn (list lath) :: XX document -

++lice

+### `++lice` ++ lice ,[p=ship q=buck] :: full license XX document -

++life

+### `++life` ++ life ,@ud :: regime number XX document -

++lint

+### `++lint` ++ lint (list rock) :: fragment array XX document -

++lobe

+### `++lobe` ++ lobe ,@ :: blob ref XX document -

++love

+### `++love` ++ love $% :: http response [%ham p=manx] :: html node @@ -874,37 +874,37 @@ XX document XX document -

++luge

+### `++luge` ++ luge ,[p=mark q=*] :: fully typed content XX document -

++maki

+### `++maki` ++ maki ,[p=@ta q=@ta r=@ta s=path] :: XX document -

++mace

+### `++mace` ++ mace (list ,[p=life q=ring]) :: private secrets XX document -

++marv

+### `++marv` ++ marv ?(%da %tas %ud) :: release form XX document -

++math

+### `++math` ++ math (map ,@t (list ,@t)) :: semiparsed headers XX document -

++meal

+### `++meal` ++ meal :: payload $% [%back p=cape q=flap r=@dr] :: acknowledgment @@ -917,13 +917,13 @@ XX document XX document -

++mess

+### `++mess` ++ mess (list ,[p=@t q=@t]) :: raw http headers XX document -

++meta

+### `++meta` ++ meta :: path metadata $% [& q=@uvI] :: hash @@ -932,7 +932,7 @@ XX document XX document -

++meth

+### `++meth` ++ meth :: http methods $? %conn :: CONNECT @@ -947,13 +947,13 @@ XX document XX document -

++mite

+### `++mite` ++ mite (list ,@ta) :: mime type XX document -

++miso

+### `++miso` ++ miso :: ankh delta $% [%del p=*] :: delete @@ -963,49 +963,49 @@ XX document XX document -

++mizu

+### `++mizu` ++ mizu ,[p=@u q=(map ,@ud tako) r=rang] :: new state XX document -

++moar

+### `++moar` ++ moar ,[p=@ud q=@ud] :: normal change range XX document -

++moat

+### `++moat` ++ moat ,[p=case q=case r=path] :: change range XX document -

++mood

+### `++mood` ++ mood ,[p=care q=case r=path] :: request in desk XX document -

++moth

+### `++moth` ++ moth ,[p=meth q=math r=(unit octs)] :: http operation XX document -

++name

+### `++name` ++ name ,[p=@t q=(unit ,@t) r=(unit ,@t) s=@t] :: first mid/nick last XX document -

++newt

+### `++newt` ++ newt ?(%boot %kick %mess %slay %wake) :: lifecycle events XX document -

++nose

+### `++nose` ++ nose :: response, kernel $? [%$ p=(unit ,[p=tutu q=(list)])] :: standard input @@ -1014,7 +1014,7 @@ XX document XX document -

++note

+### `++note` ++ note :: response, user $? [%$ p=(unit ,[p=type q=(list)])] :: standard input @@ -1024,7 +1024,7 @@ XX document XX document -

++nori

+### `++nori` ++ nori :: repository action $% [& q=soba] :: delta @@ -1033,73 +1033,73 @@ XX document XX document -

++octs

+### `++octs` ++ octs ,[p=@ud q=@] :: octet-stream XX document -

++oryx

+### `++oryx` ++ oryx ,@t :: CSRF secret XX document -

++pact

+### `++pact` ++ pact path :: routed path XX document -

++pail

+### `++pail` ++ pail ?(%none %warm %cold) :: connection status XX document -

++plan

+### `++plan` ++ plan (trel view (pair ,@da (unit ,@dr)) path) :: subscription XX document -

++plea

+### `++plea` ++ plea ,[p=@ud q=[p=? q=@t]] :: live prompt XX document -

++pork

+### `++pork` ++ pork ,[p=(unit ,@ta) q=(list ,@t)] :: fully parsed url XX document -

++pred

+### `++pred` ++ pred ,[p=@ta q=@tas r=@ta ~] :: proto-path XX document -

++prod

+### `++prod` ++ prod ,[p=prom q=tape r=tape] :: prompt XX document -

++prom

+### `++prom` ++ prom ?(%text %pass %none) :: format type XX document -

++purl

+### `++purl` ++ purl ,[p=hart q=pork r=quay] :: parsed url XX document -

++putt

+### `++putt` ++ putt :: outgoing message $: ski=snow :: sequence acked/sent @@ -1108,7 +1108,7 @@ XX document XX document -

++pyre

+### `++pyre` ++ pyre :: cascade stash $: p=(map ,[p=path q=path r=coal] coal) :: by path @@ -1118,13 +1118,13 @@ XX document XX document -

++quay

+### `++quay` ++ quay (list ,[p=@t q=@t]) :: parsed url query XX document -

++quri

+### `++quri` ++ quri :: request-uri $% [& p=purl] :: absolute @@ -1133,7 +1133,7 @@ XX document XX document -

++race

+### `++race` ++ race :: inbound stream $: did=@ud :: filled sequence @@ -1144,13 +1144,13 @@ XX document XX document -

++rank

+### `++rank` ++ rank ?(%czar %king %duke %earl %pawn) :: ship width class XX document -

++rang

+### `++rang` ++ rang $: hut=(map tako yaki) :: lat=(map lobe blob) :: @@ -1158,7 +1158,7 @@ XX document XX document -

++rant

+### `++rant` ++ rant :: namespace binding $: p=[p=care q=case r=@tas] :: clade release book @@ -1168,7 +1168,7 @@ XX document XX document -

++rave

+### `++rave` ++ rave :: general request $% [& p=mood] :: single request @@ -1177,7 +1177,7 @@ XX document XX document -

++rill

+### `++rill` ++ rill :: outbound stream $: sed=@ud :: sent @@ -1186,13 +1186,13 @@ XX document XX document -

++riot

+### `++riot` ++ riot (unit rant) :: response/complete XX document -

++road

+### `++road` ++ road :: secured oneway route $: exp=@da :: expiration date @@ -1202,37 +1202,37 @@ XX document XX document -

++rock

+### `++rock` ++ rock ,@uvO :: packet XX document -

++rout

+### `++rout` ++ rout ,[p=(list host) q=path r=oryx s=path] :: http route (new) XX document -

++rump

+### `++rump` ++ rump ,[p=care q=case r=@tas s=path] :: relative path XX document -

++saba

+### `++saba` ++ saba ,[p=ship q=@tas r=moar s=dome] :: patch/merge XX document -

++sack

+### `++sack` ++ sack ,[p=ship q=ship] :: incoming [our his] XX document -

++sufi

+### `++sufi` ++ sufi :: domestic host $: hoy=(list ship) :: hierarchy @@ -1244,13 +1244,13 @@ XX document XX document -

++salt

+### `++salt` ++ salt ,@uv :: entropy XX document -

++seal

+### `++seal` ++ seal :: auth conversation $: whu=(unit ship) :: client identity @@ -1262,13 +1262,13 @@ XX document XX document -

++sect

+### `++sect` ++ sect ?(%black %blue %red %orange %white) :: banner XX document -

++shed

+### `++shed` ++ shed :: packet flow $: $: rtt=@dr :: smoothed rtt @@ -1290,43 +1290,43 @@ XX document XX document -

++skit

+### `++skit` ++ skit ,[p=(unit ,@ta) q=(list ,@ta) r=(list ,@ta)] :: tracking path XX document -

++skin

+### `++skin` ++ skin ?(%none %open %fast %full) :: encoding stem XX document -

++slip

+### `++slip` ++ slip ,[p=path q=goal] :: traceable request XX document -

++snow

+### `++snow` ++ snow ,[p=@ud q=@ud r=(set ,@ud)] :: window exceptions XX document -

++soap

+### `++soap` ++ soap ,[p=[p=life q=life] q=path r=@ud] :: statement id XX document -

++soup

+### `++soup` ++ soup ,[p=path q=@ud] :: new statement id XX document -

++soul

+### `++soul` ++ soul :: packet in travel $: gom=soup :: message identity @@ -1338,61 +1338,61 @@ XX document XX document -

++soba

+### `++soba` ++ soba ,[p=cart q=(list ,[p=path q=miso])] :: delta XX document -

++sock

+### `++sock` ++ sock ,[p=ship q=ship] :: outgoing [from to] XX document -

++spur

+### `++spur` ++ spur path :: ship desk case spur XX document -

++step

+### `++step` ++ step ,[p=bray q=gens r=pass] :: identity stage XX document -

++tako

+### `++tako` ++ tako ,@ :: yaki ref XX document -

++tart

+### `++tart` ++ tart $+([@da path note] bowl) :: process core XX document -

++taxi

+### `++taxi` ++ taxi ,[p=lane q=rock] :: routed packet XX document -

++tick

+### `++tick` ++ tick ,@ud :: process id XX document -

++toro

+### `++toro` ++ toro ,[p=@ta q=nori] :: general change XX document -

++town

+### `++town` ++ town :: all security state $: lit=@ud :: imperial modulus @@ -1403,37 +1403,37 @@ XX document XX document -

++tube

+### `++tube` ++ tube ,[p=@ta q=@ta r=@ta s=path] :: canonical path XX document -

++tutu

+### `++tutu` ++ tutu ,* :: presumed type XX document -

++yaki

+### `++yaki` ++ yaki ,[p=(list tako) q=(map path lobe) r=tako t=@da] :: commit XX document -

++view

+### `++view` ++ view ?(%u %v %w %x %y %z) :: view mode XX document -

++waks

+### `++waks` ++ waks (map path woof) :: list file states XX document -

++what

+### `++what` ++ what :: logical identity $% [%anon ~] :: anonymous @@ -1444,38 +1444,38 @@ XX document XX document -

++whom

+### `++whom` ++ whom ,[p=@ud q=govt r=sect s=name] :: year/govt/id XX document -

++woof

+### `++woof` ++ woof $| %know :: udon transform [%chan (list $|(@ud [p=@ud q=@ud]))] :: XX document -

++wund

+### `++wund` ++ wund (list ,[p=life q=ring r=acru]) :: mace in action XX document -

++will

+### `++will` ++ will (list deed) :: certificate XX document -

++worm

+### `++worm` ++ worm ,* :: vase of tart XX document -

++zuse

+### `++zuse` ++ zuse %314 :: hoon/zuse kelvin --