package preface

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

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

Produces a Functor from a Bifunctor

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