Module lambda_types::primitives

Primitive constructs that are often useful.

Structs

• Apply
  Takes a function and an input, and returns the function applied to said input.
• Compose
  Composes a function with another. Note that this returns a Composed, for more ergonomic point-free form.
• Composed
  The composition of two functions. See Compose.
• Constant
  Returns its type parameter, ignoring input.
• Curried
  Function that curries the first type argument with the second and the input. See Curry.
• Curry
  Takes a function that takes two arguments and the first argument to said function, and returns a function that takes the second argument and runs the function with both. See Curried.
• FirstOf
  Takes two values and returns the first.
• Identity
  Identity function. Returns its input.
• SecondOf
  Takes two values and returns the second.
• Sheinfinkel
  S combinator. Takes three inputs, and applies the first to the second and third.