git.iko.soy/urbit.org
on master help sign in
Merge pull request #1468 from urbit/fix-corl-description
9a94572tinnus-napbus
content/docs/hoon/reference/stdlib/2n.md+21−13
compare with master
unifiedsplit
@@ -40,11 +40,15 @@ Pair after
40
40
41Compose forward
41Compose forward
42
42
43−Build `f` such that `(f x) .= (b (a x))`.
43+Call gate `a`, then call gate `b` with its product.
44+
45+This is a wet gate that takes two gates and produces a new gate.
46+
47+This is the inverse of [`++corl`](#corl).
44
48
45#### Accepts
49#### Accepts
46
50
47−`a` is a noun.
51+`a` is a gate.
48
52
49`b` is a gate.
53`b` is a gate.
50
54
@@ -57,14 +61,11 @@ Build `f` such that `(f x) .= (b (a x))`.
57#### Examples
61#### Examples
58
62
59```
63```
60− > (:(cork dec dec dec) 20)
64+> ((cork dec |=(a=@ [a a])) 20)
61− 17
65+[19 19]
62−
63− > `@ub`(bex (met 0 23))
64− 0b10.0000
65
66
66− > `@ub`((cork (cury met 0) bex) 23)
67+> ((cork dec some) 20)
67− 0b10.0000
68+[~ u=19]
68```
69```
69
70
70---
71---
@@ -73,13 +74,17 @@ Build `f` such that `(f x) .= (b (a x))`.
73
74
74Compose backward
75Compose backward
75
76
76−Build `f` such that
77+Call gate `b`, then call gate `a` with its product.
78+
79+This is a wet gate that takes two gates and produces a new gate.
80+
81+This is the inverse of [`++cork`](#cork).
77
82
78#### Accepts
83#### Accepts
79
84
80`a` is a gate.
85`a` is a gate.
81
86
82−`b` is a noun.
87+`b` is a gate.
83
88
84#### Source
89#### Source
85
90
@@ -95,8 +100,11 @@ Build `f` such that
95#### Examples
100#### Examples
96
101
97```
102```
98− > ((corl (lift bex) (slat %ud)) '2')
103+> ((corl |=(a=@ [a a]) dec) 20)
99− [~ 4]
104+[19 19]
105+
106+> ((corl some dec) 20)
107+[~ u=19]
100```
108```
101
109
102---
110---