DiagnosticOutputChannel (reference) in projects: dports

Searched refs:DiagnosticOutputChannel (Results 1 – 5 of 5) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/
H A D	Types.hs	`101 data SMTOption = DiagnosticOutputChannel FilePath constructor 120 isStartModeOption DiagnosticOutputChannel{} = False function 138 isOnlyOnceOption DiagnosticOutputChannel{} = True function 160 where cvt (DiagnosticOutputChannel f) = opt [":diagnostic-output-channel", show f]`
H A D	Query.hs	`171 …DiagnosticOutputChannel{} -> askFor "DiagnosticOutputChannel" ":diagnostic-output-channel" $…`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Queries/
H A D	BasicQuery.hs	`62 _ <- getOption DiagnosticOutputChannel`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Provers/
H A D	Prover.hs	`108 allOnStdOut = Control.DiagnosticOutputChannel "stdout"`
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/
H A D	SMTLib2.hs	`163 isDiagOutput DiagnosticOutputChannel{} = True`