urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-03 05:43:18 +03:00
Code Issues Packages Projects Releases Wiki Activity

Making typed .^ a little less fake.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-02-02 11:52:10 -08:00
parent 761f588cc6
commit 84e7c319ae
1 changed files with 34 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
arvo/hoon.hoon
View File

@ -1,4 +1,4 @@
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
!::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::: :::::: Preface ::::::
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
?> ?=(@ .) :: atom subject
@ -4531,6 +4531,11 @@
=+ ton=(mink [sub fol] |~(* ~))
?.(?=({$0 *} ton) ~ [~ p.ton])
::
++ mick
~/ %mick
|= {{sub/* fol/*} sea/$+({* *} (unit))}
(mink [sub fol] |=(* (sea [151 %noun] +<)))
::
++ mink
~/ %mink
|= {{sub/* fol/*} sky/$+(* (unit))}
@ -10359,9 +10364,12 @@
++ sink (trel bone ship path) :: subscription
++ sled $+ {(unit (set monk)) term beam} :: namespace function
(unit (unit cage)) ::
++ slad $+ {(unit (set monk)) term beam} :: underspand
++ slad $+ {(unit (set monk)) term beam} :: fully advanced
(unit (unit (cask))) ::
++ slyd $+ {* (unit (set monk)) term beam} :: super advanced
(unit (unit (cask))) ::
++ slut $+(* (unit (unit))) :: old namespace
++ slyt $+({* *} (unit (unit))) :: old namespace
++ vile :: reflexive constants
$: typ/span :: -:!>(*span)
duc/span :: -:!>(*duct)
@ -10393,6 +10401,30 @@
?~ bop ~
?~ u.bop [~ ~]
[~ ~ +.q.u.u.bop]
::
++ sloy
|= sod/slyd
^- slyt
|= {ref/* raw/*}
=+ pux=((soft path) raw)
?~ pux ~
?. ?=({@ @ @ @ *} u.pux) ~
=+ :* hyr=(slay i.u.pux)
fal=(slay i.t.u.pux)
dyc=(slay i.t.t.u.pux)
ved=(slay i.t.t.t.u.pux)
tyl=t.t.t.t.u.pux
==
?. ?=({$~ $$ $tas @} hyr) ~
?. ?=({$~ $$ $p @} fal) ~
?. ?=({$~ $$ $tas @} dyc) ~
?. ?=(^ ved) ~
=+ ron=q.p.u.hyr
=+ bed=[[q.p.u.fal q.p.u.dyc (case p.u.ved)] (flop tyl)]
=+ bop=(sod ref ~ ron bed)
?~ bop ~
?~ u.bop [~ ~]
[~ ~ +.q.u.u.bop]
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bE, Arvo core ::
::