module IHP.AutoRefresh.View where import IHP.Prelude import IHP.AutoRefresh.Types import IHP.HSX.QQ (hsx) import qualified Text.Blaze.Html5 as Html5 import IHP.Controller.Context autoRefreshMeta :: (?context :: ControllerContext) => Html5.Html autoRefreshMeta :: (?context::ControllerContext) => Html autoRefreshMeta = case forall value. (?context::ControllerContext, Typeable value) => value fromFrozenContext @AutoRefreshState of AutoRefreshState AutoRefreshDisabled -> Html forall a. Monoid a => a mempty AutoRefreshEnabled { UUID sessionId :: UUID sessionId :: AutoRefreshState -> UUID sessionId } -> [hsx|<meta property="ihp-auto-refresh-id" content={tshow sessionId}/>|]