Infix (preface.Preface_make.Functor.Infix)

Parameters

module Core : Preface_specs.Functor.CORE

module Operation : Preface_specs.Functor.OPERATION with type 'a t = 'a Core.t

type 'a t = 'a Core.t

The type held by the Functor.

val (<$>) : ('a -> 'b) -> 'a t -> 'b t

Infix version of CORE.map.

val (<&>) : 'a t -> ('a -> 'b) -> 'b t

Flipped and infix version of CORE.map.

val (<$) : 'a -> 'b t -> 'a t

Infix version of OPERATION.replace.

val ($>) : 'a t -> 'b -> 'b t

Flipped and infix version of OPERATION.replace.