Rasa.Internal.Action

Documentation

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 Action

Methods

ask :: Action Hooks

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

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

MonadReader Hooks BufAction

Methods

ask :: BufAction Hooks

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

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

type Hooks = Map TypeRep [Hook]

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

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 ActionState (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 ActionState Action

Methods

get :: Action ActionState

put :: ActionState -> Action ()

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

MonadReader Hooks Action

Methods

ask :: Action Hooks

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

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

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

Unwrap and execute an Action (returning the editor state)

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

Unwrap and evaluate an Action (returning the value)

type AsyncAction = Async (Action ())

data ActionState

Constructors

ActionState

Fields

• _ed :: Editor
• _asyncs :: [AsyncAction]

Instances

Show ActionState

Methods

showsPrec :: Int -> ActionState -> ShowS

show :: ActionState -> String

showList :: [ActionState] -> ShowS

Default ActionState

Methods

def :: ActionState

HasEditor ActionState

Methods

editor :: Lens' ActionState Editor

buffers :: Lens' ActionState (IntMap Buffer)

exiting :: Lens' ActionState Bool

extState :: Lens' ActionState ExtMap

nextBufId :: Lens' ActionState Int

HasActionState ActionState

Methods

actionState :: Lens' ActionState ActionState

asyncs :: Lens' ActionState [AsyncAction]

ed :: Lens' ActionState Editor

MonadState ActionState Action

Methods

get :: Action ActionState

put :: ActionState -> Action ()

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

class HasActionState c where

Minimal complete definition

actionState

Methods

actionState :: Lens' c ActionState

asyncs :: Lens' c [AsyncAction]

ed ::