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

An element for showing off numbers in various scenarios

The PF4.Badge comes in handy when rendering notifications or alerts that have been "read" or "unread" in the form of a "pill" element since in other design systems.

Definition

type Badge

Opaque Badge element

Constructor functions

badge : Int -> Badge

Constructs a Badge

Default status of the Badge will be Read.

Configures the Badge to have an Unread status

Configuration functions

type Status

Defines Status to be one of two values: Read or Unread

Configures Badge to have a Read status

Configures Badge to have a Unread status

Checking value

isRead : Badge -> Bool

Indicates if the status of the Badge is Read

isUnread : Badge -> Bool

Indicates if the status of the Badge is Unread

Rendering stateless element

toMarkup : Badge -> Element msg

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