packages feed

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 [] "" ""