Same as Algebra except the A type on the left hand side is replaced with a tuple of Fix<F> and A. A function of the type: (fa: F<[Fix<F, E, R, I>, A], E, R, I>) ⇒ A.
Algebra
A
Fix<F>
(fa: F<[Fix<F, E, R, I>, A], E, R, I>) ⇒ A
Same as
Algebraexcept theAtype on the left hand side is replaced with a tuple ofFix<F>andA. A function of the type:(fa: F<[Fix<F, E, R, I>, A], E, R, I>) ⇒ A.