Up – Package index » Preface » Library preface.make » Preface_make » Join

Module `Preface_make.Join`

Join produces a Functor from a Bifunctor using both arguments of a Bifunctor.

module Functor
  (B : Preface_specs.Bifunctor.CORE) : 
  Preface_specs.FUNCTOR with type 'a t = ('a, 'a) B.t