Termonad.Types

Documentation

data TMTerm

Constructors

TMTerm

Fields

• term :: !Terminal
• pid :: !Int
• unique :: !Unique

Instances

Eq TMTerm

Defined in Termonad.Types

Methods

(==) :: TMTerm -> TMTerm -> Bool

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

Show TMTerm

Defined in Termonad.Types

Methods

showsPrec :: Int -> TMTerm -> ShowS

show :: TMTerm -> String

showList :: [TMTerm] -> ShowS

lensUnique :: Lens' TMTerm Unique

lensTerm :: Lens' TMTerm Terminal

lensPid :: Lens' TMTerm Int

data TMNotebookTab

Constructors

TMNotebookTab

Fields

• tmNotebookTabTermContainer :: !ScrolledWindow
• tmNotebookTabTerm :: !TMTerm
• tmNotebookTabLabel :: !Label

Instances

Eq TMNotebookTab

Defined in Termonad.Types

Methods

(==) :: TMNotebookTab -> TMNotebookTab -> Bool

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

Show TMNotebookTab

Defined in Termonad.Types

Methods

showsPrec :: Int -> TMNotebookTab -> ShowS

show :: TMNotebookTab -> String

showList :: [TMNotebookTab] -> ShowS

lensTMNotebookTabTermContainer :: Lens' TMNotebookTab ScrolledWindow

lensTMNotebookTabTerm :: Lens' TMNotebookTab TMTerm

lensTMNotebookTabLabel :: Lens' TMNotebookTab Label

data TMNotebook

Constructors

TMNotebook

Fields

• tmNotebook :: !Notebook
• tmNotebookTabs :: !(FocusList TMNotebookTab)

Instances

Show TMNotebook

Defined in Termonad.Types

Methods

showsPrec :: Int -> TMNotebook -> ShowS

show :: TMNotebook -> String

showList :: [TMNotebook] -> ShowS

lensTMNotebookTabs :: Lens' TMNotebook (FocusList TMNotebookTab)

lensTMNotebook :: Lens' TMNotebook Notebook

data UserRequestedExit

Constructors

UserRequestedExit

UserDidNotRequestExit

Instances

Eq UserRequestedExit

Defined in Termonad.Types

Methods

(==) :: UserRequestedExit -> UserRequestedExit -> Bool

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

Show UserRequestedExit

Defined in Termonad.Types

Methods

showsPrec :: Int -> UserRequestedExit -> ShowS

show :: UserRequestedExit -> String

showList :: [UserRequestedExit] -> ShowS

data TMState'

Constructors

TMState

Fields

• tmStateApp :: !Application
• tmStateAppWin :: !ApplicationWindow
• tmStateNotebook :: !TMNotebook
• tmStateFontDesc :: !FontDescription
• tmStateConfig :: !TMConfig
• tmStateUserReqExit :: !UserRequestedExit

  This signifies whether or not the user has requested that Termonad exit by either closing all terminals or clicking the exit button. If so, tmStateUserReqExit should have a value of UserRequestedExit. However, if the window manager requested Termonad to exit (probably through the user trying to close Termonad through their window manager), then this will be set to UserDidNotRequestExit.

Instances

Show TMState'

Defined in Termonad.Types

Methods

showsPrec :: Int -> TMState' -> ShowS

show :: TMState' -> String

showList :: [TMState'] -> ShowS

lensTMStateUserReqExit :: Lens' TMState' UserRequestedExit

lensTMStateNotebook :: Lens' TMState' TMNotebook

lensTMStateFontDesc :: Lens' TMState' FontDescription

lensTMStateConfig :: Lens' TMState' TMConfig

lensTMStateAppWin :: Lens' TMState' ApplicationWindow

lensTMStateApp :: Lens' TMState' Application

type TMState = MVar TMState'

createTMTerm :: Terminal -> Int -> Unique -> TMTerm

newTMTerm :: Terminal -> Int -> IO TMTerm

createTMNotebookTab :: Label -> ScrolledWindow -> TMTerm -> TMNotebookTab

createTMNotebook :: Notebook -> FocusList TMNotebookTab -> TMNotebook

createEmptyTMNotebook :: Notebook -> TMNotebook

newTMState :: TMConfig -> Application -> ApplicationWindow -> TMNotebook -> FontDescription -> IO TMState

newEmptyTMState :: TMConfig -> Application -> ApplicationWindow -> Notebook -> FontDescription -> IO TMState

newTMStateSingleTerm :: TMConfig -> Application -> ApplicationWindow -> Notebook -> Label -> ScrolledWindow -> Terminal -> Int -> FontDescription -> IO TMState

traceShowMTMState :: TMState -> IO ()

pTraceShowMTMState :: TMState -> IO ()

getFocusedTermFromState :: TMState -> IO (Maybe Terminal)

setUserRequestedExit :: TMState -> IO ()

getUserRequestedExit :: TMState -> IO UserRequestedExit