package travesty

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

Module Bi_mappable.Extend0Source

Extend0 implements Extensions0 for an arity-0 bi-mappable container.

Parameters

module S : S0

Signature

include Types_intf.Bi0 with type t := S.t with type left := S.left with type right := S.right
include Generic_extensions with type ('l, 'r) t := S.t and type 'l left := S.left and type 'r right := S.right
include Types_intf.Bi_generic with type ('l, 'r) t := S.t with type 'l left := S.left with type 'r right := S.right
Sourceval map_left : S.t -> f:(S.left -> S.left) -> S.t

map_left c ~f maps f over the left type of c only.

Sourceval map_right : S.t -> f:(S.right -> S.right) -> S.t

map_right c ~f maps f over the right type of c only.

Sourcemodule Map_left : Mappable.S0 with type t := S.t

Permits mapping over the left type.

Sourcemodule Map_right : Mappable.S0 with type t := S.t

Permits mapping over the right type.