From 45fbea8ed5d5346a6e1437348943421519b1ea3f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 6 Oct 2020 21:37:34 -0400 Subject: Add combinator diagram to the primitive page --- docs/doc/primitive.html | 170 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 170 insertions(+) (limited to 'docs') diff --git a/docs/doc/primitive.html b/docs/doc/primitive.html index 37d8e08c..cbfc011a 100644 --- a/docs/doc/primitive.html +++ b/docs/doc/primitive.html @@ -230,6 +230,176 @@

Modifiers

+ + + + Atop + + π”½βˆ˜π”Ύ 𝕩 + + + + + + 𝔽 + 𝔾 + 𝕩 + + + 𝕨 π”½βˆ˜π”Ύ 𝕩 + + + + + + + + 𝔽 + 𝔾 + 𝕨 + 𝕩 + + + + + Over + + 𝔽○𝔾 𝕩 + + + + + + 𝔽 + 𝔾 + 𝕩 + + + 𝕨 𝔽○𝔾 𝕩 + + + + + + + + + + 𝔽 + 𝔾 + 𝔾 + 𝕨 + 𝕩 + + + + + Constant + + 𝕗˙ 𝕩 + + + + 𝕗 + 𝕩 + + + 𝕨 𝕗˙ 𝕩 + + + + + 𝕗 + 𝕨 + 𝕩 + + + + + Before + + π”½βŠΈπ”Ύ 𝕩 + + + + + + + 𝔾 + 𝔽 + 𝕩 + + + 𝕨 π”½βŠΈπ”Ύ 𝕩 + + + + + + + + 𝔾 + 𝔽 + 𝕨 + 𝕩 + + + + + After + + π”½βŸœπ”Ύ 𝕩 + + + + + + + 𝔽 + 𝔾 + 𝕩 + + + 𝕨 π”½βŸœπ”Ύ 𝕩 + + + + + + + + 𝔽 + 𝔾 + 𝕨 + 𝕩 + + + + + Self/Swap + + π”½Λœ 𝕩 + + + + + 𝔽 + 𝕩 + + + 𝕨 π”½Λœ 𝕩 + + + + + + 𝔽 + 𝕨 + 𝕩 + + + +

Combinators only control the application of functions. Because a non-function operand applies as a constant function, some combinators have extra meanings when passed a constant. For example, 0˜ is identical to 0Λ™β€”a constant function that always returns 0β€”and 0⊸< is the function that tests whether its right argument is greater than 0.

-- cgit v1.2.3