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

Safe Haskell | Safe-Inferred
Language | Haskell2010

What4.Protocol.VerilogWriter.ABCVerilog

Synopsis

- moduleDoc :: Module sym n -> Doc () -> Doc ()
- typeDoc :: Doc () -> Bool -> BaseTypeRepr tp -> Doc ()
- identDoc :: Identifier -> Doc ()
- lhsDoc :: LHS -> Doc ()
- inputDoc :: (Word64, Some BaseTypeRepr, Identifier) -> Doc ()
- wireDoc :: Doc () -> (Some BaseTypeRepr, Bool, Identifier, Some Exp) -> Doc ()
- unopDoc :: Unop tp -> Doc ()
- binopDoc :: Binop inTp outTp -> Doc ()
- hexDoc :: BV w -> Doc ()
- decDoc :: NatRepr w -> BV w -> Doc ()
- iexpDoc :: IExp tp -> Doc ()
- rotateDoc :: String -> String -> NatRepr w -> IExp tp -> BV w -> Doc ()
- expDoc :: Exp tp -> Doc ()

# Documentation

moduleDoc :: Module sym n -> Doc () -> Doc () Source #

typeDoc :: Doc () -> Bool -> BaseTypeRepr tp -> Doc () Source #

identDoc :: Identifier -> Doc () Source #

lhsDoc :: LHS -> Doc () Source #

inputDoc :: (Word64, Some BaseTypeRepr, Identifier) -> Doc () Source #

wireDoc :: Doc () -> (Some BaseTypeRepr, Bool, Identifier, Some Exp) -> Doc () Source #

unopDoc :: Unop tp -> Doc () Source #

binopDoc :: Binop inTp outTp -> Doc () Source #

hexDoc :: BV w -> Doc () Source #

Show non-negative Integral numbers in base 16.

decDoc :: NatRepr w -> BV w -> Doc () Source #

iexpDoc :: IExp tp -> Doc () Source #

rotateDoc :: String -> String -> NatRepr w -> IExp tp -> BV w -> Doc () Source #

expDoc :: Exp tp -> Doc () Source #