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
$sel:sessionId:AutoRefreshDisabled :: AutoRefreshState -> UUID
sessionId } ->  [hsx|<meta property="ihp-auto-refresh-id" content={tshow sessionId}/>|]