after_bind.md

View this file with results and syntax highlighting here.

Left Multimap (⟜)

𝔽⟜𝕘 𝕩: Bind

→full documentation

Supply 𝕘 as a right argument to 𝔽 (𝕩 𝔽 𝕘).

𝕘 is a constant, 𝔽 must be dyadic.

    -⟜3 9

    - 3 9

    9 - 3

𝔽⟜𝔾 𝕩: After

→full documentation

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕩 𝔽 (𝔾 𝕩)).

𝔽 must be dyadic, 𝔾 must be monadic.

    ×⟜- 9

    × - 9

    9 × (- 9)

𝕨 𝔽⟜𝔾 𝕩: Dyadic After

→full documentation

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕨 𝔽 (𝔾 𝕩)).

𝔽 must be dyadic, 𝔾 must be monadic.

    2 ×⟜- 1

    2 × (- 1)