Lang.Crucible.Debug.Outputs

Documentation

data Outputs m a

Instances

Contravariant (Outputs m)

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 ()

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

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

hPutStrLn :: Handle -> Outputs IO Text

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

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