Implementation for function 'a -> 'b.
module Profunctor : Preface_specs.PROFUNCTOR with type ('a, 'b) t = ('a, 'b) tmodule Strong : Preface_specs.STRONG with type ('a, 'b) t = ('a, 'b) tmodule Choice : Preface_specs.CHOICE with type ('a, 'b) t = ('a, 'b) tmodule Closed : Preface_specs.CLOSED with type ('a, 'b) t = ('a, 'b) tmodule Semigroupoid :
Preface_specs.SEMIGROUPOID with type ('a, 'b) t = ('a, 'b) tmodule Category : Preface_specs.CATEGORY with type ('a, 'b) t = ('a, 'b) tmodule Arrow : Preface_specs.ARROW with type ('a, 'b) t = ('a, 'b) tmodule Arrow_choice :
Preface_specs.ARROW_CHOICE with type ('a, 'b) t = ('a, 'b) tmodule Arrow_apply :
Preface_specs.ARROW_APPLY with type ('a, 'b) t = ('a, 'b) tAdditional functions to facilitate practical work with Fun.t.
(compose_left_to_right f g) x is g (f x).
(compose_right_to_left f g) x is f (g x). It is the mathematical composition.
Produce a function that returns its first argument. const a b returns always a.
module Infix : sig ... end(f %> g) x is g (f x). Alias for Preface_stdlib.Fun.compose_left_to_right
(f <% g) x is f (g x). Alias for Preface_stdlib.Fun.compose_right_to_left
(f <% g) x is f (g x). Alias for Preface_stdlib.Fun.compose_right_to_left