crucible-debug-0.1.0: An interactive debugger for Crucible programs
Copyright(c) Galois Inc. 2025
MaintainerLangston Barrett <langston@galois.com>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lang.Crucible.Debug.Outputs

Description

 

Documentation

data Outputs m a Source #

Instances

Instances details
Contravariant (Outputs m) Source # 
Instance details

Defined in Lang.Crucible.Debug.Outputs

Methods

contramap :: (a' -> a) -> Outputs m a -> Outputs m a' #

(>$) :: b -> Outputs m b -> Outputs m a #

send :: Outputs m a -> a -> m () Source #

lift :: (n () -> m ()) -> Outputs n a -> Outputs m a Source #

accumulate :: IORef [a] -> Outputs IO a Source #

hPutStrLn :: Handle -> Outputs IO Text Source #

pretty :: Pretty a => Handle -> LayoutOptions -> Outputs IO a Source #

defaultDebuggerOutputs :: Pretty cExt => Pretty (ResponseExt cExt) => Outputs IO (Response cExt) Source #