package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Traversable.For_applicative`

module T : Preface_specs.Traversable.API_OVER_APPLICATIVE

val traversable_1 : unit -> ('a T.t, 'a T.t) Law.t

module Compose
  (F : Preface_specs.APPLICATIVE)
  (G : Preface_specs.APPLICATIVE) : 
  sig ... end

module Naturality
  (F : Preface_specs.APPLICATIVE)
  (G : Preface_specs.APPLICATIVE)
  (NT : sig ... end) : 
  sig ... end