dedekind::category::IsEvalArrow Concept Reference

Seq exposes operator[Idx] and the carrier site has declared it as the CCC eval counit (Mac Lane CWM §IV.6). More...

Concept definition

template<typename Seq, typename Idx>
concept dedekind::category::IsEvalArrow = 
    HasSubscriptOperator<Seq, Idx> && is_eval_arrow_v<Seq, Idx>

Detailed Description

Seq exposes operator[Idx] and the carrier site has declared it as the CCC eval counit (Mac Lane CWM §IV.6).