Implicitly clocked synchronous signal
Basic circuit functions
Boolean connectives
Product/Signal isomorphism
Simulation functions (not synthesisable)
Strict versions
List <-> Signal conversion (not synthesisable)
Strict versions
QuickCheck combinators
Type classes
Eq-like