Stdlib.Function
Contents
Definitions
<< {A B C} (f : B → C) (g : A → B) (x : A) : CSource#
Function composition, passing results from the second function to the first.
>> {A B C} (f : A → B) (g : B → C) (x : A) : CSource#
Function composition, passing results from the first function to the second.
flip {A B C} (f : A → B → C) (b : B) (a : A) : CSource#
Swaps the order of the arguments of the given function.
<| {A B} (f : A → B) (x : A) : BSource#
Application operator with right associativity. Usually used as a syntactical facility.