dedekind::category::Steers Concept Reference

An algebra that steers the fold at T (Mendler style): it recurses into the legs it chooses by cata itself, instead of the strict fold. More...

Concept definition

template<typename β, typename T>
concept dedekind::category::Steers =  requires(const β& a, const T& t) { a.steer(t); }

Detailed Description

An algebra that steers the fold at T (Mendler style): it recurses into the legs it chooses by cata itself, instead of the strict fold.