Rasa.Internal.Action

Documentation

newtype Action a

This is a monad-transformer stack for performing actions against the editor. You register Actions to be run in response to events using eventListener

Within an Action you can:

• Use liftIO for IO
• Access/edit extensions that are stored globally, see ext
• Embed any Actions exported other extensions
• Embed buffer actions using bufDo and focusDo
• Add/Edit/Focus buffers and a few other Editor-level things, see the Directive module.

Constructors

Action

Fields

• runAct :: StateT Editor (ReaderT Hooks IO) a

Instances

Monad Action

Methods

(>>=) :: Action a -> (a -> Action b) -> Action b

(>>) :: Action a -> Action b -> Action b

return :: a -> Action a

fail :: String -> Action a

Functor Action

Methods

fmap :: (a -> b) -> Action a -> Action b

(<$) :: a -> Action b -> Action a

Applicative Action

Methods

pure :: a -> Action a

(<*>) :: Action (a -> b) -> Action a -> Action b

(*>) :: Action a -> Action b -> Action b

(<*) :: Action a -> Action b -> Action a

MonadIO Action

Methods

liftIO :: IO a -> Action a

MonadState Editor Action

Methods

get :: Action Editor

put :: Editor -> Action ()

state :: (Editor -> (a, Editor)) -> Action a

MonadReader Hooks Action

Methods

ask :: Action Hooks

local :: (Hooks -> Hooks) -> Action a -> Action a

reader :: (Hooks -> a) -> Action a

execAction :: Editor -> Hooks -> Action () -> IO Editor

Unwrap and execute an Action (returning the editor state)

evalAction :: Editor -> Hooks -> Action a -> IO a

Unwrap and evaluate an Action (returning the value)

newtype BufAction a

This is a monad-transformer stack for performing actions on a specific buffer. You register BufActions to be run by embedding them in a scheduled Action via bufferDo or focusDo

Within a BufAction you can:

• Use liftIO for IO
• Access/edit buffer extensions; see bufExt
• Embed and sequence any BufActions from other extensions
• Access/Edit the buffer's text

Constructors

BufAction

Fields

• getBufAction :: StateT Buffer (ReaderT Hooks IO) a

Instances

Monad BufAction

Methods

(>>=) :: BufAction a -> (a -> BufAction b) -> BufAction b

(>>) :: BufAction a -> BufAction b -> BufAction b

return :: a -> BufAction a

fail :: String -> BufAction a

Functor BufAction

Methods

fmap :: (a -> b) -> BufAction a -> BufAction b

(<$) :: a -> BufAction b -> BufAction a

Applicative BufAction

Methods

pure :: a -> BufAction a

(<*>) :: BufAction (a -> b) -> BufAction a -> BufAction b

(*>) :: BufAction a -> BufAction b -> BufAction b

(<*) :: BufAction a -> BufAction b -> BufAction a

MonadIO BufAction

Methods

liftIO :: IO a -> BufAction a

MonadState Buffer BufAction

Methods

get :: BufAction Buffer

put :: Buffer -> BufAction ()

state :: (Buffer -> (a, Buffer)) -> BufAction a

MonadReader Hooks BufAction

Methods

ask :: BufAction Hooks

local :: (Hooks -> Hooks) -> BufAction a -> BufAction a

reader :: (Hooks -> a) -> BufAction a

data Hook

A wrapper around event listeners so they can be stored in Hooks.

Constructors

Hook a

Instances

MonadState Hooks Scheduler

Methods

get :: Scheduler Hooks

put :: Hooks -> Scheduler ()

state :: (Hooks -> (a, Hooks)) -> Scheduler a

MonadReader Hooks BufAction

Methods

ask :: BufAction Hooks

local :: (Hooks -> Hooks) -> BufAction a -> BufAction a

reader :: (Hooks -> a) -> BufAction a

MonadReader Hooks Action

Methods

ask :: Action Hooks

local :: (Hooks -> Hooks) -> Action a -> Action a

reader :: (Hooks -> a) -> Action a

type Hooks = Map TypeRep [Hook]

A map of Event types to a list of listeners for that event