package octez-libs

  1. Overview
  2. Docs

Functor abstracts over type constructors that can be mapped over.

A Functor instance should satisfy:

  • Composition: map f << map g = map (f << g)
  • Identity: map id = id

assuming f << g = fun x -> g (f x) .

module type S = sig ... end
OCaml

Innovation. Community. Security.