kwk::concepts::category Concept Reference

Category concept. More...

#include <kwk/concepts/category.hpp>

Detailed Description

Category concept.

A KIWAKU Category is a type usable as a semantic setting.

Concept definition

template<typename Type>
concept kwk::concepts::category =  requires(Type const&)
  {
    typename Type::kwk_container_category;
  }