Merge pull request #3694 from urbit/jb/murn-cast

hoon: adds product cast to +murn
This commit is contained in:
Joe Bryan 2020-10-13 18:32:43 -07:00 committed by GitHub
commit 8b499c3190
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -625,12 +625,12 @@
++ murn :: maybe transform
~/ %murn
|* {a/(list) b/$-(* (unit))}
|-
=> .(a (homo a))
|- ^- (list _?>(?=(^ a) (need (b i.a))))
?~ a ~
=+ c=(b i.a)
?~ c
$(a t.a)
[i=u.c t=$(a t.a)]
=/ c (b i.a)
?~ c $(a t.a)
[+.c $(a t.a)]
::
++ oust :: remove
~/ %oust