Stdlib.Function
Contents
∘ {A B C} (f : B → C) (g : A → B) (x : A) : CSource#
Function composition.
const {A B} (a : A) (_ : B) : ASource#
Always returns the first argument.
id {A} (a : A) : ASource#
The identity function.
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.
iterate {A} : Nat -> (A -> A) -> A -> ASource#
Applies a function n times.
on {A B C} (f : B → B → C) (g : A → B) (a b : A) : CSource#
builtin seq >>> : {A B : Type} → A → B → BSource#