package preface

  1. Overview
  2. Docs
package preface
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Profunctor.WITH_CONTRAMAP_FST_AND_MAP_SND

Minimal interface using contramap_fst and map_snd.

type ('a, 'b) t

The type held by the Profunctor.

val contramap_fst : ('a -> 'b) -> ('b, 'c) t -> ('a, 'c) t

Contramapping over the first argument.

val map_snd : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t

Mapping over the second argument.