package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Produces a Functor from a Bifunctor

Module `Preface_make.Join`

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