attrs

Attribute access helpers and the @attr(...) -> ast constraint-record folds shared by the rest of lower/*. Unrecognized attribute names fold away silently; shape mismatches (e.g. a string arg to @range) do too, matching the lenient-fold approach of the sibling packages.

Values

array_bounds

pub fn array_bounds(
  attrs: List(tree.Attr),
) -> #(option.Option(Int), option.Option(Int))

attr_string

pub fn attr_string(
  attrs: List(tree.Attr),
  name: String,
) -> option.Option(String)

build_blob_constraints

pub fn build_blob_constraints(
  attrs: List(tree.Attr),
  docs: option.Option(String),
) -> ast.BlobConstraints

build_boolean_constraints

pub fn build_boolean_constraints(
  attrs: List(tree.Attr),
  docs: option.Option(String),
  sugar_default: option.Option(tree.AttrValue),
) -> ast.BooleanConstraints

build_bytes_constraints

pub fn build_bytes_constraints(
  attrs: List(tree.Attr),
  docs: option.Option(String),
) -> ast.BytesConstraints

build_integer_constraints

pub fn build_integer_constraints(
  attrs: List(tree.Attr),
  docs: option.Option(String),
  sugar_default: option.Option(tree.AttrValue),
) -> ast.IntegerConstraints

build_string_constraints

pub fn build_string_constraints(
  attrs: List(tree.Attr),
  docs: option.Option(String),
  sugar_default: option.Option(tree.AttrValue),
  format_override: option.Option(ast.StringFormat),
) -> ast.StringConstraints

find_attr

pub fn find_attr(
  attrs: List(tree.Attr),
  name: String,
) -> option.Option(tree.Attr)

has_flag

pub fn has_flag(attrs: List(tree.Attr), name: String) -> Bool

int_list

pub fn int_list(args: List(tree.AttrArg)) -> List(Int)

int_pair

pub fn int_pair(
  args: List(tree.AttrArg),
) -> #(option.Option(Int), option.Option(Int))

single_int

pub fn single_int(args: List(tree.AttrArg)) -> option.Option(Int)

string_format_from_raw

pub fn string_format_from_raw(raw: String) -> ast.StringFormat

string_list

pub fn string_list(args: List(tree.AttrArg)) -> List(String)