ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-26 08:25:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

ph: add alef tests

Browse Source
This commit is contained in:
Philip Monk 2019-11-19 14:09:53 -08:00
parent 1d07c82e7c
commit 2222237385
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
9 changed files with 111 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkg/arvo/ted/aqua/ames.hoon
View File

@ -25,7 +25,6 @@
^- (list card:agent:gall) ^- (list card:agent:gall)
=/ rcvr=ship (lane-to-ship lan) =/ rcvr=ship (lane-to-ship lan)
=/ hear-lane (ship-to-lane sndr) =/ hear-lane (ship-to-lane sndr)
~& > [%sending-aqua sndr rcvr hear-lane]
%+ emit-aqua-events our %+ emit-aqua-events our
[%event rcvr //newt/0v1n.2m9vh %hear hear-lane pac]~ [%event rcvr //newt/0v1n.2m9vh %hear hear-lane pac]~
:: +lane-to-ship: decode a ship from an aqua lane :: +lane-to-ship: decode a ship from an aqua lane

1
pkg/arvo/ted/aqua/eyre-azimuth.hoon
View File

@ -260,6 +260,7 @@
|= [who=ship seed=(unit seed:able:jael)] |= [who=ship seed=(unit seed:able:jael)]
^- dawn-event:able:jael ^- dawn-event:able:jael
=/ spon=(list [ship point:azimuth]) =/ spon=(list [ship point:azimuth])
%- flop
|- ^- (list [ship point:azimuth]) |- ^- (list [ship point:azimuth])
=/ =ship (^sein:title who) =/ =ship (^sein:title who)
=/ a-point=[^ship point:azimuth] =/ a-point=[^ship point:azimuth]

15
pkg/arvo/ted/ph/hi-az.hoon
View File

@ -4,11 +4,12 @@
^- thread:spider ^- thread:spider
|= vase |= vase
=/ m (strand ,vase) =/ m (strand ,vase)
;< az=tid:spider bind:m start-azimuth ;< az=tid:spider
;< ~ bind:m (spawn az ~bud) bind:m start-azimuth
;< ~ bind:m (spawn az ~dev) ;< ~ bind:m (spawn az ~bud)
;< ~ bind:m (real-ship az ~bud) ;< ~ bind:m (spawn az ~dev)
;< ~ bind:m (real-ship az ~dev) ;< ~ bind:m (real-ship az ~bud)
;< ~ bind:m (send-hi ~bud ~dev) ;< ~ bind:m (real-ship az ~dev)
;< ~ bind:m end-azimuth ;< ~ bind:m (send-hi ~bud ~dev)
;< ~ bind:m end-azimuth
(pure:m *vase) (pure:m *vase)

19
pkg/arvo/ted/ph/hi-cousin-az.hoon Normal file
View File

@ -0,0 +1,19 @@
/- spider
/+ *ph-io
=, strand=strand:spider
^- thread:spider
|= vase
=/ m (strand ,vase)
;< az=tid:spider
bind:m start-azimuth
;< ~ bind:m (spawn az ~bud)
;< ~ bind:m (spawn az ~marbud)
;< ~ bind:m (spawn az ~dev)
;< ~ bind:m (spawn az ~mardev)
;< ~ bind:m (real-ship az ~bud)
;< ~ bind:m (real-ship az ~marbud)
;< ~ bind:m (real-ship az ~dev)
;< ~ bind:m (real-ship az ~mardev)
;< ~ bind:m (send-hi ~mardev ~marbud)
;< ~ bind:m end-azimuth
(pure:m *vase)

17
pkg/arvo/ted/ph/hi-linnup-az-backward.hoon Normal file
View File

@ -0,0 +1,17 @@
/- spider
/+ *ph-io
=, strand=strand:spider
^- thread:spider
|= vase
=/ m (strand ,vase)
;< az=tid:spider
bind:m start-azimuth
;< ~ bind:m (spawn az ~bud)
;< ~ bind:m (spawn az ~marbud)
;< ~ bind:m (spawn az ~linnup-torsyx)
;< ~ bind:m (real-ship az ~linnup-torsyx)
;< ~ bind:m (real-ship az ~marbud)
;< ~ bind:m (real-ship az ~bud)
;< ~ bind:m (send-hi ~linnup-torsyx ~marbud)
;< ~ bind:m end-azimuth
(pure:m *vase)

17
pkg/arvo/ted/ph/hi-linnup-az.hoon Normal file
View File

@ -0,0 +1,17 @@
/- spider
/+ *ph-io
=, strand=strand:spider
^- thread:spider
|= vase
=/ m (strand ,vase)
;< az=tid:spider
bind:m start-azimuth
;< ~ bind:m (spawn az ~bud)
;< ~ bind:m (spawn az ~marbud)
;< ~ bind:m (spawn az ~linnup-torsyx)
;< ~ bind:m (real-ship az ~bud)
;< ~ bind:m (real-ship az ~marbud)
;< ~ bind:m (real-ship az ~linnup-torsyx)
;< ~ bind:m (send-hi ~linnup-torsyx ~marbud)
;< ~ bind:m end-azimuth
(pure:m *vase)

15
pkg/arvo/ted/ph/hi-marbud-az.hoon Normal file
View File

@ -0,0 +1,15 @@
/- spider
/+ *ph-io
=, strand=strand:spider
^- thread:spider
|= vase
=/ m (strand ,vase)
;< az=tid:spider
bind:m start-azimuth
;< ~ bind:m (spawn az ~bud)
;< ~ bind:m (spawn az ~marbud)
;< ~ bind:m (real-ship az ~bud)
;< ~ bind:m (real-ship az ~marbud)
;< ~ bind:m (send-hi ~bud ~marbud)
;< ~ bind:m end-azimuth
(pure:m *vase)

17
pkg/arvo/ted/ph/hi-nephew-az.hoon Normal file
View File

@ -0,0 +1,17 @@
/- spider
/+ *ph-io
=, strand=strand:spider
^- thread:spider
|= vase
=/ m (strand ,vase)
;< az=tid:spider
bind:m start-azimuth
;< ~ bind:m (spawn az ~bud)
;< ~ bind:m (spawn az ~marbud)
;< ~ bind:m (spawn az ~dev)
;< ~ bind:m (real-ship az ~bud)
;< ~ bind:m (real-ship az ~marbud)
;< ~ bind:m (real-ship az ~dev)
;< ~ bind:m (send-hi ~dev ~marbud)
;< ~ bind:m end-azimuth
(pure:m *vase)

17
pkg/arvo/ted/ph/hi-uncle-az.hoon Normal file
View File

@ -0,0 +1,17 @@
/- spider
/+ *ph-io
=, strand=strand:spider
^- thread:spider
|= vase
=/ m (strand ,vase)
;< az=tid:spider
bind:m start-azimuth
;< ~ bind:m (spawn az ~bud)
;< ~ bind:m (spawn az ~marbud)
;< ~ bind:m (spawn az ~dev)
;< ~ bind:m (real-ship az ~bud)
;< ~ bind:m (real-ship az ~marbud)
;< ~ bind:m (real-ship az ~dev)
;< ~ bind:m (send-hi ~marbud ~dev)
;< ~ bind:m end-azimuth
(pure:m *vase)