what4-1.1: Solver-agnostic symbolic values support for issuing queries
Safe HaskellNone
LanguageHaskell2010

What4.Protocol.VerilogWriter

Synopsis

Documentation

data Module sym n Source #

exprVerilog :: (IsExprBuilder sym, SymExpr sym ~ Expr n) => sym -> Expr n tp -> Doc () -> ExceptT String IO (Doc ()) Source #

Convert the given What4 expression into a textual representation of a Verilog module of the given name.

exprToModule :: (IsExprBuilder sym, SymExpr sym ~ Expr n) => sym -> Expr n tp -> ExceptT String IO (Module sym n) Source #

Convert the given What4 expression into a Verilog module of the given name.