pragma_design_system library
Biblioteca principal que reexporta los tokens, temas y componentes del Design System de Pragma.
Classes
- ModelAnatomyAttribute
- Describes a single anatomy attribute inside a Figma component.
- ModelColorToken
- Immutable model that represents a single color token entry.
- ModelFieldState
- Immutable model that represents the state of a text field.
- ModelPragmaComponent
- Document a UI component coming from Figma as an immutable value object.
- ModelThemePragma
- Immutable data structure that represents a full Pragma theme definition.
- PragmaAccordionWidget
- Panel expandible alineado al Design System de Pragma.
- PragmaAvatarWidget
- Visual avatar that follows the Pragma guidelines.
- PragmaBadgeWidget
- Píldora informativa que resalta estados o categorías.
- PragmaBorderRadius
- Atajos convenientes para usar radios redondeados sin instanciar objetos.
- PragmaBorderRadiusToken
- Token que describe un radio de borde estandarizado por el Design System.
- PragmaBorderRadiusTokens
- Colección oficial de radios. Avanza en incrementos de 4 u 8 dp según la complejidad del componente.
- PragmaBreadcrumbItem
- Data structure that represents a breadcrumb entry.
- PragmaBreadcrumbWidget
- Breadcrumb navigation aligned with Pragma's guidelines.
- PragmaButton
- Botón estilizado según las guías de Pragma.
- PragmaButtonColors
- PragmaButtons
-
Legacy helpers used by
PragmaThemeto theme stock Material buttons. - PragmaButtonStyles
- Utilidades de estilos para integrar con los temas de Flutter.
- PragmaCalendarController
- Central controller that stores the calendar state and notifies listeners.
- PragmaCalendarSelection
- Value object that carries the current selection range.
- PragmaCalendarWidget
- Calendar widget aligned with Pragma's desktop/mobile guidelines.
- PragmaCard
- Contenedor elevado con padding y radios consistentes.
- PragmaCardWidget
- Superficie versátil que agrupa contenido y acciones bajo una misma jerarquía.
- PragmaCheckboxWidget
- Checkbox themado con el glow morado y estados indeterminados opcionales.
- PragmaColors
- Esquemas cromáticos derivados de los tokens oficiales.
- PragmaColorTokenRowWidget
- Row-based widget that previews a ModelColorToken alongside its label and editable hexadecimal value.
- PragmaColorTokens
- Tokens oficiales de color del Design System de Pragma.
-
PragmaDropdownListWidget<
T> - Multi-select dropdown that mirrors the Pragma visual language with checkboxes, optional icons, and trailing removal gestures.
-
PragmaDropdownOption<
T> - Entry that describes an option inside dropdown-based widgets.
-
PragmaDropdownWidget<
T> - Dropdown built with Material 3 primitives but tuned with Pragma tokens.
- PragmaFilterOption
- Representa cada opción del filtro.
- PragmaFilterWidget
- Elemento de filtrado con contador de resultados, overlay con opciones y resumen de selecciones activas.
- PragmaGridConfig
- Configuración calculada para construir layouts basados en columnas.
- PragmaGridContainer
- Widget utilitario que dibuja la grilla responsive por encima del child para facilitar la maquetación.
- PragmaGridTokens
- PragmaGridTokenSet
- Tokens que describen cómo se comporta la grilla responsive para cada tipo de viewport definido por el Design System.
- PragmaIconButton
- Legacy icon button. Prefer using PragmaIconButtonWidget.
- PragmaIconButtonWidget
- Icon button aligned with the Pragma spec, including filled/outlined variants for light or dark surfaces plus hover/pressed states.
- PragmaInputController
- Controller that exposes helper methods to mutate the field state.
- PragmaInputWidget
- Text field that follows the Pragma visual language with autocomplete suggestions, validation feedback, and optional password toggle.
- PragmaLoadingWidget
- Indicador de carga con relleno neón alineado al sistema de diseño.
- PragmaLogoWidget
- Responsive widget that renders the official Pragma logo assets while keeping their proportions thanks to PragmaScaleBox.
- PragmaOpacity
- Atajos para usar rápidamente los valores documentados.
- PragmaOpacityToken
- Describe un token de opacidad oficial del Design System.
- PragmaOpacityTokens
- Colección de tokens de opacidad autorizados.
- PragmaPaginationSummary
- Datos calculados que pueden usarse para construir el summary.
- PragmaPaginationWidget
- Componente que replica la paginación con cápsula glow, botones numerados, flechas y selector de registros por página.
- PragmaPrimaryButton
-
PragmaRadioButtonWidget<
T> - Radio button alineado al spec de Pragma con glow morado, estados hover/pressed y soporte para descripciones.
- PragmaScaleBox
- Escala su child para que coincida con el ancho disponible conservando la proporción definida en designSize.
- PragmaSearchWidget
- Campo de búsqueda que replica el glow morado y las variantes light/dark descritas en la guía de diseño.
- PragmaSecondaryButton
- PragmaSpacing
- Atajos prácticos que exponen los valores del sistema de espaciado.
- PragmaSpacingToken
- Representa un token de espaciado definido por el equipo de diseño.
- PragmaSpacingTokens
- Colección de tokens de espaciado empleados en el Design System.
- PragmaStepperStep
- Modelo inmutable que describe un paso dentro del stepper.
- PragmaStepperWidget
- Stepper horizontal alineado al sistema de diseño de Pragma.
- PragmaTableColumn
- Define la alineación y el encabezado de una columna dentro del PragmaTableWidget.
- PragmaTableRowData
- Describe una fila de datos renderizada por PragmaTableWidget.
- PragmaTableWidget
- Tabla multi-columna alineada a los estilos de Pragma.
- PragmaTagWidget
- Tag interactivo que usa el glow morado de Pragma para etiquetar entidades (personas, squads o tópicos) con opción de remover.
- PragmaTertiaryButton
- PragmaTextAreaWidget
- Stateful text area built with Pragma's glow, tones, and helper states.
- PragmaTextStyleToken
- Descriptor de un token tipográfico con su bloque de estilo.
- PragmaTheme
- Tema Material 3 adaptado a la identidad de Pragma.
- PragmaThemeBuilder
- Builds ThemeData instances from ModelThemePragma.
- PragmaThemeEditorWidget
- Interactive widget that edits a ModelThemePragma and previews it live.
- PragmaToastConfig
- Configuration object describing the toast content and behavior.
- PragmaToastHandle
- Handle returned by PragmaToastService.show that allows manual dismissal.
- PragmaToastService
- Global service that injects Pragma toasts using overlay entries.
- PragmaToastWidget
- Public widget that renders the toast surface aligned to the Pragma spec.
- PragmaTooltipAction
- Acción opcional que se renderiza dentro del tooltip.
- PragmaTooltipWidget
- Tooltip morado con arrow, título opcional, ícono y botón interno.
- PragmaTypography
- Tipografía oficial basada en la familia Poppins y los tamaños suministrados por el equipo de diseño.
- PragmaTypographyTokens
- Escala de estilos disponibles para tokens.
Enums
- AnatomyAttributeEnum
- Enumerates the serializable properties of ModelAnatomyAttribute.
- ColorTokenEnum
- Enumerates the serialized fields for ModelColorToken.
- FieldStateEnum
- Enumerates the serialized properties of ModelFieldState.
- PragmaAccordionSize
-
Tamaños disponibles para el encabezado del
PragmaAccordionWidget. - PragmaAvatarStyle
- Visual variants available for the avatar widget.
- PragmaBadgeBrightness
- Apariencia de superficie.
- PragmaBadgeTone
- Tonalidad disponible para los badges.
- PragmaBreadcrumbType
- Visual variants supported by PragmaBreadcrumbWidget.
- PragmaButtonHierarchy
- PragmaButtonSize
- PragmaButtonTone
- PragmaCalendarDisplayMode
- Display modes that control the current view of the calendar UI.
- PragmaCalendarSelectionMode
- Selection behaviors supported by PragmaCalendarWidget.
- PragmaCardSize
- PragmaCardVariant
- PragmaComponentEnum
- Enumerates the serialized fields of ModelPragmaComponent.
- PragmaFilterTone
- Superficie disponible para el filtro.
- PragmaIconButtonSize
- Available touch targets for PragmaIconButtonWidget.
- PragmaIconButtonStyle
- Visual styles supported by PragmaIconButtonWidget.
- PragmaIconButtonVariant
- PragmaInputSize
- Density presets for PragmaInputWidget.
- PragmaInputVariant
- Visual variants supported by PragmaInputWidget.
- PragmaLoadingVariant
- Variantes admitidas por PragmaLoadingWidget.
- PragmaLogoVariant
- Visual variants supported by PragmaLogoWidget.
- PragmaPaginationTone
- Tonos soportados por el widget de paginación.
- PragmaSearchSize
- Tamaños disponibles para PragmaSearchWidget.
- PragmaSearchTone
- Tonos soportados por PragmaSearchWidget.
- PragmaStepperSize
- Tamaños soportados por PragmaStepperWidget.
- PragmaStepperStatus
-
Estados gráficos para cada paso del
Stepper. - PragmaTableRowState
- Estados gráficos que puede mostrar una fila.
- PragmaTableRowTone
- Fondos soportados por cada fila.
- PragmaToastAlignment
- Alignments supported by PragmaToastService.
- PragmaToastVariant
- Visual variants supported by PragmaToastWidget.
- PragmaTooltipPlacement
- Posiciones relativas para anclar el tooltip al widget objetivo.
- PragmaTooltipTone
- Tonos soportados por PragmaTooltipWidget.
- PragmaViewportEnum
- Clasificación de viewports compatible con las guías de Material/Pragma.
- ThemeBrightness
- Brightness options supported by ModelThemePragma.
Functions
-
getGridConfigFromContext(
BuildContext context) → PragmaGridConfig - Lee el ancho del contexto actual y retorna la configuración de grid.
-
getGridConfigFromWidth(
double width) → PragmaGridConfig - Retorna la configuración de grid tomando como referencia el ancho provisto.
-
getViewportFromContext(
BuildContext context) → PragmaViewportEnum -
Determina el viewport usando el tamaño expuesto por
MediaQuery. -
getViewportFromWidth(
double width) → PragmaViewportEnum - Determina el viewport en función del ancho disponible.
Typedefs
- PragmaInvalidRowBuilder = Widget Function(BuildContext context, PragmaTableRowData row, int expectedColumnCount, int rowIndex)
- Builder opcional para renderizar filas con estructura inválida.
- PragmaPaginationSummaryBuilder = String Function(PragmaPaginationSummary summary)
- Builder opcional para personalizar el texto del summary.