Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_periodic::IsPeriodicPredicate Concept Reference
module dedekind.category

A periodic predicate on the counts. More...

Concept definition

template<typename P>
concept dedekind::category::detail_periodic::IsPeriodicPredicate = HasPeriod<P> && std::same_as<Cod<P>, bool>
dedekind::category::HasPeriod
A sequence on finite chains with a declared period, read by period(f): for every k....
Definition periodic.cppm:82
dedekind::category::detail_periodic::IsPeriodicPredicate
A periodic predicate on the counts.
Definition periodic.cppm:508

Detailed Description

A periodic predicate on the counts.