Module Preface_core.FunSource

Sourceval compose_left_to_right : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c

(compose_left_to_right f g) x is g (f x).

Sourceval compose_right_to_left : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c

(compose_right_to_left f g) x is f (g x). It is the mathematical composition.

Sourceval const : 'a -> 'b -> 'a

Produce a function that returns its first argument. const a b returns always a.

Sourceval id : 'a -> 'a

Identity function.

Sourceval flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c

flip f x y is f y x.

Infix operators

Sourcemodule Infix : sig ... end
Sourceval (%>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c

(f %> g) x is g (f x). Alias for Preface_stdlib.Fun.compose_left_to_right

Sourceval (<%) : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c

(f <% g) x is f (g x). Alias for Preface_stdlib.Fun.compose_right_to_left

Sourceval (%) : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c

(f <% g) x is f (g x). Alias for Preface_stdlib.Fun.compose_right_to_left