blob: 1f2b3d30a11dc0388798b2d595236d23a178235f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
module State where
import Blessings.String (Blessings)
import Data.Time
import qualified Data.Tree.Zipper as Z
import System.Posix.Signals
import TreeView (TreeView)
data State = State
{ cursor :: Z.TreePos Z.Full TreeView
, xoffset :: Int
, yoffset :: Int
, flashMessage :: Blessings String
, screenWidth :: Int
, screenHeight :: Int
, headBuffer :: [Blessings String]
, treeBuffer :: [Blessings String]
, now :: UTCTime
, signalHandlers :: [(Signal, IO ())]
}
|