panda-0.0.0.3: Panda/Type/State.hs

module Panda.Type.State where

import Panda.Type.Pager
import Panda.Model.Tag

data State = State
  -- model state
  { uid     :: String       -- current view resource
  , pager   :: Pager        -- pager

  -- theme state
  , tags    :: [Tag]
  , nav_location :: NavLocation
  }
  
data NavLocation = Home | About | Other deriving (Eq, Show)