Safe Haskell | Safe-Infered |
---|
The basic definitions for all panes
- class MonadIO delta => PaneMonad delta where
- setFrameState :: FrameState delta -> delta ()
- getFrameState :: delta (FrameState delta)
- runInIO :: forall alpha beta. (beta -> delta alpha) -> delta (beta -> IO alpha)
- panePathForGroup :: String -> delta PanePath
- getThisPane :: forall alpha beta. RecoverablePane alpha beta delta => delta (Maybe alpha)
- displayThisPane :: forall alpha beta. RecoverablePane alpha beta delta => alpha -> Bool -> delta ()
- getOrBuildThisPane :: forall alpha beta. RecoverablePane alpha beta delta => Either PanePath String -> delta (Maybe alpha)
- buildThisPane :: forall alpha beta. RecoverablePane alpha beta delta => PanePath -> Notebook -> (PanePath -> Notebook -> Window -> delta (Maybe alpha, Connections)) -> delta (Maybe alpha)
- activateThisPane :: forall alpha beta. RecoverablePane alpha beta delta => alpha -> Connections -> delta ()
- closeThisPane :: forall alpha beta. RecoverablePane alpha beta delta => alpha -> delta Bool
- data IDEPane delta = forall alpha beta . RecoverablePane alpha beta delta => PaneC alpha
- class (Typeable alpha, PaneMonad delta) => Pane alpha delta | alpha -> delta where
- getTopWidget :: alpha -> Widget
- paneId :: alpha -> String
- primPaneName :: alpha -> String
- paneName :: alpha -> PaneName
- getAddedIndex :: alpha -> Int
- class (Pane alpha delta, Typeable beta, Show beta, Read beta) => RecoverablePane alpha beta delta | beta -> alpha, alpha -> beta where
- saveState :: alpha -> delta (Maybe beta)
- recoverState :: PanePath -> beta -> delta (Maybe alpha)
- builder :: PanePath -> Notebook -> Window -> delta (Maybe alpha, Connections)
- makeActive :: alpha -> delta ()
- closePane :: alpha -> delta Bool
- getPane :: delta (Maybe alpha)
- forceGetPane :: Either PanePath String -> delta alpha
- getOrBuildPane :: Either PanePath String -> delta (Maybe alpha)
- displayPane :: alpha -> Bool -> delta ()
- getAndDisplayPane :: Either PanePath String -> Bool -> delta (Maybe alpha)
- buildPane :: PanePath -> Notebook -> (PanePath -> Notebook -> Window -> delta (Maybe alpha, Connections)) -> delta (Maybe alpha)
- data PaneDirection
- data PanePathElement
- type PanePath = [PanePathElement]
- data PaneLayout
- = HorizontalP PaneLayout PaneLayout Int
- | VerticalP PaneLayout PaneLayout Int
- | TerminalP {
- paneGroups :: Map String PaneLayout
- paneTabs :: Maybe PaneDirection
- currentPage :: Int
- detachedId :: Maybe String
- detachedSize :: Maybe (Int, Int)
- type PaneName = String
- data Connection = forall alpha . GObjectClass alpha => ConnectC (ConnectId alpha)
- type Connections = [Connection]
- type StandardPath = PanePath
- data FrameState delta = FrameState {
- windows :: [Window]
- uiManager :: UIManager
- panes :: Map PaneName (IDEPane delta)
- paneMap :: Map PaneName (PanePath, Connections)
- activePane :: Maybe (PaneName, Connections)
- panePathFromNB :: !(Map Notebook PanePath)
- layout :: PaneLayout
- signalDisconnectAll :: Connections -> IO ()
Panes and pane layout
class MonadIO delta => PaneMonad delta whereSource
setFrameState :: FrameState delta -> delta ()Source
getFrameState :: delta (FrameState delta)Source
runInIO :: forall alpha beta. (beta -> delta alpha) -> delta (beta -> IO alpha)Source
panePathForGroup :: String -> delta PanePathSource
getThisPane :: forall alpha beta. RecoverablePane alpha beta delta => delta (Maybe alpha)Source
displayThisPane :: forall alpha beta. RecoverablePane alpha beta delta => alpha -> Bool -> delta ()Source
getOrBuildThisPane :: forall alpha beta. RecoverablePane alpha beta delta => Either PanePath String -> delta (Maybe alpha)Source
buildThisPane :: forall alpha beta. RecoverablePane alpha beta delta => PanePath -> Notebook -> (PanePath -> Notebook -> Window -> delta (Maybe alpha, Connections)) -> delta (Maybe alpha)Source
activateThisPane :: forall alpha beta. RecoverablePane alpha beta delta => alpha -> Connections -> delta ()Source
closeThisPane :: forall alpha beta. RecoverablePane alpha beta delta => alpha -> delta BoolSource
forall alpha beta . RecoverablePane alpha beta delta => PaneC alpha |
class (Typeable alpha, PaneMonad delta) => Pane alpha delta | alpha -> delta whereSource
All kinds of panes are instances of pane
getTopWidget :: alpha -> WidgetSource
gets the top Widget of this pane
paneId :: alpha -> StringSource
primPaneName :: alpha -> StringSource
paneName :: alpha -> PaneNameSource
getAddedIndex :: alpha -> IntSource
class (Pane alpha delta, Typeable beta, Show beta, Read beta) => RecoverablePane alpha beta delta | beta -> alpha, alpha -> beta whereSource
saveState :: alpha -> delta (Maybe beta)Source
recoverState :: PanePath -> beta -> delta (Maybe alpha)Source
builder :: PanePath -> Notebook -> Window -> delta (Maybe alpha, Connections)Source
makeActive :: alpha -> delta ()Source
closePane :: alpha -> delta BoolSource
getPane :: delta (Maybe alpha)Source
forceGetPane :: Either PanePath String -> delta alphaSource
getOrBuildPane :: Either PanePath String -> delta (Maybe alpha)Source
displayPane :: alpha -> Bool -> delta ()Source
getAndDisplayPane :: Either PanePath String -> Bool -> delta (Maybe alpha)Source
buildPane :: PanePath -> Notebook -> (PanePath -> Notebook -> Window -> delta (Maybe alpha, Connections)) -> delta (Maybe alpha)Source
data PaneDirection Source
The relative direction to a pane from the parent
data PanePathElement Source
An element of a path to a pane
type PanePath = [PanePathElement]Source
A path to a pane
data PaneLayout Source
Description of a window layout Horizontal: top bottom Vertical: left right
data Connection Source
Signal handlers for the different pane types
forall alpha . GObjectClass alpha => ConnectC (ConnectId alpha) |
type Connections = [Connection]Source
type StandardPath = PanePathSource
data FrameState delta Source
FrameState | |
|
Show (FrameState delta) |