panda-2008.10.11: Panda/Type/State.hs
module Panda.Type.State where
import qualified Panda.Type.Pager as Pager
import Panda.Model.Tag
data State = State
-- model state
{ uid :: String -- current view resource
, pager :: Pager.Pager -- pager
-- theme state
, tags :: [Tag]
, nav_location :: String
, resource_title :: String
}
deriving (Show)
empty = State "" Pager.empty [] "" ""