urbit/pkg/arvo/lib/rekey.hoon

::  Userspace implementation of old  /_  @foo behavior
::                                                      ::  ::
::::  /hoon/rekey/lib                                   ::  ::
  ::                                                    ::  ::
/?  310                                                 ::  version
::                                                      ::  ::
::::                                                    ::  ::
  ::                                                    ::  ::
=,  wired
|*  typ=@tas
|*  inp=(map knot *)  ^-  (map (odo:raid typ) _(~(got by inp)))
=>  .(inp `(map knot _(~(got by inp)))`inp)
%-  malt
%+  murn  ~(tap by inp)
|*  [a=knot b=*]  ^-  (unit [(odo:raid typ) _b])
(both (slaw typ a) `b)
add lib/rekey /_ @da implementation 2017-12-15 04:12:40 +03:00			`:: Userspace implementation of old /_ @foo behavior`
			`:: :: ::`
			`:::: /hoon/rekey/lib :: ::`
			`:: :: ::`
			`/? 310 :: version`
			`:: :: ::`
			`:::: :: ::`
			`:: :: ::`
			`=, wired`
			`\|* typ=@tas`
			`\|* inp=(map knot *) ^- (map (odo:raid typ) _(~(got by inp)))`
more type hints for faster compilation 2017-12-16 03:33:34 +03:00			=> .(inp `(map knot _(~(got by inp)))`inp)
Remove trailing whitespace 2019-01-18 08:37:34 +03:00			`%- malt`
add lib/rekey /_ @da implementation 2017-12-15 04:12:40 +03:00			`%+ murn ~(tap by inp)`
			`\|* [a=knot b=*] ^- (unit [(odo:raid typ) _b])`
			(both (slaw typ a) `b)