psyqo::Primitive Concept Reference

The Primitive concept. More...

#include <psyqo/primitive-concept.hh>

Concept definition

template<typename Prim>
concept psyqo::Primitive =  requires {
    { (alignof(Prim) & 3) == 0 };
    { (sizeof(Prim) & 3) == 0 };
    {
        !requires { typename Prim::head; }
    };
}

Detailed Description

The Primitive concept.

This concept can be used as a template type constraint to ensure that a type is a valid primitive.