Add missing documentation

src/Protocols/Axi4/ReadAddress.hs

@@ -187,7 +187,9 @@ deriving instance
   , C.NFDataX (QosType kq) ) =>
   C.NFDataX (M2S_ReadAddress kb ksz lw iw aw kr kbl kl kc kp kq userType)
 
-
+-- | Circuit that transforms the LHS 'Axi4ReadAddress' protocol to a
+-- version using different type parameters according to two functions
+-- that can transform the data and ack signal to and from the other protocol.
 mapFull ::
   forall dom
     kb1 ksz1 lw1 iw1 aw1 kr1 kbl1 kl1 kc1 kp1 kq1 t1

src/Protocols/Axi4/WriteAddress.hs

@@ -185,6 +185,9 @@ deriving instance
   , C.NFDataX (QosType kq) ) =>
   C.NFDataX (M2S_WriteAddress kb ksz lw iw aw kr kbl kl kc kp kq userType)
 
+-- | Circuit that transforms the LHS 'Axi4WriteAddress' protocol to a
+-- version using different type parameters according to two functions
+-- that can transform the data and ack signal to and from the other protocol.
 mapFull ::
   forall dom
     kb1 ksz1 lw1 iw1 aw1 kr1 kbl1 kl1 kc1 kp1 kq1 userType1

src/Protocols/Axi4/WriteData.hs

@@ -131,6 +131,9 @@ deriving instance
   , C.KnownNat nBytes ) =>
   Show (M2S_WriteData ks nBytes userType)
 
+-- | Circuit that transforms the LHS 'Axi4WriteData' protocol to a
+-- version using different type parameters according to two functions
+-- that can transform the data and ack signal to and from the other protocol.
 mapFull ::
   forall dom ks1 ks2 nBytes1 nBytes2 t1 t2.
   (M2S_WriteData ks1 nBytes1 t1 -> M2S_WriteData ks2 nBytes2 t2) ->

src/Protocols/Axi4/WriteResponse.hs

@@ -126,6 +126,9 @@ deriving instance
   , C.KnownNat (Width iw) ) =>
   Show (S2M_WriteResponse kr iw userType)
 
+-- | Circuit that transforms the LHS 'Axi4WriteResponse' protocol to a
+-- version using different type parameters according to two functions
+-- that can transform the data and ack signal to and from the other protocol.
 mapFull ::
   forall dom
     kr1 iw1 userType1