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

A machine word read back as the count of its pattern: the retraction of pack, \(\mathit{unpack} \circ \mathit{pack} = \mathrm{id}\) on the counts below \(2^W\). Up to a machine word, since a count is one. More...

Public Types

using Domain = BitWord<W>
using Codomain = std::size_t

Public Member Functions

constexpr std::size_t operator() (Domain x) const

Detailed Description

template<std::size_t W>
requires (W > 0 && W <= 64)
struct dedekind::category::Unpack< W >

A machine word read back as the count of its pattern: the retraction of pack, \(\mathit{unpack} \circ \mathit{pack} = \mathrm{id}\) on the counts below \(2^W\). Up to a machine word, since a count is one.

Template Parameters
Wthe width.

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