package preface

You can search for identifiers within the package.

in-package search v0.2.0

Module `Preface_laws.Traversable`

module type LAWS_APPLICATIVE = sig ... end

module type LAWS_MONAD = sig ... end

module For_monad
  (T : Preface_specs.Traversable.API_OVER_MONAD) : 
  LAWS_MONAD with type 'a t := 'a T.t

module For_applicative
  (T : Preface_specs.Traversable.API_OVER_APPLICATIVE) : 
  LAWS_APPLICATIVE with type 'a t := 'a T.t