shrub/gen/ford-turbo.hoon

/+  ford-turbo, tester
::
:-  %say
|=  [[now=@da eny=@ =beak] ~ ~]
:-  %noun
=+  tester:tester
=/  ford  (ford-turbo now=~1234.5.6 eny=0xdead.beef scry=*sley)
|^  
^-  wall
;:  weld
  test-compiles
  test-unify-jugs
  test-dependency-wire-encoding
  test-literal
  test-autocons-same
  test-autocons-different
  test-scry-clay-succeed
  test-scry-clay-fail
  test-scry-clay-block
  test-scry-clay-live
==
++  test-compiles
  ~&  %test-compiles
  %-  expect-eq  !>
  [ford-turbo ford-turbo]
::
++  test-unify-jugs
  ~&  %test-unify-jugs
  %-  expect-eq  !>
  :-  %+  unify-jugs:ford
        `(jug @tas @ud)`(my ~[[%a (sy 1 2 ~)] [%b (sy 3 4 ~)]])
      `(jug @tas @ud)`(my ~[[%b (sy 5 6 ~)] [%c (sy 7 8 ~)]])
  ::
  `(jug @tas @ud)`(my ~[[%a (sy 1 2 ~)] [%b (sy 3 4 5 6 ~)] [%c (sy 7 8 ~)]])
::
++  test-dependency-wire-encoding
  ~&  %test-dependency-wire-encoding
  ;:  welp
    %-  expect-eq  !>
    :-  `path`(to-wire:ford [%clay-live care=%x bel=[[~nul %desk] /foo/bar]])
    /c/x/.y/~nul/desk/0/bar/foo
  ::
    %-  expect-eq  !>
    :-  `dependency:ford`[%clay-live care=%x bel=[[~nul %desk] /foo/bar]]
    (from-wire:ford /c/x/.y/~nul/desk/0/bar/foo)
  ::
    %-  expect-eq  !>
    :-  ^-  path
      (to-wire:ford [%clay-once care=%x beam=[[~nul %desk %ud 42] /foo/bar]])
    /c/x/.n/~nul/desk/42/bar/foo
  ::
    %-  expect-eq  !>
    :-  ^-  dependency:ford
      [%clay-once care=%x beam=[[~nul %desk %ud 42] /foo/bar]]
    (from-wire:ford /c/x/.n/~nul/desk/42/bar/foo)
  ::
    %-  expect-eq  !>
    :-  ^-  path
      (to-wire:ford [%gall-live care=%x bel=[[~nul %desk] /foo/bar]])
    /g/x/.y/~nul/desk/0/bar/foo
  ::
    %-  expect-eq  !>
    :-  ^-  dependency:ford
      [%gall-live care=%x bel=[[~nul %desk] /foo/bar]]
    (from-wire:ford /g/x/.y/~nul/desk/0/bar/foo)
  ::
    %-  expect-eq  !>
    :-  ^-  path
      %-  to-wire:ford
      [%gall-once care=%x beam=[[~nul %desk %da ~1234.5.6] /foo/bar]]
    /g/x/.n/~nul/desk/~1234.5.6/bar/foo
  ::
    %-  expect-eq  !>
    :-  ^-  dependency:ford
      [%gall-once care=%x beam=[[~nul %desk %da ~1234.5.6] /foo/bar]]
    (from-wire:ford /g/x/.n/~nul/desk/~1234.5.6/bar/foo)
  ::
  ==
::
++  test-literal
  ~&  %test-literal
  =^  moves  ford
    %-  call:ford
    :*  duct=~
        type=~
        %make
        ~nul
        plan=[%$ %noun !>(**)]
        date=`~1234.5.6
    ==
  %+  welp
    %-  expect-eq  !>
    :-  moves
    [duct=~ %give %made ~1234.5.6 %complete %result %$ %noun !>(**)]~
  ::
  %-  expect-eq  !>
  :-  state-by-ship.+>+<.ford
  (my [~nul *ford-state:ford-turbo]~)
::
++  test-autocons-same
  ~&  %test-autocons-same
  =^  moves  ford
    %-  call:ford
    :*  duct=~
        type=~
        %make
        ~nul
        plan=[[%$ %noun !>(**)] [%$ %noun !>(**)]]
        date=`~1234.5.6
    ==
  %+  welp
    %-  expect-eq  !>
    :-  moves
    :~  :*  duct=~  %give  %made  ~1234.5.6  %complete
            %result
            [%result %$ %noun !>(**)]
            [%result %$ %noun !>(**)]
    ==  ==
  ::
  %-  expect-eq  !>
  :-  state-by-ship.+>+<.ford
  (my [~nul *ford-state:ford-turbo]~)
::
++  test-autocons-different
  ~&  %test-autocons-different
  =^  moves  ford
    %-  call:ford
    :*  duct=~
        type=~
        %make
        ~nul
        plan=[[%$ %noun !>(42)] [%$ %noun !>(43)]]
        date=`~1234.5.6
    ==
  %+  welp
    %-  expect-eq  !>
    :-  moves
    :~  :*  duct=~  %give  %made  ~1234.5.6  %complete
            %result
            [%result %$ %noun !>(42)]
            [%result %$ %noun !>(43)]
    ==  ==
  ::
  %-  expect-eq  !>
  :-  state-by-ship.+>+<.ford
  (my [~nul *ford-state:ford-turbo]~)
::
++  test-scry-clay-succeed
  ~&  %test-scry-clay-succeed
  =/  scry
    |=  [* (unit (set monk)) =term =beam]
    ^-  (unit (unit cage))
    ::
    ?>  =(term %cx)
    ?>  =(beam [[~nul %desk %da ~1234.5.6] /foo/bar])
    ::
    [~ ~ %noun !>(42)]
  ::
  =.  ford  (ford-turbo now=~1234.5.6 eny=0xdead.beef scry=scry)
  =^  moves  ford
    %-  call:ford
    :*  duct=~
        type=~
        %make
        ~nul
        plan=[%scry %clay-once ren=%x bem=[[~nul %desk %da ~1234.5.6] /foo/bar]]
        date=`~1234.5.6
    ==
  %+  welp
    %-  expect-eq  !>
    :-  moves
    :~  :*  duct=~  %give  %made  ~1234.5.6  %complete  %result
            [%scry %noun !>(42)]
    ==  ==
  ::
  %-  expect-eq  !>
  :-  state-by-ship.+>+<.ford
  (my [~nul *ford-state:ford-turbo]~)
::
++  test-scry-clay-fail
  ~&  %test-scry-clay-fail
  =/  scry
    |=  [* (unit (set monk)) =term =beam]
    ^-  (unit (unit cage))
    ::
    ?>  =(term %cx)
    ?>  =(beam [[~nul %desk %da ~1234.5.6] /bar/foo])
    ::
    [~ ~]
  ::
  =.  ford  (ford-turbo now=~1234.5.6 eny=0xdead.beef scry=scry)
  =^  moves  ford
    %-  call:ford
    :*  duct=~
        type=~
        %make
        ~nul
        plan=[%scry %clay-once ren=%x bem=[[~nul %desk %da ~1234.5.6] /bar/foo]]
        date=`~1234.5.6
    ==
  %+  welp
    %-  expect-eq  !>
    :-  moves
    :~  :*  duct=~  %give  %made  ~1234.5.6  %complete  %error
        :~  leaf+"clay-once scry failed for"
            leaf+"%cx /~nul/desk/~1234.5.6/foo/bar"
    ==  ==  ==
  ::
  %-  expect-eq  !>
  :-  state-by-ship.+>+<.ford
  (my [~nul *ford-state:ford-turbo]~)
::
++  test-scry-clay-block
  ~&  %test-scry-clay-block
  =/  scry-block
    |=  [* (unit (set monk)) =term =beam]
    ^-  (unit (unit cage))
    ::
    ?>  =(term %cx)
    ?>  =(beam [[~nul %desk %da ~1234.5.6] /bar/foo])
    ::
    ~
  ::  scry-is-forbidden: makes sure ford does not attempt to scry
  ::
  =/  scry-is-forbidden
    |=  [* (unit (set monk)) =term =beam]
    ^-  (unit (unit cage))
    ::
    ~|  term+term
    ~|  beam+beam
    !!
  ::
  =.  ford  (ford-turbo now=~1234.5.6 eny=0xdead.beef scry=scry-block)
  =^  moves  ford
    %-  call:ford
    :*  duct=~
        type=~
        %make
        ~nul
        plan=[%scry %clay-once ren=%x bem=[[~nul %desk %da ~1234.5.6] /bar/foo]]
        date=`~1234.5.6
    ==
  %+  welp
    %-  expect-eq  !>
    :-  moves
    :~  :*  duct=~  %pass
            wire=/~nul/dependency/c/x/.n/~nul/desk/~1234.5.6/foo/bar
            %c  %warp  [~nul ~nul]  %desk
            ~  %sing  %x  [%da ~1234.5.6]  /bar/foo
    ==  ==
  ::
  =.  ford  (ford now=~1234.5.7 eny=0xbeef.dead scry=scry-is-forbidden)
  ::
  =^  moves2  ford
    %-  take:ford
    :*  wire=/~nul/dependency/c/x/.n/~nul/desk/~1234.5.6/foo/bar  duct=~
        ^=  wrapped-sign  ^-  (hypo sign:ford)  :-  *type  ::  ^-  sign:ford
        [%c %writ ~ [%x [%da ~1234.5.6] %desk] /bar/foo %noun !>(42)]
    ==
  ::
  %+  welp
    %-  expect-eq  !>
    :-  moves2
    :~  :*  duct=~  %give  %made  ~1234.5.6  %complete  %result
            [%scry %noun !>(42)]
    ==  ==
  ::
  %-  expect-eq  !>
  :-  state-by-ship.+>+<.ford
  (my [~nul *ford-state:ford-turbo]~)
::
++  test-scry-clay-live
  ~&  %test-scry-clay-live
  =/  scry-42
    |=  [* (unit (set monk)) =term =beam]
    ^-  (unit (unit cage))
    ::
    ?>  =(term %cx)
    ?>  =(beam [[~nul %desk %da ~1234.5.6] /foo/bar])
    ~&  %scry-42
    ::
    [~ ~ %noun !>(42)]
  ::
  =/  scry-43
    |=  [* (unit (set monk)) =term =beam]
    ^-  (unit (unit cage))
    ::
    ?>  =(term %cx)
    ?>  =(beam [[~nul %desk %da ~1234.5.7] /foo/bar])
    ~&  %scry-43
    ::
    [~ ~ %noun !>(43)]
  ::
  =.  ford  (ford-turbo now=~1234.5.6 eny=0xdead.beef scry=scry-42)
  =^  moves  ford
    %-  call:ford
    :*  duct=~
        type=~
        %make
        ~nul
        plan=[%scry %clay-live care=%x bel=[[~nul %desk] /foo/bar]]
        date=~
    ==
  %+  welp
    %-  expect-eq  !>
    :-  moves
    :~  :*  duct=~  %give  %made  ~1234.5.6  %complete  %result
            [%scry %noun !>(42)]
        ==
        :*  duct=~  %pass  wire=/~nul/clay-sub/~nul/desk
            %c  %warp  [~nul ~nul]  %desk
            `[%mult [%da ~1234.5.6] (sy [%x /foo/bar]~)]
    ==  ==
  ::
  =.  ford  (ford now=~1234.5.7 eny=0xbeef.dead scry=scry-43)
  =^  moves2  ford
    %-  take:ford
    :*  wire=/~nul/clay-sub/~nul/desk  duct=~
        ^=  wrapped-sign  ^-  (hypo sign:ford)  :-  *type
        [%c %wris [%da ~1234.5.7] (sy [%x /foo/bar]~)]
    ==
  %-  expect-eq  !>
  :-  moves2
  :~  :*  duct=~  %give  %made  ~1234.5.7  %complete  %result
          [%scry %noun !>(43)]
      ==
      :*  duct=~  %pass  wire=/~nul/clay-sub/~nul/desk
          %c  %warp  [~nul ~nul]  %desk
          `[%mult [%da ~1234.5.7] (sy [%x /foo/bar]~)]
  ==  ==
  :::-  state-by-ship.+>+<.ford
  ::(my [~nul *ford-state:ford-turbo]~)
--