Events.State.Types

Documentation

type Pointer = (Int, Int)

data State

Constructors

State

Fields

• _mode :: Mode
• _lists :: Lists
• _history :: [(Pointer, Lists)]
• _current :: Pointer
• _path :: FilePath
• _io :: Maybe Lists
• _height :: Int
• _searchTerm :: Maybe Field

Instances

Eq State

Defined in Events.State.Types

Methods

(==) :: State -> State -> Bool

(/=) :: State -> State -> Bool

Show State

Defined in Events.State.Types

Methods

showsPrec :: Int -> State -> ShowS

show :: State -> String

showList :: [State] -> ShowS

searchTerm :: Lens' State (Maybe Field)

path :: Lens' State FilePath

mode :: Lens' State Mode

lists :: Lens' State Lists

io :: Lens' State (Maybe Lists)

history :: Lens' State [(Pointer, Lists)]

height :: Lens' State Int

current :: Lens' State Pointer

type Stateful = State -> Maybe State