∘ : {A : Type} → {B : Type} → {C : Type} → (B → C) → (A → B) → A → CSource#

const : {A : Type} → {B : Type} → A → B → ASource#

id : {A : Type} → A → ASource#

flip : {A : Type} → {B : Type} → {C : Type} → (A → B → C) → B → A → CSource#

$ : {A : Type} → {B : Type} → (A → B) → A → BSource#

on : {A : Type} → {B : Type} → {C : Type} → (B → B → C) → (A → B) → A → A → CSource#

case : {A : Type} → {B : Type} → A → (A → B) → BSource#