dedekind::sequences::FiniteSeq< T, Cap > Struct Template Reference

A finite sequence: an array-backed range of length n ≤ Cap — the compile-time extensional realization of a sequence. More...

Collaboration diagram for dedekind::sequences::FiniteSeq< T, Cap >:

Public Types
using	Domain = std::size_t
using	Codomain = T

Public Member Functions
constexpr Codomain	operator() (Domain i) const
constexpr void	push (T x)
constexpr const T *	begin () const
constexpr const T *	end () const
constexpr std::size_t	size () const

Public Attributes
std::array< T, Cap >	data {}
std::size_t	n = 0

Detailed Description

template<typename T, std::size_t Cap>
struct dedekind::sequences::FiniteSeq< T, Cap >

A finite sequence: an array-backed range of length n ≤ Cap — the compile-time extensional realization of a sequence.

---

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

• src/main/modules/dedekind/sequences/finite.cppm