Stdlib.Function
Contents
∘ : {A : Type} → {B : Type} → {C : Type} → (B → C) → (A → B) → A → CSource#
Function composition.
const : {A : Type} → {B : Type} → A → B → ASource#
Always returns the first argument.
id : {A : Type} → A → ASource#
The identity function.
flip : {A : Type} → {B : Type} → {C : Type} → (A → B → C) → B → A → CSource#
Swaps the order of the arguments of the given function.
$ : {A : Type} → {B : Type} → (A → B) → A → BSource#
Application operator with right associativity. Usually used as a syntactical facility.
iterate : {A : Type} -> Nat -> (A -> A) -> A -> ASource#
Applies a function n times.
on : {A : Type} → {B : Type} → {C : Type} → (B → B → C) → (A → B) → A → A → CSource#
builtin seq >>> : {A B : Type} → A → B → BSource#