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

A component for toggling or switching values on or off

Definition

type Switch msg

Opaque Switch element that can produce msg messages

Constructor function

{ checked : Bool
, onText : String
, offText : String
, onChange : Bool -> msg
}
-> Switch msg

Constructs a Switch from the arguments

  • onText is the text that will be displayed when the switch is "on", or checked is true
  • offText is the text that will be displayed when the switch is "off", or checked is false

Configuration functions

Configures the position of the text to be on the left of the switch

The default position of the text is to the right of the switch.

{ onText : String
, offText : String
}
-> Switch msg
-> Switch msg

Configures the text display when the switch is "on" or "off"

State change functions

isChecked : Switch msg -> Bool

Return true is the element is checked, otherwise false

Set the checked value to true

Set the checked value to false

Given the internal checked state, set it to the opposite

Rendering element

toMarkup : Switch msg -> Element msg

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