Ersatz.Internal.Circuit

Documentation

data Circuit c

This is used to observe the directed graph with sharing of how multiple Bit values are related.

Constructors

And [c]

Or [c]

Xor c c

Mux c c c

False branch, true branch, predicate/selector branch

Not c

Var !Lit

Instances

Functor Circuit

Typeable1 Circuit

Foldable Circuit

Traversable Circuit

Show c => Show (Circuit c)