PostgRestAdmin mount path and url generation.
Build from String.
fromString "admin" == fromString "/admin"
fromString "" == fromString "/"Convert to a list of path segments.
segments (fromString "/my/mount/point") == [ "my", "mount", "point" ]Build a path prepended by the endpoint.
path (fromString "admin") "some/path" == "/admin/some/path"Html breadcrumbs for a path prepended by the endpoint.
myHeader : Html msg
myHeader =
Html.header
[]
[ Html.h1 [] [ Html.text "Some Path" ]
, breadcrumbs (fromString "admin") "some/path"
]
Represents a path where PostgRestAdmin is mounted. See Config.mountPath to mount it at any path other than
/.