Safe Haskell | None |
---|
Synopsis
- data SomeView where
- data EmptyView = EmptyView
- newtype HtmlView = HtmlView Html
- renderStatus :: (HasField "lastError" r (Maybe value), HasField "status" r JobStatus, ApplyAttribute value, IsString value) => r -> Html
- renderBaseJobTable :: Text -> [BaseJob] -> Html
- renderBaseJobTablePaginated :: Text -> [BaseJob] -> Pagination -> Html
- renderBaseJobTableRow :: BaseJob -> Html
- renderNewBaseJobLink :: Text -> Html
- renderNewBaseJobForm :: Text -> Html
- renderBaseJobDetailView :: BaseJob -> Html
- makeDashboardSectionFromTableViewable :: (TableViewable a, ?context :: ControllerContext, ?modelContext :: ModelContext) => IO SomeView
- renderTableViewableTable :: TableViewable a => [a] -> Html
- makeListPageFromTableViewable :: (TableViewable a, ?context :: ControllerContext, ?modelContext :: ModelContext) => Int -> Int -> IO SomeView
- renderTableViewableTablePaginated :: TableViewable a => [a] -> Int -> Int -> Html
- retryButtonStyle :: Text
Documentation
Provides a type-erased view. This allows us to specify a view as a return type without needed to know exactly what type the view will be, which in turn allows for custom implmentations of almost all the view functions in this module. Go GADTs!
Instances
A view containing no data. Used occasionally as a default implementation for some functions.
A view constructed from some HTML.
renderStatus :: (HasField "lastError" r (Maybe value), HasField "status" r JobStatus, ApplyAttribute value, IsString value) => r -> Html Source #
renderBaseJobTablePaginated :: Text -> [BaseJob] -> Pagination -> Html Source #
renderBaseJobTableRow :: BaseJob -> Html Source #
renderNewBaseJobLink :: Text -> Html Source #
Link included in table to create a new job.
renderNewBaseJobForm :: Text -> Html Source #
makeDashboardSectionFromTableViewable :: (TableViewable a, ?context :: ControllerContext, ?modelContext :: ModelContext) => IO SomeView Source #
renderTableViewableTable :: TableViewable a => [a] -> Html Source #
makeListPageFromTableViewable :: (TableViewable a, ?context :: ControllerContext, ?modelContext :: ModelContext) => Int -> Int -> IO SomeView Source #
renderTableViewableTablePaginated :: TableViewable a => [a] -> Int -> Int -> Html Source #