Ribosome.Control.Monad.Ribo

Documentation

type RNeovim s = Neovim (Ribosome s)

newtype Ribo s e a

Constructors

Ribo

Fields

• unRibo :: ExceptT e (RNeovim s) a

Instances

DeepLenses s s' => MonadDeepState s s' (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

get :: Ribo s e s'

put :: s' -> Ribo s e ()

stateM :: (s' -> Ribo s e (a, s')) -> Ribo s e a

state :: (s' -> (a, s')) -> Ribo s e a

modifyM' :: (s' -> Ribo s e s') -> Ribo s e s'

modify :: (s' -> s') -> Ribo s e ()

RpcHandler e (Ribosome s) (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

native :: Ribo s e a -> ExceptT e (Neovim (Ribosome s)) a

MonadError e (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

throwError :: e -> Ribo s e a

catchError :: Ribo s e a -> (e -> Ribo s e a) -> Ribo s e a

MonadBase IO (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

liftBase :: IO α -> Ribo s e α

MonadBaseControl IO (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Associated Types

type StM (Ribo s e) a

Methods

liftBaseWith :: (RunInBase (Ribo s e) IO -> IO a) -> Ribo s e a

restoreM :: StM (Ribo s e) a -> Ribo s e a

DeepPrisms e RpcError => NvimE e (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

MonadReader (Ribosome s) (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

ask :: Ribo s e (Ribosome s)

local :: (Ribosome s -> Ribosome s) -> Ribo s e a -> Ribo s e a

reader :: (Ribosome s -> a) -> Ribo s e a

Monad (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

(>>=) :: Ribo s e a -> (a -> Ribo s e b) -> Ribo s e b

(>>) :: Ribo s e a -> Ribo s e b -> Ribo s e b

return :: a -> Ribo s e a

Functor (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

fmap :: (a -> b) -> Ribo s e a -> Ribo s e b

(<$) :: a -> Ribo s e b -> Ribo s e a

MonadFail (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

fail :: String -> Ribo s e a

Applicative (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

pure :: a -> Ribo s e a

(<*>) :: Ribo s e (a -> b) -> Ribo s e a -> Ribo s e b

liftA2 :: (a -> b -> c) -> Ribo s e a -> Ribo s e b -> Ribo s e c

(*>) :: Ribo s e a -> Ribo s e b -> Ribo s e b

(<*) :: Ribo s e a -> Ribo s e b -> Ribo s e a

MonadIO (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

liftIO :: IO a -> Ribo s e a

MonadResource (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

liftResourceT :: ResourceT IO a -> Ribo s e a

MonadThrow (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

throwM :: Exception e0 => e0 -> Ribo s e a

MonadCatch (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

catch :: Exception e0 => Ribo s e a -> (e0 -> Ribo s e a) -> Ribo s e a

MonadMask (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

mask :: ((forall a. Ribo s e a -> Ribo s e a) -> Ribo s e b) -> Ribo s e b

uninterruptibleMask :: ((forall a. Ribo s e a -> Ribo s e a) -> Ribo s e b) -> Ribo s e b

generalBracket :: Ribo s e a -> (a -> ExitCase b -> Ribo s e c) -> (a -> Ribo s e b) -> Ribo s e (b, c)

MonadRibo (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

pluginName :: Ribo s e Text

pluginInternal :: Ribo s e RibosomeInternal

pluginInternalModify :: (RibosomeInternal -> RibosomeInternal) -> Ribo s e ()

Nvim (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

call :: Rpc c a => c -> Ribo s e (Either RpcError a)

DeepPrisms e TmuxError => RunTmux (Ribo s e)

Defined in Ribosome.Tmux.Run

Methods

runRiboTmux :: TmuxProg (Ribo s e) b -> Ribo s e b

type StM (Ribo s e) a

Defined in Ribosome.Control.Monad.Ribo

type StM (Ribo s e) a = Either e a

modifyTMVar :: MonadIO m => (a -> a) -> TMVar a -> m a

safeModifyTMVarM :: MonadIO m => MonadBaseControl IO m => (a -> m a) -> TMVar a -> m a

riboStateVar :: MonadReader (Ribosome s) m => m (TMVar (RibosomeState s))

public :: DeepLenses s s' => Lens' (RibosomeState s) s'

class Monad m => Nvim m where

Methods

call :: Rpc c a => c -> m (Either RpcError a)

Instances

(MonadTrans t, Monad (t m), Nvim m) => Nvim (t m)

Defined in Ribosome.Control.Monad.Ribo

Methods

call :: Rpc c a => c -> t m (Either RpcError a)

Nvim (Neovim e)

Defined in Ribosome.Control.Monad.Ribo

Methods

call :: Rpc c a => c -> Neovim e (Either RpcError a)

Nvim (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

call :: Rpc c a => c -> Ribo s e (Either RpcError a)

class (Nvim m, MonadDeepError e RpcError m) => NvimE e m

Instances

(Functor f, MonadDeepError e RpcError m, Nvim m, Monad m) => NvimE e (FreeT f m)

Defined in Ribosome.Control.Monad.Ribo

(DeepPrisms e RpcError, Nvim m, Monad m) => NvimE e (ExceptT e m)

Defined in Ribosome.Control.Monad.Ribo

DeepPrisms e RpcError => NvimE e (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

acall :: (Monad m, Nvim m, Rpc c ()) => c -> m ()

readTv :: Lens' (RibosomeState s) s' -> TMVar (RibosomeState s) -> IO s'

runRibo :: Ribo s e a -> RNeovim s (Either e a)

runRiboE :: Ribo s e a -> ExceptT e (RNeovim s) a

class PluginName m where

Methods

pluginName1 :: m Text

Instances

PluginName IO

Defined in Ribosome.Control.Monad.Ribo

Methods

pluginName1 :: IO Text

PluginName (RNeovim s)

Defined in Ribosome.Control.Monad.Ribo

Methods

pluginName1 :: RNeovim s Text

class MonadIO m => MonadRibo m where

Methods

pluginName :: m Text

pluginInternal :: m RibosomeInternal

pluginInternalModify :: (RibosomeInternal -> RibosomeInternal) -> m ()

Instances

(MonadTrans t, MonadIO (t m), MonadRibo m) => MonadRibo (t m)

Defined in Ribosome.Control.Monad.Ribo

Methods

pluginName :: t m Text

pluginInternal :: t m RibosomeInternal

pluginInternalModify :: (RibosomeInternal -> RibosomeInternal) -> t m ()

MonadRibo (RNeovim s)

Defined in Ribosome.Control.Monad.Ribo

Methods

pluginName :: RNeovim s Text

pluginInternal :: RNeovim s RibosomeInternal

pluginInternalModify :: (RibosomeInternal -> RibosomeInternal) -> RNeovim s ()

MonadIO m => MonadRibo (StateT (StrictRibosome s) m)

Defined in Ribosome.Control.Monad.Ribo

Methods

pluginName :: StateT (StrictRibosome s) m Text

pluginInternal :: StateT (StrictRibosome s) m RibosomeInternal

pluginInternalModify :: (RibosomeInternal -> RibosomeInternal) -> StateT (StrictRibosome s) m ()

MonadRibo (Ribo s e)

Defined in Ribosome.Control.Monad.Ribo

Methods

pluginName :: Ribo s e Text

pluginInternal :: Ribo s e RibosomeInternal

pluginInternalModify :: (RibosomeInternal -> RibosomeInternal) -> Ribo s e ()

pluginInternals :: MonadRibo m => (RibosomeInternal -> a) -> m a

pluginInternalL :: MonadRibo m => Lens' RibosomeInternal a -> m a

pluginInternalPut' :: MonadRibo m => RibosomeInternal -> m ()

pluginInternalModifyL :: MonadRibo m => Lens' RibosomeInternal a -> (a -> a) -> m ()

getErrors :: MonadRibo m => m Errors

inspectErrors :: MonadRibo m => (Errors -> a) -> m a

modifyErrors :: MonadRibo m => (Errors -> Errors) -> m ()

prepend :: forall s' s m a. MonadDeepState s s' m => Lens' s' [a] -> a -> m ()

prependUnique :: forall s' s m a. Eq a => MonadDeepState s s' m => Lens' s' [a] -> a -> m ()

prependUniqueBy :: forall s' s m a b. Eq b => MonadDeepState s s' m => Lens' a b -> Lens' s' [a] -> a -> m ()

inspectHeadE :: forall s' s e e' m a. (MonadDeepState s s' m, MonadDeepError e e' m) => e' -> Lens' s' [a] -> m a

Orphan instances

MonadBase IO (Neovim e)

Methods

liftBase :: IO α -> Neovim e α

MonadBaseControl IO (Neovim e)

Associated Types

type StM (Neovim e) a

Methods

liftBaseWith :: (RunInBase (Neovim e) IO -> IO a) -> Neovim e a

restoreM :: StM (Neovim e) a -> Neovim e a