aerobus::IsRing Concept Reference

Concept to express R is a Ring. More...

#include <aerobus.h>

Concept definition

template<typename R>
concept aerobus::IsRing =  requires {
        typename R::one;
        typename R::zero;
        typename R::template add_t<typename R::one, typename R::one>;
        typename R::template sub_t<typename R::one, typename R::one>;
        typename R::template mul_t<typename R::one, typename R::one>;
    }

Detailed Description

Concept to express R is a Ring.