paginator

Types

Paginator

pub type Paginator {
  Paginator(
    current: Int,
    total: Int,
    page_size: Int,
    style: PaginatorStyle,
    active_char: String,
    inactive_char: String,
    fg: style.Color,
    bg: style.Color,
  )
}

Constructors

Paginator(
  current: Int,
  total: Int,
  page_size: Int,
  style: PaginatorStyle,
  active_char: String,
  inactive_char: String,
  fg: style.Color,
  bg: style.Color,
)

PaginatorStyle

</>

pub type PaginatorStyle {
  Dots
  Arabic
}

Constructors

```
Dots
```
```
Arabic
```

Values

go_to

</>

pub fn go_to(p: Paginator, page: Int) -> Paginator

Jump to a specific page, clamped to [0, total - 1].

next_page

</>

pub fn next_page(p: Paginator) -> Paginator

Next page, clamped to last.

paginator_new

</>

pub fn paginator_new(total: Int) -> Paginator

New paginator. total is clamped to at least 1. Starts on page 0.

prev_page

</>

pub fn prev_page(p: Paginator) -> Paginator

Previous page, clamped to 0.

render

</>

pub fn render(
  buf: buffer.Buffer,
  area: geometry.Rect,
  p: Paginator,
) -> buffer.Buffer

set_item_count

</>

pub fn set_item_count(p: Paginator, items: Int) -> Paginator

Recompute total from an item count and the current page_size. Clamps current so it stays in range.

slice

</>

pub fn slice(items: List(a), p: Paginator) -> List(a)

Pull the items belonging to the current page.

with_chars

</>

pub fn with_chars(
  p: Paginator,
  active: String,
  inactive: String,
) -> Paginator

with_colors

</>

pub fn with_colors(
  p: Paginator,
  fg: style.Color,
  bg: style.Color,
) -> Paginator

with_page_size

</>

pub fn with_page_size(p: Paginator, n: Int) -> Paginator

Items per page (used by slice/2). Default 10.

with_style

</>

pub fn with_style(p: Paginator, st: PaginatorStyle) -> Paginator