package batteries

  1. Overview
  2. Docs

Module type BatInterfaces.Mappable

A signature for data structures which have a map : ('a -> 'b) -> ('a t -> 'b t) operation.

If you create a new data structure, you should make it compatible with Mappable.

type 'a mappable

The data structure, e.g. 'a List.t

val map : ('a -> 'b) -> 'a mappable -> 'b mappable

map f e applies f to every element of e and returns the corresponding data structure