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

A component to save as a media card or general container

Definition

type Card msg

Opaque Card element that can produce msg messages

Constructor function(s)

card : List (Element msg) -> Card msg

Constructs a card element with list Element msg as the "body" content

Configuration functions

withTitle : String -> Card msg -> Card msg

Configures the Card to have title text above the "body" content

withFooter : Element msg -> Card msg -> Card msg

Configures the Card to have a footer element with the context passed

Padding & Spacing functions

withBodyPadding : Int -> Card msg -> Card msg

Appeals padding to the "body" content

withBodyPaddingXY : Int -> Int -> Card msg -> Card msg

Appeals padding to the "body" content

{ top : Int
, right : Int
, bottom : Int
, left : Int
}
-> Card msg
-> Card msg

Appeals padding to the "body" content

withBodySpacing : Int -> Card msg -> Card msg

Appeals spacing to the "body" content

withBodySpacingXY : Int -> Int -> Card msg -> Card msg

Appeals spacing to the "body" content

Appeals spacing to the "body" content

Rendering stateless element

toMarkup : Card msg -> Element msg

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