catsfoot::equality< T, U > Struct Template Reference

Check whether T is comparable to U by ==. More...

#include <concepts.hh>

Inheritance diagram for catsfoot::equality< T, U >:
Collaboration diagram for catsfoot::equality< T, U >:

List of all members.

Public Types

typedef concept_list
< is_callable< op_eq(T, U)>
, std::is_convertible
< typename is_callable< op_eq(T,
U)>::result_type, bool > > 
requirements

Detailed Description

template<typename T, typename U = T>
struct catsfoot::equality< T, U >

Check whether T is comparable to U by ==.


The documentation for this struct was generated from the following file: