| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
What4.Protocol.VerilogWriter.ABCVerilog
Synopsis
- moduleDoc :: Module sym n -> Doc () -> Doc ()
- typeDoc :: forall (tp :: BaseType). 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 :: forall (tp :: BaseType). Unop tp -> Doc ()
- binopDoc :: forall (inTp :: BaseType) (outTp :: BaseType). Binop inTp outTp -> Doc ()
- hexDoc :: forall (w :: Nat). BV w -> Doc ()
- decDoc :: forall (w :: Nat). NatRepr w -> BV w -> Doc ()
- iexpDoc :: forall (tp :: BaseType). IExp tp -> Doc ()
- rotateDoc :: forall (w :: Nat) (tp :: BaseType). String -> String -> NatRepr w -> IExp tp -> BV w -> Doc ()
- expDoc :: forall (tp :: BaseType). Exp tp -> Doc ()