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

A component for presenting an option to select (either single item or multiple items); typically this is a choose to do an action or reflects an "on/off" or binary setting.

Definition

type Checkbox msg

Opaque Checkbox element that can produce msg messages for indicating a selection

Constructor function

{ checked : Bool
, onCheck : Bool -> msg
, label : String
}
-> Checkbox msg

Constructs a Checkbox from the arguments

Configuration functions

type alias Palette =
{ idle : Color
, focused : Color
, checked : Color
}

A palette rendering the color of the checkbox

withPalette : Palette -> Checkbox msg -> Checkbox msg

Render with a custom palette

Rendering element

toMarkup : Checkbox msg -> Element msg

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