|
Aria 2.0.0
C++23 MVVM framework (C++20 minimum) — reactive, coroutine-first, ABI-layered
|
#include <paged_list.hpp>
Public Types | |
| using | value_type = T |
| using | Signal = detail::ListSignal<T> |
Public Member Functions | |
| PagedList (std::shared_ptr< Source > source, std::size_t initial_page_size, std::size_t initial_page_index=0) | |
| Construct a PagedList. | |
| ~PagedList () | |
| PagedList (const PagedList &)=delete | |
| PagedList & | operator= (const PagedList &)=delete |
| std::size_t | size () const |
| bool | empty () const |
| std::shared_ptr< T > | at (std::size_t derived_pos) const |
| std::vector< std::shared_ptr< T > > | snapshot () const |
| std::size_t | page_count () const |
| Number of pages for the current source size + page_size. | |
| bool | is_last_page () const |
| Property< std::size_t > & | page_size () noexcept |
| Window size in items per page. Set to drive a re-window. | |
| const Property< std::size_t > & | page_size () const noexcept |
| Property< std::size_t > & | page_index () noexcept |
| 0-based page index. Set to drive a re-window. | |
| const Property< std::size_t > & | page_index () const noexcept |
| using aria::PagedList< T, Source >::value_type = T |
| using aria::PagedList< T, Source >::Signal = detail::ListSignal<T> |
|
inline |
Construct a PagedList.
Both page_index (0-based) and page_size are bound to public Properties; observers can drive the window from any UI element.
|
inline |
|
delete |
|
delete |
|
inlinenodiscard |
|
inlinenodiscard |
|
inlinenodiscard |
|
inlinenodiscard |
|
inlinenodiscard |
Number of pages for the current source size + page_size.
0-source -> 0 pages.
|
inlinenodiscard |
|
inlinenodiscardnoexcept |
Window size in items per page. Set to drive a re-window.
|
inlinenodiscardnoexcept |
|
inlinenodiscardnoexcept |
0-based page index. Set to drive a re-window.
|
inlinenodiscardnoexcept |