Safe Haskell | None |
---|---|
Language | Haskell2010 |
- rotate :: Window -> Window
- splitRule :: Lens' Split SplitRule
- active :: Lens' View Bool
- viewable :: Lens' View Viewable
- scrollPos :: Lens' View Int
- closeBy :: (View -> Bool) -> Window -> Maybe Window
- focusViewLeft :: Window -> Window
- focusViewRight :: Window -> Window
- focusViewAbove :: Window -> Window
- focusViewBelow :: Window -> Window
- getViews :: Action (Maybe Window)
- setViews :: Maybe Window -> Action ()
- overWindows :: (Window -> Window) -> Action ()
- hSplit :: Window -> Window
- vSplit :: Window -> Window
- addSplit :: Dir -> Viewable -> Window -> Window
- scrollBy :: Int -> Window -> Window
- data Dir
- data SplitRule
- type Window = BiTree Split View
- data Split = Split {
- _dir :: Dir
- _splitRule :: SplitRule
- data View = View {}
- data Viewable
- _BufViewRef :: Prism' Viewable BufRef
- traverseViews :: (View -> Action View) -> Action ()
Documentation
closeBy :: (View -> Bool) -> Window -> Maybe Window Source #
Close any views which match a given predicate
focusViewLeft :: Window -> Window Source #
Move focus from any viewports one viewport to the left
focusViewRight :: Window -> Window Source #
Move focus from any viewports one viewport to the right
focusViewAbove :: Window -> Window Source #
Move focus from any viewports one viewport above
focusViewBelow :: Window -> Window Source #
Move focus from any viewports one viewport below
addSplit :: Dir -> Viewable -> Window -> Window Source #
Add a new split at the top level in the given direction containing the given buffer.
A SplitRule
determines size of each half of the split.
Ratio Double
sets the split to the given ratio; the double must be between 0 and 1; for example a value of0.25
sets the first portion of the split to 1/4 of the available space; the other portion takes the remaining 3/4 of the spaceFromStart Int
makes the first half of the split (top/left respectively) the set number of rows or columns respectively, the other half of the split gets the rest.FromEnd Int
makes the first half of the split (top/left respectively) the set number of rows or columns respectively, the other half of the split gets the rest.
A Split contains info about a the direction and allocation of a split branch.
Split | |
|
A View
contains info about a viewport; Whether it's selected and which buffer should be displayed.
HasWidgets View Source # | This represents types which can provide a set of widgets |
Represents a renderable entity