Yi.Editor

bufferStack :: ![BufferRef]	Stack of all the buffers. Invariant: never empty Invariant: first buffer is the current one.
buffers :: !(Map BufferRef FBuffer)
refSupply :: !Int	Supply for buffer and window ids.
tabs_ :: !(PointedList (PointedList Window))	current tab contains the visible windows pointed list.
dynamic :: !DynamicValues	dynamic components
statusLines :: !Statuses
maxStatusHeight :: !Int
killring :: !Killring
currentRegex :: !(Maybe SearchExp)	currently highlighted regex (also most recent regex for use in vim bindings)
searchDirection :: !Direction
pendingEvents :: ![Event]	Processed events that didn't yield any action yet.
onCloseActions :: !(Map BufferRef (EditorM ()))	Actions to be run when the buffer is closed; should be scrapped.

Instances

Typeable Editor

Binary Editor

MonadState Editor EditorM

MonadState Editor YiM

newtype EditorM a

Source

Constructors

EditorM

fromEditorM :: RWS Config () Editor a

Instances

MonadReader Config EditorM

MonadState Editor EditorM

YiAction (EditorM x) x

class (Monad m, MonadState Editor m) => MonadEditor m where

Source

Methods

askCfg :: m Config

Source

withEditor :: EditorM a -> m a

Source

Instances

MonadEditor EditorM

MonadEditor YiM

liftEditor :: MonadEditor m => EditorM a -> m a

Source

emptyEditor :: Editor

Source

The initial state

runEditor :: Config -> EditorM a -> Editor -> (Editor, a)

Source

onCloseActionsA :: T Editor (Map BufferRef (EditorM ()))

Source

pendingEventsA :: T Editor ([] Event)

Source

searchDirectionA :: T Editor Direction

Source

currentRegexA :: T Editor (Maybe SearchExp)

Source

killringA :: T Editor Killring

Source

maxStatusHeightA :: T Editor Int

Source

statusLinesA :: T Editor Statuses

Source

dynamicA :: T Editor DynamicValues

Source

tabs_A :: T Editor (PointedList (PointedList Window))

Source

refSupplyA :: T Editor Int

Source

buffersA :: T Editor (Map BufferRef FBuffer)

Source

bufferStackA :: T Editor ([] BufferRef)

Source

windows :: Editor -> PointedList Window

Source

windowsA :: Accessor Editor (PointedList Window)

Source

tabsA :: Accessor Editor (PointedList (PointedList Window))

Source

dynA :: Initializable a => Accessor Editor a

Source

newRef :: EditorM Int

Source

newBufRef :: EditorM BufferRef

Source

stringToNewBuffer

Source

:: BufferId	The buffer indentifier
-> Rope	The contents with which to populate the buffer
-> EditorM BufferRef
Create and fill a new buffer, using contents of string. \| Does not focus the window, or make it the current window. \| Call newWindowE or switchToBufferE to take care of that.

insertBuffer :: FBuffer -> EditorM ()

Source

forceFold1 :: Foldable t => t a -> t a

Source

forceFold2 :: (Foldable t1, Foldable t2) => t1 (t2 a) -> t1 (t2 a)

Source

deleteBuffer :: BufferRef -> EditorM ()

Source

Delete a buffer (and release resources associated with it).

bufferSet :: Editor -> [FBuffer]

Source

Return the buffers we have, in no particular order

commonNamePrefix :: Editor -> [String]

Source

Return a prefix that can be removed from all buffer paths while keeping them unique.

getBufferStack :: EditorM [FBuffer]

Source

findBuffer :: BufferRef -> EditorM (Maybe FBuffer)

Source

findBufferWith :: BufferRef -> Editor -> FBuffer

Source

Find buffer with this key

findBufferWithName :: String -> Editor -> [BufferRef]

Source

Find buffer with this name

getBufferWithName :: String -> EditorM BufferRef

Source

Find buffer with given name. Fail if not found.

openAllBuffersE :: EditorM ()

Source

Make all buffers visible by splitting the current window list. FIXME: rename to displayAllBuffersE; make sure buffers are not open twice.

shiftBuffer :: Int -> EditorM ()

Source

Rotate the buffer stack by the given amount.

withGivenBuffer0 :: BufferRef -> BufferM a -> EditorM a

Source

Perform action with any given buffer, using the last window that was used for that buffer.

withGivenBufferAndWindow0 :: Window -> BufferRef -> BufferM a -> EditorM a

Source

Perform action with any given buffer

withBuffer0 :: BufferM a -> EditorM a

Source

Perform action with current window's buffer

currentWindowA :: Accessor Editor Window

Source

currentBuffer :: Editor -> BufferRef

Source

Return the current buffer

printMsg :: String -> EditorM ()

Source

Display a transient message

printMsgs :: [String] -> EditorM ()

Source

printStatus :: Status -> EditorM ()

Source

setStatus :: Status -> EditorM ()

Source

Set the background status line

clrStatus :: EditorM ()

Source

Clear the status line

statusLine :: Editor -> [String]

Source

statusLineInfo :: Editor -> Status

Source

setTmpStatus :: Int -> Status -> EditorM ()

Source

setRegE :: String -> EditorM ()

Source

Put string into yank register

getRegE :: EditorM String

Source

Return the contents of the yank register

getDynamic :: Initializable a => EditorM a

Source

Dynamically-extensible state components.

These hooks are used by keymaps to store values that result from Actions (i.e. that restult from IO), as opposed to the pure values they generate themselves, and can be stored internally.

The dynamic field is a type-indexed map.

Retrieve a value from the extensible state

setDynamic :: Initializable a => a -> EditorM ()

Source

Insert a value into the extensible state, keyed by its type

nextBufW :: EditorM ()

Source

Attach the next buffer in the buffer stack to the current window.

prevBufW :: EditorM ()

Source

Attach the previous buffer in the stack list to the current window.

newBufferE

Source

:: BufferId	buffer name
-> Rope	buffer contents
-> EditorM BufferRef
Like fnewE, create a new buffer filled with the String `s`, Switch the current window to this buffer. Doesn't associate any file with the buffer (unlike fnewE) and so is good for popup internal buffers (like scratch)

newTempBufferE :: EditorM BufferRef

Source

Creates an in-memory buffer with a unique name.

A hint for the buffer naming scheme can be specified in the dynamic variable TempBufferNameHint The new buffer always has a buffer ID that did not exist before newTempBufferE. TODO: this probably a lot more complicated than it should be: why not count from zero every time?

data TempBufferNameHint

Source

Specifies the hint for the next temp buffer's name.

Constructors

TempBufferNameHint

tmp_name_base :: String
tmp_name_index :: Int

Instances

Show TempBufferNameHint

Typeable TempBufferNameHint

Initializable TempBufferNameHint

alternateBufferE :: Int -> EditorM ()

Source

newWindowE :: Bool -> BufferRef -> EditorM Window

Source

Create a new window onto the given buffer.

switchToBufferE :: BufferRef -> EditorM ()

Source

Attach the specified buffer to the current window

switchToBufferOtherWindowE :: BufferRef -> EditorM ()

Source

Attach the specified buffer to some other window than the current one

switchToBufferWithNameE :: String -> EditorM ()

Source

Switch to the buffer specified as parameter. If the buffer name is empty, switch to the next buffer.

closeBufferE :: String -> EditorM ()

Source

Close a buffer. Note: close the current buffer if the empty string is given

getBufferWithNameOrCurrent :: String -> EditorM BufferRef

Source

closeBufferAndWindowE :: EditorM ()

Source

Close current buffer and window, unless it's the last one.

nextWinE :: EditorM ()

Source

Rotate focus to the next window

prevWinE :: EditorM ()

Source

Rotate focus to the previous window

fixCurrentBufferA_ :: Accessor Editor Editor

Source

A fake accessor that fixes the current buffer after a change of the current window. Enforces invariant that top of buffer stack is the buffer of the current window.

fixCurrentWindow :: EditorM ()

Source

Counterpart of fixCurrentBufferA_: fix the current window to point to the right buffer.

withWindowE :: Window -> BufferM a -> EditorM a

Source

findWindowWith :: WindowRef -> Editor -> Window

Source

windowsOnBufferE :: BufferRef -> EditorM [Window]

Source

Return the windows that are currently open on the buffer whose key is given

focusWindowE :: WindowRef -> EditorM ()

Source

bring the editor focus the window with the given key.

Fails if no window with the given key is found.

splitE :: EditorM ()

Source

Split the current window, opening a second window onto current buffer. TODO: unfold newWindowE here?

enlargeWinE :: EditorM ()

Source

Enlarge the current window

shrinkWinE :: EditorM ()

Source

Shrink the current window

newTabE :: EditorM ()

Source

Creates a new tab containing a window that views the current buffer.

nextTabE :: EditorM ()

Source

Moves to the next tab in the round robin set of tabs

previousTabE :: EditorM ()

Source

Moves to the previous tab in the round robin set of tabs

moveTab :: Maybe Int -> EditorM ()

Source

Moves the focused tab to the given index, or to the end if the index is not specified.

deleteTabE :: EditorM ()

Source

Deletes the current tab. If there is only one tab open then error out. When the last tab is focused, move focus to the left, otherwise move focus to the right.

tryCloseE :: EditorM ()

Source

Close the current window. If there is only one tab open and the tab contains only one window then do nothing.

closeOtherE :: EditorM ()

Source

Make the current window the only window on the screen

shiftOtherWindow :: MonadEditor m => m ()

Source

Switch focus to some other window. If none is available, create one.

withOtherWindow :: MonadEditor m => m a -> m a

Source

Execute the argument in the context of an other window. Create one if necessary. The current window is re-focused after the argument has completed.

acceptedInputs :: EditorM [String]

Source

onCloseBufferE :: BufferRef -> EditorM () -> EditorM ()

Source

Defines an action to be executed when the current buffer is closed.

Used by the minibuffer to assure the focus is restored to the buffer that spawned the minibuffer.

todo: These actions are not restored on reload.

todo: These actions should probably be very careful at what they do. TODO: All in all, this is a very ugly way to achieve the purpose. The nice way to proceed is to somehow attach the miniwindow to the window that has spawned it.

Produced by Haddock version 2.6.1