MonadEx v0.0.1 →
Overview
→
Functor
→
Law
Functor.Law
Summary
Functions
Source
Summary
↑
composition?(functor, fun1, fun2)
identity?(functor, id_fun)
Functions
composition?(functor, fun1, fun2)
(function)
#
↑
Source
identity?(functor, id_fun)
(function)
#
↑
Source