NoRedInk/noredink-ui/22.6.0

NOTE: the latest version is 35.9.3

Rerouted (regenerated, verified). Same repository and tag, but GitHub now builds the zip with different bytes, so it no longer matches the SHA-1 package.elm-lang.org recorded. The Lamdera package server serves a copy recovered from https://github.com/NoRedInk/noredink-ui.

What we checked: Tag 22.6.0 is still on github.com/NoRedInk/noredink-ui; its commit 7cae53f1af4b is from 2023-03-24 17:13 UTC, before the version was published (2023-03-27 14:55 UTC); elm.json is byte-identical to package.elm-lang.org's; the exposed modules match docs.json; the zip's SHA-1 is not the published one (GitHub's zip no longer comes out byte for byte the same), so the contents were checked instead.

The Lamdera compiler uses this copy and prints a one-line notice saying so. elm itself fails to download this version.

Details · package.elm-lang.org's zip: https://github.com/NoRedInk/noredink-ui/zipball/22.6.0/

Nri.Ui.Page.V3

A styled NRI page!

httpError : Error -> DefaultPage msg -> Html msg
type alias DefaultPage msg =
{ link : msg
, recoveryText : RecoveryText
}

The default page information is for the button which will direct the user back to the main page of the SPA. Specify its name and the message which will navigate to the page.

broken : DefaultPage msg -> Html msg

For HTTP errors and other broken states.

blockedV4 : String -> DefaultPage msg -> Html msg

Error page with details for engineers.

blocked : String -> Html msg

DEPRECATED: please use blockedV4.

For HTTP errors and other broken states, where link goes to "/".

notFound : DefaultPage msg -> Html msg

For the not found page.

noPermission : DefaultPage msg -> Html msg

For pages the user does not have access to.

loggedOut : DefaultPage msg -> Html msg

When the user has been logged out.

timeOut : DefaultPage msg -> Html msg

When a request takes too long to complete.

networkError : DefaultPage msg -> Html msg

When a request fails due to a connectivity failure.

= ReturnTo String
| Reload
| Custom String

ReturnTo just needs the name of the page the user will be returned to. Reload displays default text to reload the current page. Custom is to add flexibility to the button.