Copyright	(c) Galois Inc. 2025
Maintainer	Langston Barrett <langston@galois.com>
Safe Haskell	Safe-Inferred
Language	Haskell2010

Lang.Crucible.Debug.Inputs

Description

Documentation

Instances details

MonadTrans Inputs Source #
Instance details Defined in Lang.Crucible.Debug.Inputs Methods lift :: Monad m => m a -> Inputs m a #
MonadFail m => MonadFail (Inputs m) Source #
Instance details Defined in Lang.Crucible.Debug.Inputs Methods fail :: String -> Inputs m a #
MonadIO m => MonadIO (Inputs m) Source #
Instance details Defined in Lang.Crucible.Debug.Inputs Methods liftIO :: IO a -> Inputs m a #
Applicative m => Applicative (Inputs m) Source #
Instance details Defined in Lang.Crucible.Debug.Inputs Methods pure :: a -> Inputs m a # (<>) :: Inputs m (a -> b) -> Inputs m a -> Inputs m b # liftA2 :: (a -> b -> c) -> Inputs m a -> Inputs m b -> Inputs m c # (>) :: Inputs m a -> Inputs m b -> Inputs m b # (<*) :: Inputs m a -> Inputs m b -> Inputs m a #
Functor m => Functor (Inputs m) Source #
Instance details Defined in Lang.Crucible.Debug.Inputs Methods fmap :: (a -> b) -> Inputs m a -> Inputs m b # (<$) :: a -> Inputs m b -> Inputs m a #
Monad m => Monad (Inputs m) Source #
Instance details Defined in Lang.Crucible.Debug.Inputs Methods (>>=) :: Inputs m a -> (a -> Inputs m b) -> Inputs m b # (>>) :: Inputs m a -> Inputs m b -> Inputs m b # return :: a -> Inputs m a #

defaultDebuggerInputs :: MonadIO m => CommandExt cExt -> IO (Inputs (CompletionT cExt (StyleT cExt m)) (Statement cExt)) Source #