dedekind::category::HasDomain Concept Reference

A type that names its domain: Dom<F> is formed. The guard under which IsInvolution<F> may be asked at all. More...

Concept definition

template<typename F>
concept dedekind::category::HasDomain =  requires { typename std::remove_cvref_t<F>::Domain; }

Detailed Description

A type that names its domain: Dom<F> is formed. The guard under which IsInvolution<F> may be asked at all.

Template Parameters

F	the candidate arrow.