Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package tezos-test-helpers
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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