what4-1.6.3: Solver-agnostic symbolic values support for issuing queries
Copyright(c) Galois Inc 2013-2020
LicenseBSD3
MaintainerJoe Hendrix <jhendrix@galois.com>
Stabilityprovisional
Safe HaskellNone
LanguageHaskell2010

What4.Utils.Streams

Description

 
Synopsis
  • logErrorStream :: InputStream ByteString -> (String -> IO ()) -> IO ()

Documentation

logErrorStream Source #

Arguments

:: InputStream ByteString 
-> (String -> IO ())

Logging function

-> IO () 

Write from input stream to a logging function.