Small haddock improvements

clash-protocols-base/src/Protocols/Plugin/TH.hs

@@ -7,6 +7,7 @@ import Language.Haskell.TH
 appTs :: Q Type -> [Q Type] -> Q Type
 appTs = foldl appT
 
+-- | Generate @Protocol@ instances for n-tuples
 protocolTupleInstances :: Int -> Int -> Q [Dec]
 protocolTupleInstances n m = mapM protocolTupleInstance [n .. m]
 

clash-protocols-base/src/Protocols/Plugin/Types.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE RoleAnnotations #-}
 
+{-# OPTIONS_HADDOCK hide #-}
 {- |
 These class definitions are needed to be able to write Template Haskell quotes
 for instances. They are defined separately to avoid import loops.

clash-protocols/src/Protocols/Internal.hs

@@ -299,9 +299,9 @@ class (C.KnownNat (SimulateChannels a), Backpressure a, Simulate a) => Drivable
 kind of simulation requires a lists for both the forward and the backward direction.
 
 This class requires the definition of the types that the test supplies and returns. Its
-functions are converters from these /simulation types/ to types on the 'Signal' level.
+functions are converters from these /simulation types/ to types on the 'Clash.Signal.Signal' level.
 The 'simulateCircuit' function can thus receive the necessary simulation types, convert
-them to types on the 'Signal' level, pass those signals to the circuit, and convert the
+them to types on the 'Clash.Signal.Signal' level, pass those signals to the circuit, and convert the
 result of the circuit back to the simulation types giving the final result.
 -}
 class (C.KnownNat (SimulateChannels a), Protocol a) => Simulate a where