ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-05 13:55:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

++rs jets

Browse Source
This commit is contained in:
Max G 2015-07-29 18:59:21 +03:00
parent f85d0cd09b
commit fa8fd7d888
1 changed files with 37 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

74
arvo/hoon.hoon
View File

@ -1834,25 +1834,25 @@
++ bit
|= [a=fn] ^- @rd (bit:ma a)
++ add ~/ %add
|= [a=@rd b=@rd] ^- @rd (add:ma a b)
|= [a=@rd b=@rd] ^- @rd ~| %rd-fail (add:ma a b)
++ sub ~/ %sub
|= [a=@rd b=@rd] ^- @rd (sub:ma a b)
|= [a=@rd b=@rd] ^- @rd ~| %rd-fail (sub:ma a b)
++ mul ~/ %mul
|= [a=@rd b=@rd] ^- @rd (mul:ma a b)
|= [a=@rd b=@rd] ^- @rd ~| %rd-fail (mul:ma a b)
++ div ~/ %div
|= [a=@rd b=@rd] ^- @rd (div:ma a b)
|= [a=@rd b=@rd] ^- @rd ~| %rd-fail (div:ma a b)
++ fma ~/ %fma
|= [a=@rd b=@rd c=@rd] ^- @rd (fma:ma a b c)
|= [a=@rd b=@rd c=@rd] ^- @rd ~| %rd-fail (fma:ma a b c)
++ sqt ~/ %sqt
|= [a=@rd] ^- @rd (sqt:ma a)
|= [a=@rd] ^- @rd ~| %rd-fail (sqt:ma a)
::
++ sun |= [a=@u] ^- @rd (sun:ma a)
++ san |= [a=@s] ^- @rd (san:ma a)
++ lth ~/ %lth |= [a=@rd b=@rd] (lth:ma a b)
++ lte ~/ %lte |= [a=@rd b=@rd] (lte:ma a b)
++ equ ~/ %equ |= [a=@rd b=@rd] (equ:ma a b)
++ gte ~/ %gte |= [a=@rd b=@rd] (gte:ma a b)
++ gth ~/ %gth |= [a=@rd b=@rd] (gth:ma a b)
++ lth ~/ %lth |= [a=@rd b=@rd] ~| %rd-fail (lth:ma a b)
++ lte ~/ %lte |= [a=@rd b=@rd] ~| %rd-fail (lte:ma a b)
++ equ ~/ %equ |= [a=@rd b=@rd] ~| %rd-fail (equ:ma a b)
++ gte ~/ %gte |= [a=@rd b=@rd] ~| %rd-fail (gte:ma a b)
++ gth ~/ %gth |= [a=@rd b=@rd] ~| %rd-fail (gth:ma a b)
++ sig |= [a=@rd] (sig:ma a)
++ exp |= [a=@rd] (exp:ma a)
++ drg |= [a=@rd] (drg:ma a)
@ -1869,25 +1869,25 @@
++ bit
|= [a=fn] ^- @rs (bit:ma a)
++ add ~/ %add
|= [a=@rs b=@rs] ^- @rs (add:ma a b)
|= [a=@rs b=@rs] ^- @rs ~| %rs-fail (add:ma a b)
++ sub ~/ %sub
|= [a=@rs b=@rs] ^- @rs (sub:ma a b)
|= [a=@rs b=@rs] ^- @rs ~| %rs-fail (sub:ma a b)
++ mul ~/ %mul
|= [a=@rs b=@rs] ^- @rs (mul:ma a b)
|= [a=@rs b=@rs] ^- @rs ~| %rs-fail (mul:ma a b)
++ div ~/ %div
|= [a=@rs b=@rs] ^- @rs (div:ma a b)
|= [a=@rs b=@rs] ^- @rs ~| %rs-fail (div:ma a b)
++ fma ~/ %fma
|= [a=@rs b=@rs c=@rs] ^- @rs (fma:ma a b c)
|= [a=@rs b=@rs c=@rs] ^- @rs ~| %rs-fail (fma:ma a b c)
++ sqt ~/ %sqt
|= [a=@rs] ^- @rs (sqt:ma a)
::
++ sun |= [a=@u] ^- @rs (sun:ma a)
++ san |= [a=@s] ^- @rs (san:ma a)
++ lth ~/ %lth |= [a=@rs b=@rs] (lth:ma a b)
++ lte ~/ %lte |= [a=@rs b=@rs] (lte:ma a b)
++ equ ~/ %equ |= [a=@rs b=@rs] (equ:ma a b)
++ gte ~/ %gte |= [a=@rs b=@rs] (gte:ma a b)
++ gth ~/ %gth |= [a=@rs b=@rs] (gth:ma a b)
++ lth ~/ %lth |= [a=@rs b=@rs] ~| %rs-fail (lth:ma a b)
++ lte ~/ %lte |= [a=@rs b=@rs] ~| %rs-fail (lte:ma a b)
++ equ ~/ %equ |= [a=@rs b=@rs] ~| %rs-fail (equ:ma a b)
++ gte ~/ %gte |= [a=@rs b=@rs] ~| %rs-fail (gte:ma a b)
++ gth ~/ %gth |= [a=@rs b=@rs] ~| %rs-fail (gth:ma a b)
++ sig |= [a=@rs] (sig:ma a)
++ exp |= [a=@rs] (exp:ma a)
++ drg |= [a=@rs] (drg:ma a)
@ -1904,25 +1904,25 @@
++ bit
|= [a=fn] ^- @rq (bit:ma a)
++ add ~/ %add
|= [a=@rq b=@rq] ^- @rq (add:ma a b)
|= [a=@rq b=@rq] ^- @rq ~| %rq-fail (add:ma a b)
++ sub ~/ %sub
|= [a=@rq b=@rq] ^- @rq (sub:ma a b)
|= [a=@rq b=@rq] ^- @rq ~| %rq-fail (sub:ma a b)
++ mul ~/ %mul
|= [a=@rq b=@rq] ^- @rq (mul:ma a b)
|= [a=@rq b=@rq] ^- @rq ~| %rq-fail (mul:ma a b)
++ div ~/ %div
|= [a=@rq b=@rq] ^- @rq (div:ma a b)
|= [a=@rq b=@rq] ^- @rq ~| %rq-fail (div:ma a b)
++ fma ~/ %fma
|= [a=@rq b=@rq c=@rq] ^- @rq (fma:ma a b c)
|= [a=@rq b=@rq c=@rq] ^- @rq ~| %rq-fail (fma:ma a b c)
++ sqt ~/ %sqt
|= [a=@rq] ^- @rq (sqt:ma a)
|= [a=@rq] ^- @rq ~| %rq-fail (sqt:ma a)
::
++ sun |= [a=@u] ^- @rq (sun:ma a)
++ san |= [a=@s] ^- @rq (san:ma a)
++ lth ~/ %lth |= [a=@rq b=@rq] (lth:ma a b)
++ lte ~/ %lte |= [a=@rq b=@rq] (lte:ma a b)
++ equ ~/ %equ |= [a=@rq b=@rq] (equ:ma a b)
++ gte ~/ %gte |= [a=@rq b=@rq] (gte:ma a b)
++ gth ~/ %gth |= [a=@rq b=@rq] (gth:ma a b)
++ lth ~/ %lth |= [a=@rq b=@rq] ~| %rq-fail (lth:ma a b)
++ lte ~/ %lte |= [a=@rq b=@rq] ~| %rq-fail (lte:ma a b)
++ equ ~/ %equ |= [a=@rq b=@rq] ~| %rq-fail (equ:ma a b)
++ gte ~/ %gte |= [a=@rq b=@rq] ~| %rq-fail (gte:ma a b)
++ gth ~/ %gth |= [a=@rq b=@rq] ~| %rq-fail (gth:ma a b)
++ sig |= [a=@rq] (sig:ma a)
++ exp |= [a=@rq] (exp:ma a)
++ drg |= [a=@rq] (drg:ma a)
@ -1940,11 +1940,11 @@
::
++ sun |= [a=@u] ^- @rh (sun:ma a)
++ san |= [a=@s] ^- @rh (san:ma a)
++ lth |= [a=@rh b=@rh] (lth:ma a b)
++ lte |= [a=@rh b=@rh] (lte:ma a b)
++ equ |= [a=@rh b=@rh] (equ:ma a b)
++ gte |= [a=@rh b=@rh] (gte:ma a b)
++ gth |= [a=@rh b=@rh] (gth:ma a b)
++ lth |= [a=@rh b=@rh] ~| %rh-fail (lth:ma a b)
++ lte |= [a=@rh b=@rh] ~| %rh-fail (lte:ma a b)
++ equ |= [a=@rh b=@rh] ~| %rh-fail (equ:ma a b)
++ gte |= [a=@rh b=@rh] ~| %rh-fail (gte:ma a b)
++ gth |= [a=@rh b=@rh] ~| %rh-fail (gth:ma a b)
++ sig |= [a=@rh] (sig:ma a)
++ exp |= [a=@rh] (exp:ma a)
++ drg |= [a=@rh] (drg:ma a)