Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::Shift< N > Struct Template Referenceexport
module dedekind.category

A translation of the counts, \(k \mapsto k + j\): after it, a periodic arrow keeps its period, on an extent narrowed by j. More...

Public Types

using Domain = N
using Codomain = N

Public Member Functions

constexpr N operator() (N k) const
constexpr bool operator== (const Shift &) const =default

Public Attributes

N by {0}

Detailed Description

template<IsCountWord N = std::size_t>
struct dedekind::category::Shift< N >

A translation of the counts, \(k \mapsto k + j\): after it, a periodic arrow keeps its period, on an extent narrowed by j.

Template Parameters
Nthe counts.

Member Function Documentation

◆ operator()()

template<IsCountWord N = std::size_t>
N dedekind::category::Shift< N >::operator() ( N k) const
inlineconstexpr
Parameters
ka count.
Returns
k + by.
The documentation for this struct was generated from the following file: