lenards/elm-ui-patternfly/1.4.0

NOTE: the latest version is 4.0.2

Rerouted (retagged, needs approval). The tag now points at a different commit than when this version was published. The Lamdera package server serves a copy recovered from https://github.com/lenards/elm-ui-patternfly.

What we checked: Tag 1.4.0 is still on github.com/lenards/elm-ui-patternfly; its commit 3e5350f9e0b9 is from 2026-03-24 18:11 UTC, after the version was published (2022-04-24 23:05 UTC); elm.json differs from package.elm-lang.org's; the exposed modules do not match docs.json; the zip's SHA-1 is not the published one and nothing else confirms its contents.

We could not verify this copy against what was published, so the Lamdera compiler asks before using it (y/n). Without a terminal, as in CI, it stops with an error unless approved:

  • lamdera make --auto-approve-package-rerouting approves rerouted versions for that run,
  • LAMDERA_AUTO_APPROVE_PACKAGE_REROUTING=1 does the same for every run in that environment,
  • LAMDERA_CACHE=off skips the Lamdera package server altogether: packages come from package.elm-lang.org and GitHub only, as with elm, and a rerouted version then fails to download.

Details · package.elm-lang.org's zip: https://github.com/lenards/elm-ui-patternfly/zipball/1.4.0/

PF4.Navigation

A stateless component for application navigation

Intended to have its state "driven" by the Elm application using it.

Uses the Element.Region.navigation to indicate semantic intent.

https://www.patternfly.org/v4/components/navigation

Definition

Constructor functions

Perform State Change

selectItem : String -> Navigation msg -> Navigation msg

Selects an item by itemName

For duplicates, the handling of selection would be predictable given the underlying representation.

Selection functions

withSelectedItem : String -> Navigation msg -> Navigation msg

Configures the selected item to be itemName

Configures that navigation to have the first NavItem msg as selected

Configuration functions

Configures the orientation for rendering to be horizontal

Configures the orientation for rendering

Rendering stateless element

toMarkup : Navigation msg -> Element msg

Given the custom type representation, renders as an Element msg.