5d: Parser • Language • docs.urbit.org

`++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)
[ %clhp
  p=[%rock p=%tas q=7.954.803]
    q
  [ %brts
      p
    [ %bccl
        p
      [   i
        [ %bccl
            p
          [   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: parsing
ride: compiling
ride: compiled
> (ride -:!>(.) '(add 2 2)')
[ #t/@
    q
  [ %8
    p=[%9 p=36 q=[%0 p=1.023]]
      q
    [ %9
      p=2
        q
      [ %10
          p
        [ p=6
            q
          [ 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: parsing
ride: compiling
> (ride %noun '(add 2 2)')
-find.add
dojo: hoon expression failed