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.ApplicationLauncher

A component for encapsulating a utility menu allowing an individual to launch the items in a new browser window.

Definition

Opaque ApplicationLauncher element that can produce msg messages

Constructor function

{ id : String
, items :
List
{ itemId : String
, label : String
}
, onItemSelect : String -> msg
, onClick : msg
}

Construacts an ApplicationLauncher from the arguements

Configuration function(s)

Configures the active menu identifier.

If the id of this element equals what menuId passed in, then the launcher's menu will pop open.

This has a with prefix but it's more of a setter.

NOTE: this PF4 component more to using toMarkupFor and an opaque state when rendering.

Future Me apologizes in advance ...

Rendering element

toMarkup : ApplicationLauncher msg -> Element msg

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