Module Functionals.BasicInfix

val (&) : ('x -> 'y) -> 'x -> 'y

function application; reverse of (|>), same as (@@)

val (%) : ('y -> 'z) -> ('x -> 'y) -> 'x -> 'z

function composition 1

val (%%) : ('a -> 'y -> 'z) -> ('x -> 'y) -> 'a -> 'x -> 'z

function composition 1, on second argument

val (&>) : ('x -> 'y) -> ('y -> 'z) -> 'x -> 'z

function composition 2

val (?.) : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
val (?..) : ('a -> 'b -> 'c -> 'd) -> 'c -> 'a -> 'b -> 'd
val (!.) : 'b -> ('b0 -> 'b -> 'c) -> 'b -> 'c
val (!..) : 'c -> ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'd
val (&&>) : ('x -> 'y -> 'z) -> ('z -> 'r) -> 'x -> 'y -> 'r

function composition 2, arity=2

val (|->) : 'x -> ('x -> unit) -> 'x

piping with tapping

val (//) : ('a -> 'x) -> ('b -> 'y) -> ('a * 'b) -> 'x * 'y
val (/>) : ('a * 'b) -> ('b -> 'c) -> 'a * 'c

piping calc on snd

val (/<) : ('a * 'b) -> ('a -> 'c) -> 'c * 'b

piping calc on fst

val (|+>) : 'a -> ('a -> 'b) -> 'a * 'b

piping calc to snd

val (|+<) : 'a -> ('a -> 'b) -> 'b * 'a

piping calc to fst

val (?>) : ('b -> 'c) -> ('a * 'b) -> 'a * 'c

lift to snd

val (?<) : ('a -> 'c) -> ('a * 'b) -> 'c * 'b

lift to fst

val (?+>) : ('a -> 'b) -> 'a -> 'a * 'b

calculate to snd

val (?+<) : ('a -> 'b) -> 'a -> 'b * 'a

calculate to fst

val (?&>) : ('y2 -> 'x2) -> (('x1 * 'x2) -> 'r) -> ('x1 * 'y2) -> 'r

lift to map snd

val (?&<) : ('y1 -> 'x1) -> (('x1 * 'x2) -> 'r) -> ('y1 * 'x2) -> 'r

lift to map fst

val (!!) : ('a -> 'b -> 'x) -> ('a * 'b) -> 'x

uncurry

val (!?) : (('a * 'b) -> 'x) -> 'a -> 'b -> 'x

curry