Copyright | (c) 2018-2019 Yann Herklotz |
---|---|
License | BSD-3 |
Maintainer | yann [at] yannherklotz [dot] com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Definition of the circuit graph.
Circuit
The types for all the gates.
Newtype for the Circuit which implements a Graph from fgl.
Circuit | |
|
Newtype for a node in the circuit, which is an 'LNode Gate'.
Newtype for a named edge which is empty, as it does not need a label.
generateAST :: Circuit -> Verilog Source #
Gen instance for a random acyclic DAG.
genRandomDAG :: IO Circuit Source #
Generate a random acyclic DAG with an IO instance.