IDE.Core.State

The core state of ide. This module is imported from every other module, | and all data structures of the state are declared here, to avoid circular | module dependencies.

Documentation

window :: FrameState delta -> Window

errorRefs :: IDE -> [LogRef]

breakpointRefs :: IDE -> [LogRef]

contextRefs :: IDE -> [LogRef]

currentError :: IDE -> Maybe LogRef

currentBreak :: IDE -> Maybe LogRef

currentContext :: IDE -> Maybe LogRef

setCurrentError :: Maybe LogRef -> ReaderT IDERef IO ()

setCurrentBreak :: Maybe LogRef -> ReaderT IDERef IO ()

setCurrentContext :: Maybe LogRef -> IDEM ()

isInterpreting :: IDEM Bool

isStartingOrClosing :: IDEState -> Bool

triggerEventIDE :: IDEEvent -> IDEM IDEEvent

deactivatePane :: IDEAction

Convenience methods for accesing the IDE State

readIDE :: (IDE -> beta) -> IDEM beta

Read an attribute of the contents

modifyIDE :: (IDE -> (IDE, beta)) -> IDEM beta

Variation on modifyIDE_ that lets you return a value

modifyIDE_ :: (IDE -> IDE) -> IDEM ()

Modify the contents, without returning a value

withIDE :: (IDE -> IO alpha) -> IDEM alpha

getIDE :: IDEM IDE

throwIDE :: String -> a

reifyIDE :: (IDERef -> IO a) -> IDEM a

A reader monad for a mutable reference to the IDE state

reflectIDE :: IDEM a -> IDERef -> IO a

reflectIDEI :: Iteratee a IDEM b -> IDERef -> Iteratee a IO b

catchIDE :: Exception e => IDEM a -> (e -> IO a) -> IDEM a

postSyncIDE :: IDEM a -> IDEM a

postAsyncIDE :: IDEM () -> IDEM ()

forkIDE :: IDEAction -> IDEAction

sysMessage :: MonadIO m => MessageLevel -> String -> m ()

data MessageLevel

Constructors

Silent

Normal

High

Instances

Eq MessageLevel

Ord MessageLevel

Show MessageLevel

ideMessage :: MessageLevel -> String -> IDEAction

logMessage :: String -> LogTag -> IDEAction

withoutRecordingDo :: IDEAction -> IDEAction

activeProjectDir :: IDEM FilePath

changePackage :: IDEPackage -> IDEAction

liftYiControl :: ControlM a -> IDEM a

liftYi :: YiM a -> IDEM a

module IDE.Core.Types

module IDE.Core.CTypes

module IDE.Utils.Utils

module Graphics.UI.Frame.Panes

module Graphics.UI.Frame.ViewFrame