diff --git a/src/Protocols/Axi4/ReadAddress.hs b/src/Protocols/Axi4/ReadAddress.hs
index 9fc50ba1..d6e2c10d 100644
--- a/src/Protocols/Axi4/ReadAddress.hs
+++ b/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
diff --git a/src/Protocols/Axi4/WriteAddress.hs b/src/Protocols/Axi4/WriteAddress.hs
index 1cf79322..143cb2e8 100644
--- a/src/Protocols/Axi4/WriteAddress.hs
+++ b/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
diff --git a/src/Protocols/Axi4/WriteData.hs b/src/Protocols/Axi4/WriteData.hs
index b58a70ba..e8679eba 100644
--- a/src/Protocols/Axi4/WriteData.hs
+++ b/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) ->
diff --git a/src/Protocols/Axi4/WriteResponse.hs b/src/Protocols/Axi4/WriteResponse.hs
index 64ff65a7..a437d248 100644
--- a/src/Protocols/Axi4/WriteResponse.hs
+++ b/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