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

Safe Haskell	None
Language	Haskell2010

What4.Protocol.VerilogWriter

Synopsis

data Module sym n
exprVerilog :: (IsExprBuilder sym, SymExpr sym ~ Expr n) => sym -> Expr n tp -> Doc () -> ExceptT String IO (Doc ())
exprToModule :: (IsExprBuilder sym, SymExpr sym ~ Expr n) => sym -> Expr n tp -> ExceptT String IO (Module sym n)

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.