{-# LANGUAGE NoImplicitPrelude #-} module Panda.View.Control.Search where import Panda.Helper.Env import qualified Panda.Type.State as State import qualified Panda.Config.Global as G -- view import Panda.View.Control.Helper import Panda.View.Widget.Template view state s = for_current_page p >>> map render_data >>> (+++ nav p ( (G.root / "search") ++ "?s=" ++ s ++ "&")) >>> page state where p = state.State.pager