| Name | # | Haskell | Ramda | Sanctuary | Signature |
|---|---|---|---|---|---|
| identity | I | id |
identity |
I |
a → a |
| constant | K | const |
always |
K |
a → b → a |
| apply | A | ($) |
call |
A |
(a → b) → a → b |
| thrush | T | (&) |
applyTo |
T |
a → (a → b) → b |
| duplication | W | join² |
unnest² |
join² |
(a → a → b) → a → b |
| flip | C | flip |
flip |
flip |
(a → b → c) → b → a → c |
| compose | B | (.), fmap² |
map² |
compose, map² |
(b → c) → (a → b) → a → c |
| substitution | S | ap² |
ap² |
ap² |
(a → b → c) → (a → b) → a → c |
| psi | P | on |
on |
(b → b → c) → (a → b) → a → a → c |
|
| fix-point¹ | Y | fix |
(a → a) → a |
¹) In JavaScript and other non-lazy languages, it is impossible to implement the Y-combinator. Instead a variant known as the applicative or strict fix-point combinator is implemented. This variant is sometimes rererred to as the Z-combinator.
²) Algebras like ap have different implementations for different types.
They work like Function combinators only for Function inputs.