| 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
identDoc :: Identifier -> Doc () Source #
inputDoc :: (Word64, Some BaseTypeRepr, Identifier) -> Doc () Source #