++vang
Set ++vast parameters
Source
++ vang :: set ++vast params|= [bug=? wer=path] :: bug: debug mode%*(. vast bug bug, wer wer) :: wer: where we are
++vast
Main parsing core
Source
This core is too large to include here, please refer to hoon.hoon for the source.
++vest
Parse hoon
Parsing rule. Parse hoon of any form.
Source
++ vest~/ %vest|= tub=nail^- (like hoon)%. tub%- full(ifix [gay gay] tall:vast)
Examples
> (rash '(add 1 1)' vest)[%cncl p=[%wing p=~[%add]] q=~[[%sand p=%ud q=1] [%sand p=%ud q=1]]]> (rash '%+ add\0a 1\0a1' vest)[%cnls p=[%wing p=~[%add]] q=[%sand p=%ud q=1] r=[%sand p=%ud q=1]]
++vice
Parse wide-form hoon
Parse txt, a knot containing wide-form hoon, to hoon.
Accepts
txt is a @ta.
Produces
hoon.
Source
++ vice|= txt=@ta^- hoon(rash txt wide:vast)
Examples
> (vice '(add 1 1)')[%cncl p=[%wing p=~[%add]] q=~[[%sand p=%ud q=1] [%sand p=%ud q=1]]]> (vice '%+ add\0a 1\0a1'){1 3}syntax error
++make
Compile cord to nock
Compile txt, an atom containing hoon source code as little-endian UTF-8 text, to nock.
Accepts
txt is a @.
Produces
nock.
Source
++ make|= txt=@q:(~(mint ut %noun) %noun (ream txt))
Examples
> (make '[. . .]')[p=[%0 p=1] q=[p=[%0 p=1] q=[%0 p=1]]]> .*(42 (make '[. . .]'))[42 42 42]
++rain
Parse with % path
Parse txt, an atom containing hoon source code as little-endian UTF-8 text, to hoon. Any % path short-hands are replaced with the path given in bon. If parsing fails, bon is also printed to the terminal.
Accepts
bon is a path.
txt is an atom.
Produces
hoon.
Source
++ rain|= [bon=path txt=@]^- hoon=+ vaz=vast~| bon(scan (trip txt) (full (ifix [gay gay] tall:vaz(wer bon))))
Examples
> (rain /a/b/c '%')[%clsg p=~[[%sand p=%ta q=97] [%sand p=%ta q=98] [%sand p=%ta q=99]]]> !<(path (slap !>(~) (rain /a/b/c '%')))/a/b/c> (rain / '(add 1 1)')[%cncl p=[%wing p=~[%add]] q=~[[%sand p=%ud q=1] [%sand p=%ud q=1]]]> !<(@ud (slap !>(add=add) (rain / '(add 1 1)')))2
++ream
Parse cord to hoon
Parse txt, an atom containing hoon source code as little-endian UTF-8 text, to hoon.
Accepts
txt is an atom.
Produces
hoon.
Source
++ ream|= txt=@^- hoon(rash txt vest)
Examples
> !<(tape (slap !>(~) (ream '"foobar"')))"foobar"
++reck
Parse hoon file
Parse bon to hoon. bon is a path to a .hoon file without the mark.
Accepts
bon is a path.
Produces
hoon.
Source
++ reck|= bon=path(rain bon .^(@t %cx (weld bon `path`[%hoon ~])))
Examples
> (reck %/gen/code)[ %clhpp=[%rock p=%tas q=7.954.803]q[ %brtsp[ %bcclp[ i[ %bcclp[ i[%bcts p=term=%now q=[%base p=[%atom p=~.da]]]t......(truncated for brevity)..........
++ride
End-to-end compiler
Parse and compile cord txt, producing a pair of its type and compiled nock. The typ argument specifies the type of the subject.
Accepts
typ is a type
txt is an atom.
Produces
A (pair type nock).
Source
++ ride|= [typ=type txt=@]^- (pair type nock)~> %slog.[0 leaf/"ride: parsing"]=/ gen (ream txt)~> %slog.[0 leaf/"ride: compiling"]~< %slog.[0 leaf/"ride: compiled"](~(mint ut typ) %noun gen)
Examples
ride: parsingride: compilingride: compiled> (ride -:!>(.) '(add 2 2)')[ #t/@q[ %8p=[%9 p=36 q=[%0 p=1.023]]q[ %9p=2q[ %10p[ p=6q[ p=[%7 p=[%0 p=3] q=[%1 p=2]]q=[%7 p=[%0 p=3] q=[%1 p=2]]]]q=[%0 p=2]]]]]ride: parsingride: compiling> (ride %noun '(add 2 2)')-find.adddojo: hoon expression failed