GHCup.Brick.Actions

Documentation

updateList :: BrickData -> BrickState -> BrickState

Update app data and list internal state based on new evidence. This synchronises BrickInternalState with BrickData and BrickSettings.

constructList :: BrickData -> BrickSettings -> Maybe BrickInternalState -> BrickInternalState

selectBy :: Tool -> (ListResult -> Bool) -> BrickInternalState -> BrickInternalState

Focus on the tool section and the predicate which matches. If no result matches, focus on index 0

selectLatest :: BrickInternalState -> BrickInternalState

Select the latests GHC tool

replaceLR :: (ListResult -> Bool) -> [ListResult] -> Maybe BrickInternalState -> BrickInternalState

Replace the appState or construct it based on a filter function and a new [ListResult] evidence. When passed an existing appState, tries to keep the selected element.

filterVisible :: Bool -> ListResult -> Bool

withIOAction :: (Ord n, Eq n) => ((Int, ListResult) -> ReaderT AppState IO (Either String a)) -> EventM n BrickState ()

Suspend the current UI and run an IO action in terminal. If the IO action returns a Left value, then it's thrown as userError.

installWithOptions :: (MonadReader AppState m, MonadIO m, MonadThrow m, MonadFail m, MonadMask m, MonadUnliftIO m, Alternative m) => InstallOptions -> (Int, ListResult) -> m (Either String ())

install' :: (MonadReader AppState m, MonadIO m, MonadThrow m, MonadFail m, MonadMask m, MonadUnliftIO m, Alternative m) => (Int, ListResult) -> m (Either String ())

set' :: (MonadReader AppState m, MonadIO m, MonadThrow m, MonadFail m, MonadMask m, MonadUnliftIO m, Alternative m) => (Int, ListResult) -> m (Either String ())

logGHCPostRm :: (MonadReader env m, HasLog env, MonadIO m) => GHCTargetVersion -> m ()

del' :: (MonadReader AppState m, MonadIO m, MonadFail m, MonadMask m, MonadUnliftIO m) => (Int, ListResult) -> m (Either String ())

changelog' :: (MonadReader AppState m, MonadIO m) => (Int, ListResult) -> m (Either String ())

compileGHC :: (MonadReader AppState m, MonadIO m, MonadThrow m, MonadFail m, MonadMask m, MonadUnliftIO m, Alternative m) => CompileGHCOptions -> (Int, ListResult) -> m (Either String ())

compileHLS :: (MonadReader AppState m, MonadIO m, MonadThrow m, MonadFail m, MonadMask m, MonadUnliftIO m, Alternative m) => CompileHLSOptions -> (Int, ListResult) -> m (Either String ())

settings' :: IORef AppState

getGHCupInfo :: IO (Either String GHCupInfo)

getAppData :: Maybe GHCupInfo -> IO (Either String BrickData)

keyHandlers :: KeyBindings -> [(KeyCombination, BrickSettings -> String, EventM Name BrickState ())]