Improve type annotations and documentation in corecircuits.py. Also:

* Add a `demux` example.
* In `barrel_shifter`, replace ("down", "up") with ("right", "left") and define
  a `Direction` `IntEnum` to improve readability.
* Remove a bunch of unnecessary directives from Sphinx `.rst` files.

Author: fdxmw

docs/analysis.rst

@@ -13,9 +13,7 @@ Estimation
 
 .. automodule:: pyrtl.analysis
    :members:
-   :special-members:
-   :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__
+   :special-members: __init__
 
 Optimization
 ------------

docs/basic.rst

@@ -61,7 +61,3 @@ Conditionals
 
 .. automodule:: pyrtl.conditional
    :members:
-   :show-inheritance:
-   :special-members:
-   :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__

docs/helpers.rst

@@ -25,10 +25,11 @@ Coercion to WireVector
 ----------------------
 
 In PyRTL there is only one function in charge of coercing values into
-:class:`WireVectors<.WireVector>`, and that is :func:`.as_wires`.  This
-function is called in almost all helper functions and classes to manage the
-mixture of constants and WireVectors that naturally occur in hardware
-development.
+:class:`WireVectors<.WireVector>`, and that is :func:`.as_wires`. This function
+is called in almost all helper functions and classes to manage the mixture of
+constants and :class:`WireVectors<.WireVector>` that naturally occur in
+hardware development. See :ref:`wirevector_coercion` for examples and more
+details.
 
 .. autofunction:: pyrtl.corecircuits.as_wires
 
@@ -115,4 +116,3 @@ Encoders and Decoders
 
 .. autofunction:: pyrtl.helperfuncs.one_hot_to_binary
 .. autofunction:: pyrtl.helperfuncs.binary_to_one_hot
-

docs/rtllib.rst

@@ -13,67 +13,49 @@ Adders
 
 .. automodule:: pyrtl.rtllib.adders
    :members:
-   :special-members:
    :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__
 
 AES-128
 -------
 
 .. automodule:: pyrtl.rtllib.aes
    :members:
    :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__
 
 Barrel
 ------
 
 .. automodule:: pyrtl.rtllib.barrel
    :members:
-   :special-members:
    :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__
 
 Library Utilities
 -----------------
 
 .. automodule:: pyrtl.rtllib.libutils
    :members:
-   :special-members:
-   :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__
 
 Multipliers
 -----------
 
 .. automodule:: pyrtl.rtllib.multipliers
    :members:
-   :special-members:
-   :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__
 
 Muxes
 -----
 
 .. automodule:: pyrtl.rtllib.muxes
    :members:
-   :special-members:
-   :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__,__exit__
 
 Matrix
 ------
 
 .. automodule:: pyrtl.rtllib.matrix
    :members:
    :special-members: __init__
-   :undoc-members:
-   :exclude-members: __dict__,__weakref__,__module__
 
 Testing Utilities
 -----------------
 
 .. automodule:: pyrtl.rtllib.testingutils
    :members:
-   :special-members:
-   :exclude-members: __dict__,__weakref__,__module__