package alg_structs

Law notes the laws that should be obeyed by any instantiation of Functor in the form of predicates that should be true for any arguments of the appropriate type.

See wikipedia's definition functors for the mathematical expression of these properties.

You can use Alg_qcheck.Functor to generate property based tests of these laws for new modules satisfying this interface.

• parameter F

  An implementation of a Functor

Parameters

Signature

F.map ~f:Fun.id x = Fun.id x

F.map ~f:(f % g) x = (F.map ~f % F.map ~f:g) x