Quark.BCKW (Quark v2.3.2) View Source

The classic BCKW combinators. A similar idea to SKI, but with different primitives.

Link to this section Summary

b()

Normal (binary) function composition

b(x)

b(x, y)

b(x, y, z)

c()

Reverse (first) two arguments (flip). Aliased as flip.

c(fun)

flip(fun)

k()

k(a)

k(a, b)

w()

Apply the same argument to a functon twice

w(fun)

Normal (binary) function composition

iex> sum_plus_one = b(&(&1 + 1), &Enum.sum/1)
iex> [1,2,3] |> sum_plus_one.()
7

b((... -> any()), (... -> any()), any()) :: any()

Reverse (first) two arguments (flip). Aliased as flip.

iex> c(&div/2).(1, 2)
2

iex> reverse_concat = c(&Enum.concat/2)
...> reverse_concat.([1,2,3], [4,5,6])
[4,5,6,1,2,3]

iex> flip(&div/2).(1, 2)
2

c((... -> any())) :: (... -> any())

Apply the same argument to a functon twice

iex> repeat = w(&Enum.concat/2)
iex> repeat.([1,2])
[1,2,1,2]

iex> w(&Enum.zip/2).([1,2,3])
[{1, 1}, {2, 2}, {3, 3}]

w((... -> any())) :: any()