m3e/repeat_gesture

RepeatGesture is a non-visual element used to detect a repeated gesture for an associated element.

This file was generated by m3e/generator

     DO NOT EDIT

Types

Config

</>

Config is a public record for configuring this component.

pub type Config {
  Config(
    allowed_buttons: gesture_input_button.GestureInputButton,
    disabled: Disabled,
    priority: Float,
    max_interval: Float,
    count: Float,
    for: option.Option(String),
  )
}

Constructors

Config(
  allowed_buttons: gesture_input_button.GestureInputButton,
  disabled: Disabled,
  priority: Float,
  max_interval: Float,
  count: Float,
  for: option.Option(String),
)

Disabled

</>

Disabled is whether gesture recognition is disabled.

pub type Disabled {
  IsDisabled
  IsNotDisabled
}

Constructors

```
IsDisabled
```
```
IsNotDisabled
```

RepeatGesture

opaque </>

RepeatGesture is a View Model for this component

Fields:

allowed_buttons: Which buttons can be pressed.
disabled: Whether gesture recognition is disabled.
priority: The priority in which to recognize gestures.
max_interval: Maximum time (ms) between gestures before the repeated gesture fails.
count: Number of times a gesture must be repeated.
for: The identifier of the interactive control to which this element is attached.

pub opaque type RepeatGesture

Values

allowed_buttons

</>

pub fn allowed_buttons(
  record: RepeatGesture,
  allowed_buttons: gesture_input_button.GestureInputButton,
) -> RepeatGesture

allowed_buttons sets the value of allowed_buttons for this RepeatGesture.

count

</>

pub fn count(
  record: RepeatGesture,
  count: Float,
) -> RepeatGesture

count sets the value of count for this RepeatGesture.

default_allowed_buttons

</>

pub const default_allowed_buttons: gesture_input_button.GestureInputButton

default_config

</>

pub fn default_config() -> Config

default_config is the default configuration for this component.

default_count

</>

pub const default_count: Float

default_disabled

</>

pub const default_disabled: Disabled

default_for

</>

pub const default_for: option.Option(String)

default_max_interval

</>

pub const default_max_interval: Float

default_priority

</>

pub const default_priority: Float

disabled

</>

pub fn disabled(
  record: RepeatGesture,
  disabled: Disabled,
) -> RepeatGesture

disabled sets the value of disabled for this RepeatGesture.

for

</>

pub fn for(
  record: RepeatGesture,
  for: option.Option(String),
) -> RepeatGesture

for sets the value of for for this RepeatGesture.

from_config

</>

pub fn from_config(config: Config) -> RepeatGesture

from_config creates a new RepeatGesture from the given configuration.

max_interval

</>

pub fn max_interval(
  record: RepeatGesture,
  max_interval: Float,
) -> RepeatGesture

max_interval sets the value of max_interval for this RepeatGesture.

new

</>

pub fn new() -> RepeatGesture

new creates a new RepeatGesture with the default configuration.

priority

</>

pub fn priority(
  record: RepeatGesture,
  priority: Float,
) -> RepeatGesture

priority sets the value of priority for this RepeatGesture.

render

</>

pub fn render(
  model: RepeatGesture,
  attributes: List(attribute.Attribute(msg)),
) -> element.Element(msg)

render creates a Lustre Element for a RepeatGesture

render_config

</>

pub fn render_config(
  c: Config,
  attributes: List(attribute.Attribute(msg)),
) -> element.Element(msg)

render_config creates a Lustre Element from a RepeatGesture Config