Rasa.Internal.ActionMonads

Documentation

newtype Action a

This is a monad for performing actions against the editor. You can register Actions to be run in response to events using onEveryTrigger

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 or buffersDo
• Add/Edit/Focus buffers and a few other Editor-level things, see the Rasa.Internal.Actions module.

Constructors

Action

Fields

• getAction :: Free ActionF 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

HasExtMonad Action

Methods

getExt :: (Typeable * ext, Show ext, Default ext) => Action ext

setExt :: (Typeable * ext, Show ext, Default ext) => ext -> Action ()

overExt :: (Typeable * ext, Show ext, Default ext) => (ext -> ext) -> Action ()

newtype BufAction a

This is a monad for performing actions on a specific buffer. You run BufActions by embedding them in a Action via bufferDo or buffersDo

Within a BufAction you can:

• Use liftAction to run an Action
• Use liftIO for IO
• Access/Edit the buffer's text; some commands are available in Rasa.Internal.Actions.
• Access/edit buffer extensions; see bufExt
• Embed and sequence BufActions from other extensions

Constructors

BufAction

Fields

• getBufAction :: Free BufActionF 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

HasExtMonad BufAction

Methods

getExt :: (Typeable * ext, Show ext, Default ext) => BufAction ext

setExt :: (Typeable * ext, Show ext, Default ext) => ext -> BufAction ()

overExt :: (Typeable * ext, Show ext, Default ext) => (ext -> ext) -> BufAction ()

data ActionF next where

Free Monad Actions for Action

Constructors

LiftIO :: IO next -> ActionF next

BufferDo :: [BufRef] -> BufAction r -> ([r] -> next) -> ActionF next

DispatchActionAsync :: IO (Action ()) -> next -> ActionF next

AsyncActionProvider :: ((Action () -> IO ()) -> IO ()) -> next -> ActionF next

AddBuffer :: YiString -> (BufRef -> next) -> ActionF next

GetBufRefs :: ([BufRef] -> next) -> ActionF next

GetExt :: (Typeable ext, Show ext, Default ext) => (ext -> next) -> ActionF next

SetExt :: (Typeable ext, Show ext, Default ext) => ext -> next -> ActionF next

GetEditor :: (Editor -> next) -> ActionF next

GetBuffer :: BufRef -> (Maybe Buffer -> next) -> ActionF next

Exit :: next -> ActionF next

ShouldExit :: (Bool -> next) -> ActionF next

Instances

Functor ActionF

Methods

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

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

data BufActionF next where

Free Monad Actions for BufAction

Constructors

GetText :: (YiString -> next) -> BufActionF next

SetText :: YiString -> next -> BufActionF next

GetBufRef :: (BufRef -> next) -> BufActionF next

GetBufExt :: (Typeable ext, Show ext, Default ext) => (ext -> next) -> BufActionF next

SetBufExt :: (Typeable ext, Show ext, Default ext) => ext -> next -> BufActionF next

SetRange :: CrdRange -> YiString -> next -> BufActionF next

LiftAction :: Action r -> (r -> next) -> BufActionF next

BufLiftIO :: IO next -> BufActionF next

Instances

Functor BufActionF

Methods

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

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

liftActionF :: ActionF a -> Action a

Embeds a ActionF type into the Action Monad

liftBufAction :: BufActionF a -> BufAction a

Embeds a BufActionF type into the BufAction Monad