Core_over_functor (preface.Preface_make.Indexed_alt.Core_over

Parameters

module Functor : Preface_specs.INDEXED_FUNCTOR

module Req : 
  Preface_specs.Indexed_alt.WITH_COMBINE
    with type ('a, 'index) t = ('a, 'index) Functor.t

type ('a, 'index) t = ('a, 'index) Req.t

A type ('a, 'index) t held by the Alt.

val combine : ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t

Combine two values of t into one.

val map : ('a -> 'b) -> ('a, 'index) t -> ('b, 'index) t

Mapping over t from 'a to 'b.